Sciweavers

546 search results - page 2 / 110
» An Action Semantics for MML
Sort
View
JAIR
2012
211views Hardware» more  JAIR 2012»
11 years 8 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
GI
2004
Springer
13 years 11 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
BMVC
2010
13 years 4 months ago
Embedding Visual Words into Concept Space for Action and Scene Recognition
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...
Behrouz Khadem, Elahe Farahzadeh, Deepu Rajan, And...
BCS
2008
13 years 7 months ago
Contexts for Human Action
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.
Graham White
JUCS
2007
98views more  JUCS 2007»
13 years 6 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...