8587 search results - page 202 / 1718 » Interactive dynamic abstraction |
146
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
224
click to vote
AIIA
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
157
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Actuated car doors are a promising way to increase the convenience of access to cars. In this paper, an advanced door concept which can easily be integrated into conventional car ...
103
Voted
IHM
2005
ACM
15 years 10 months ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
139
click to vote
IDA
2003
Springer
15 years 10 months ago
2003
Springer
For a mobile robot to act autonomously, it must be able to construct a model of its interaction with the environment. Oates et al. developed an unsupervised learning method that pr...