834 search results - page 84 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
146
click to vote
FOCS
2003
IEEE
15 years 5 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
110
click to vote
ICRA
1995
IEEE
15 years 3 months ago
1995
IEEE
—Three dimensional vision applications, such as robot vision, require modeling of the relationship between the two-dimensional images and the three-dimensional world. Camera cali...
120
click to vote
KBSE
1995
IEEE
15 years 3 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
ACMICEC
2007
ACM
15 years 3 months ago
2007
ACM
Due to inherent privacy concerns, online personalization services such as those offered through toolbars and desktop widgets are characterized by "no-free-disposal" (NFD...
122
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...