1081 search results - page 38 / 217 » Working with the LR Degrees |
96
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
103
Voted
ROBOCUP
2005
Springer
15 years 6 months ago
2005
Springer
Color calibration is a time-consuming, and therefore costly requirement for most robot teams at RoboCup. This paper presents an approach for autonomous color learning on-board a mo...
145
click to vote
COCOON
2004
Springer
15 years 6 months ago
2004
Springer
The problem of efficiently monitoring the network flow is regarded as the one to find out the minimum weighted weak vertex cover set for a given graph G = (V, E) with weight func...
108
click to vote
ITS
2004
Springer
15 years 6 months ago
2004
Springer
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
94
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...