1454 search results - page 242 / 291 » Stateful traits and their formalization |
141
Voted
WOA
2004
15 years 2 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
126
click to vote
MSO
2003
15 years 2 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
109
click to vote
AAAI
2000
15 years 2 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
106
Voted
IJCAI
1997
15 years 2 months ago
1997
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
105
click to vote
DIMACS
1996
15 years 2 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...