12981 search results - page 2373 / 2597 » Model Checking (Abstract) |
138
click to vote
JISBD
2003
15 years 5 months ago
2003
Abstract. Ontology languages are being proposed to provide machine-understandable descriptions of resources that permit easy location of these resource. Content managers can also b...
167
click to vote
NAACL
2003
15 years 5 months ago
2003
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
164
click to vote
SEBD
2003
15 years 5 months ago
2003
Abstract. The management of user preferences is becoming a fundamental ingredient of modern Web-based data-intensive applications, in which information filtering is crucial to red...
159
click to vote
AAAI
2000
15 years 5 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
109
click to vote
TREC
2003
15 years 5 months ago
2003
This paper proposes an approach to the secondary task in the TREC Genomics Track. We regard the task as identification of the sentences describing gene functions (i.e., GeneRIFs)...