6554 search results - page 1174 / 1311 » Constraint Logic Programming |
144
Voted
COMPSEC
2004
15 years 3 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
122
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
145
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
145
Voted
NGC
1998
Springer
15 years 3 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
130
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...