6171 search results - page 815 / 1235 » The FrameNet Data and Software |
167
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
174
click to vote
USENIX
2000
15 years 8 months ago
2000
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
196
click to vote
CASCON
1994
15 years 8 months ago
1994
The events occurring in the execution of a distributed or parallel application are related by a partial, rather than a total, order. We have developed prototype software that coll...
224
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
238
click to vote
AVI
2010
15 years 8 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...