1058 search results - page 126 / 212 » Fault-Tolerant Resource Reasoning |
134
Voted
CL
2007
Springer
15 years 26 days 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...
123
click to vote
IS
2006
15 years 25 days 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)...
101
Voted
AAMAS
2005
Springer
15 years 23 days 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...
116
Voted
CSL
2004
Springer
15 years 21 days 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...
125
Voted
CSL
2004
Springer
15 years 21 days 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...