908 search results - page 141 / 182 » Generating maximal models using the stable model semantics |
118
click to vote
ICDM
2003
IEEE
15 years 9 months ago
2003
IEEE
The scalability problem in data mining involves the development of methods for handling large databases with limited computational resources. In this paper, we present a two-phase...
119
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Video Content is always huge by itself with abundant information. Extracting explicit semantic information has been extensively investigated such as object detection, structure an...
167
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
179
click to vote
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
143
click to vote
MEDINFO
2007
15 years 5 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...