Sciweavers

633 search results - page 17 / 127
» A Semantic Basis for Quest
Sort
View
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
Using Semantic Policies to Reason over User Availability
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
Sandford Bessler, Joachim Zeiss
IJCNN
2000
IEEE
14 years 2 days ago
Support Vector Machines Based on a Semantic Kernel for Text Categorization
We propose to solve a text categorization task using a new metric between documents, based on a priori semantic knowledge about words. This metric can be incorporated into the def...
George Siolas, Florence d'Alché-Buc
ERSHOV
2006
Springer
13 years 11 months ago
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
Stefan Sarstedt, Walter Guttmann
IAT
2008
IEEE
14 years 2 months ago
Time and Defeasibility in FIPA ACL Semantics
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the dif...
Guido Boella, Guido Governatori, Joris Hulstijn, R...
TPHOL
2002
IEEE
14 years 18 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff