511 search results - page 38 / 103 » More Precise Partition Abstractions |
131
Voted
DAM
2006
15 years 3 months ago
2006
In this paper we consider a non-cooperative two-person zero-sum matrix game, called dice game. In an (n, ) dice game, two players can independently choose a dice from a collection...
132
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper gives preliminary results about the utilization of an interaction technique called FOLLOW-ME to fasten the selection task for teleoperation system. The imple...
148
Voted
JAIR
2008
15 years 3 months ago
2008
Multi-robot path planning is difficult due to the combinatorial explosion of the search space with every new robot added. Complete search of the combined state-space soon intracta...
96
Voted
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
122
Voted
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...