874 search results - page 37 / 175 » A Logic Framework for a Semantics of Object-Oriented Data Mo... |
GC
2004
Springer
13 years 11 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
LREC
2008
2008
Evaluating the Ontology underlying sMail - the Conceptual Framework for Semantic Email Communication
13 years 9 months ago
The lack of structure in the content of email messages makes it very hard for data channelled between the sender and the recipient to be correctly interpreted and acted upon. As a...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
GLOBAL
2003
Springer
14 years 25 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...