2596 search results - page 207 / 520 » Gradual Typing for Objects |
134
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
114
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present a strategy for grasping of real world objects with two anthropomorphic hands, the three-fingered 9DOF hydraulic TUM and the very dextrous 20-DOF pneumatic Bielefeld...
125
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
127
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
121
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
In order to make good strategies, soccer coaches analyze the archives of matches, which can be effectively considered as a set of trajectories. We can extract several useful infor...