1058 search results - page 126 / 212 » Fault-Tolerant Resource Reasoning |
189
click to vote
CL
2007
Springer
15 years 5 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
174
click to vote
IS
2006
15 years 5 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
149
click to vote
AAMAS
2005
Springer
15 years 5 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
164
click to vote
CSL
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
180
click to vote
CSL
2004
Springer
15 years 5 months ago
2004
Springer
We propose new methods to exploit contemporaneous text, such as on-line news articles, to improve language models for automatic speech recognition and other natural language proce...