293 search results - page 18 / 59 » Computing Stable Models by Using the ATMS |
191
Voted
SUM
2007
Springer
16 years 14 days 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 ...
263
Voted
ICLP
2009
Springer
16 years 7 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...
192
Voted
AMDO
2006
Springer
15 years 10 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...
189
click to vote
IPPS
1997
IEEE
15 years 10 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...
166
Voted
ICCV
2011
IEEE
14 years 6 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...