6016 search results - page 826 / 1204 » The semantics of graphical languages |
188
click to vote
ESOP
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
205
click to vote
ICVS
2003
Springer
16 years 23 days ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
169
click to vote
TOOLS
2010
IEEE
16 years 19 days ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
208
click to vote
MPC
2010
Springer
16 years 10 days ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
237
click to vote
LOPSTR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...