1578 search results - page 254 / 316 » Induction of Stable Models |
LPNMR
1999
Springer
14 years 2 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
PADS
1998
ACM
14 years 2 months ago
1998
ACM
In this paper we consider the distributed simulation of queueing networks of FCFS servers with infinite buffers, and irreducible Markovian routing. We first show that for either t...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Several operations of Web-based applications are optimized with respect to the set of resources that will receive the majority of requests in the near future, namely the hot set. U...
ICRA
1995
IEEE
14 years 1 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...
DAS
2008
Springer
14 years 4 days ago
2008
Springer
Image based mail piece identification is a new technology for optimizing the postal sorting process. Exploiting the mail piece surface uniqueness, characteristic features are used...