2482 search results - page 36 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
143
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
140
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
120
click to vote
NIPS
2007
15 years 5 months ago
2007
The control of high-dimensional, continuous, non-linear dynamical systems is a key problem in reinforcement learning and control. Local, trajectory-based methods, using techniques...
148
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
173
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...