16725 search results - page 3032 / 3345 » Engineering Software Correctness |
136
click to vote
SWAP
2008
15 years 6 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
132
click to vote
AAAI
2006
15 years 6 months ago
2006
Identifying intrinsic structures in large networks is a fundamental problem in many fields, such as engineering, social science and biology. In this paper, we are concerned with c...
136
click to vote
ACL
1998
15 years 6 months ago
1998
We present a method for constructing, maintaining and consulting a database of proper nouns. We describe noun phrases composed of a proper noun and/or a description of a human occ...
130
click to vote
TREC
2003
15 years 6 months ago
2003
k gene annotations. Our indexing machinery produces per indexed MEDLINE abstract a list of concepts with an accompanying weight, termed a fingerprint. Searching is done by matching...
168
click to vote
AIPS
2009
15 years 5 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...