834 search results - page 38 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
110
click to vote
AAAI
2007
15 years 2 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
Paper architectures are 3D paper buildings created by folding and cutting. The creation process of paper architecture is often laborintensive and highly skill-demanding, even with...
CSR
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
ICCV
2011
IEEE
13 years 11 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...
DCC
2004
IEEE
15 years 11 months ago
2004
IEEE
We address the problem of signal compression, basing on the mathematical model, in which a set of all possible signals is considered as a function space with a metric . The main a...