2989 search results - page 406 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
123
Voted
IJRR
2002
15 years 2 months ago
2002
This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the fr...
143
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
113
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
124
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
159
click to vote
EWLR
1999
Springer
15 years 6 months ago
1999
Springer
In the field of evolutionary robotics artificial neural networks are often used to construct controllers for autonomous agents, because they have useful properties such as the ab...