951 search results - page 165 / 191 » Using Domain Ontology as Domain Knowledge for Requirements E... |
242
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...
160
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
185
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
176
click to vote
ATAL
2007
Springer
16 years 10 hour ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
185
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...