874 search results - page 107 / 175 » A Logic Framework for a Semantics of Object-Oriented Data Mo... |
ATAL
2004
Springer
14 years 19 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
IPL
2010
13 years 7 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
HT
2005
ACM
14 years 2 months ago
2005
ACM
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userâ...
FORMATS
2006
Springer
14 years 16 days ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
ICASSP
2009
IEEE
13 years 6 months ago
2009
IEEE
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...