11324 search results - page 265 / 2265 » Coordination Models and Languages |
107
click to vote
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
96
Voted
AI
2002
Springer
15 years 21 days ago
2002
Springer
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
121
click to vote
INAP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
106
click to vote
NAACL
2007
15 years 2 months ago
2007
In the past, NLP has always been based on the explicit or implicit use of linguistic knowledge. In classical computer linguistic applications explicit rule based approaches prevai...
99
Voted
TREC
2007
15 years 2 months ago
2007
The University of Illinois at Urbana-Champaign (UIUC) participated in TREC 2007 Genomics Track. Our general goal of participation is to apply language modelbased approaches to the...