6355 search results - page 1138 / 1271 » From Logic to Games |
168
click to vote
SEC
2004
15 years 7 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
175
click to vote
TREC
2001
15 years 7 months ago
2001
CL Research's question-answering system (DIMAP-QA) for TREC-10 only slightly extends its semantic relation triple (logical form) technology in which documents are fully parse...
181
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
177
click to vote
WOA
2001
15 years 7 months ago
2001
Emerging distributed technologies aim to provide simple and powerful tools for web services design and implementation. Main vendors provide modern frameworks so that a good coordi...
182
click to vote
AAAI
2000
15 years 7 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...