293 search results - page 18 / 59 » Computing Stable Models by Using the ATMS |
129
click to vote
SUM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
205
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
135
Voted
AMDO
2006
Springer
15 years 5 months ago
2006
Springer
The ability to detect and track human heads and faces in video sequences is useful in a great number of applications, such as human-computer interaction and gesture recognition. Re...
141
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a customizable simulator called netsim for high-performance point-to-point workstation networks that is accurate enough to be used for application-level performance ana...
116
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
We describe a directed bilinear model that learns higherorder groupings among features of natural images. The model represents images in terms of two sets of latent variables: one...