A calculus effectively performing event formation with visualization

Susumu Yamasaki; Mariko Sasakura

doi:10.1007/978-3-540-77704-5_27

A calculus effectively performing event formation with visualization

Susumu Yamasaki, Mariko Sasakura

School of Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Abstract

As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity constraint on the set of situations.

Original language	English
Title of host publication	High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
Publisher	Springer Verlag
Pages	287-294
Number of pages	8
ISBN (Print)	3540777032, 9783540777038
DOIs	https://doi.org/10.1007/978-3-540-77704-5_27
Publication status	Published - 2008
Event	6th International Symposium on High Performance Computing, ISHPC 2005 and 1st International Workshop on Advanced Low Power Systems, ALPS 2006 - Nara, Japan Duration: Sept 7 2005 → Sept 9 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4759 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on High Performance Computing, ISHPC 2005 and 1st International Workshop on Advanced Low Power Systems, ALPS 2006
Country/Territory	Japan
City	Nara
Period	9/7/05 → 9/9/05

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-77704-5_27

Cite this

Yamasaki, S., & Sasakura, M. (2008). A calculus effectively performing event formation with visualization. In High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers (pp. 287-294). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4759 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-77704-5_27

A calculus effectively performing event formation with visualization. / Yamasaki, Susumu; Sasakura, Mariko.
High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers. Springer Verlag, 2008. p. 287-294 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4759 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Yamasaki, S & Sasakura, M 2008, A calculus effectively performing event formation with visualization. in High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4759 LNCS, Springer Verlag, pp. 287-294, 6th International Symposium on High Performance Computing, ISHPC 2005 and 1st International Workshop on Advanced Low Power Systems, ALPS 2006, Nara, Japan, 9/7/05. https://doi.org/10.1007/978-3-540-77704-5_27

Yamasaki S, Sasakura M. A calculus effectively performing event formation with visualization. In High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers. Springer Verlag. 2008. p. 287-294. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-77704-5_27

Yamasaki, Susumu ; Sasakura, Mariko. / A calculus effectively performing event formation with visualization. High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers. Springer Verlag, 2008. pp. 287-294 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{05a7e2006ada48a49c537e6bc463f707,

title = "A calculus effectively performing event formation with visualization",

abstract = "As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity constraint on the set of situations.",

author = "Susumu Yamasaki and Mariko Sasakura",

year = "2008",

doi = "10.1007/978-3-540-77704-5_27",

language = "English",

isbn = "3540777032",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "287--294",

booktitle = "High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers",

note = "6th International Symposium on High Performance Computing, ISHPC 2005 and 1st International Workshop on Advanced Low Power Systems, ALPS 2006 ; Conference date: 07-09-2005 Through 09-09-2005",

}

TY - GEN

T1 - A calculus effectively performing event formation with visualization

AU - Yamasaki, Susumu

AU - Sasakura, Mariko

PY - 2008

Y1 - 2008

N2 - As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity constraint on the set of situations.

AB - As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity constraint on the set of situations.

UR - http://www.scopus.com/inward/record.url?scp=38549137814&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38549137814&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-77704-5_27

DO - 10.1007/978-3-540-77704-5_27

M3 - Conference contribution

AN - SCOPUS:38549137814

SN - 3540777032

SN - 9783540777038

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 287

EP - 294

BT - High-Performance Computing - 6th International Symposium, ISHPC 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

PB - Springer Verlag

T2 - 6th International Symposium on High Performance Computing, ISHPC 2005 and 1st International Workshop on Advanced Low Power Systems, ALPS 2006

Y2 - 7 September 2005 through 9 September 2005

ER -

A calculus effectively performing event formation with visualization

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this