Sciweavers

546 search results - page 56 / 110
» An Action Semantics for MML
Sort
View
OPODIS
2004
15 years 7 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
AMAST
2004
Springer
15 years 11 months ago
Expressing Iterative Properties Logically in a Symbolic Setting
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
Carron Shankland, Jeremy Bryans, Lionel Morel
ACL
2007
15 years 7 months ago
Sentence generation as a planning problem
In this paper, we translate sentence generation from TAG grammars with semantic and pragmatic information into a planning problem by encoding the contribution of each word declara...
Alexander Koller, Matthew Stone
BPM
2007
Springer
125views Business» more  BPM 2007»
16 years 8 days ago
Semantic Analysis of Flow Patterns in Business Process Modeling
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
Pnina Soffer, Yair Wand, Maya Kaner
CVPR
2009
IEEE
17 years 1 months ago
Understanding Videos, Constructing Plots - Learning a Visually Grounded Storyline Model from Annotated Videos
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline...
Abhinav Gupta (University of Maryland), Praveen Sr...