1907 search results - page 267 / 382 » Visualizing Action Semantics |
CORR
2009
Springer
13 years 5 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
FLAIRS
2009
13 years 5 months ago
2009
We propose a memory-based approach to the problem of goal-schema recognition. We use a generic episodic memory module to perform incremental goal schema recognition and to build t...
IANDC
2010
13 years 5 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
BALT
2010
13 years 3 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
With the explosive growth of digital cameras and online media, it has become crucial to design efficient methods that help users browse and search large image collections. The rec...