Sciweavers

255 search results - page 22 / 51
» A Set Theory Based Approach on Applying Domain Semantics to ...
Sort
View
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 7 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ICIP
2002
IEEE
14 years 9 months ago
Nonparametric methods for image segmentation using information theory and curve evolution
In this paper, we present a novel information theoretic approach to image segmentation. We cast the segmentation problem as the maximization of the mutual information between the ...
Alan S. Willsky, Anthony J. Yezzi Jr., John W. Fis...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
ENTCS
2006
181views more  ENTCS 2006»
13 years 7 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
JOLLI
2007
128views more  JOLLI 2007»
13 years 7 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...