Sciweavers

6960 search results - page 742 / 1392
» Continuity Analysis of Programs
Sort
View
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
UIST
1995
ACM
15 years 10 months ago
Migratory Applications
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
Krishna Bharat, Luca Cardelli
ATMOS
2007
152views Optimization» more  ATMOS 2007»
15 years 8 months ago
Solution of the Train Platforming Problem
In this paper we study a general formulation of the train platforming problem, which contains as special cases all the versions previously considered in the literature as well as a...
Alberto Caprara, Laura Galli, Paolo Toth
HCI
2007
15 years 8 months ago
Physical Representation Social Presence with Interactive Grass
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
Jui Hang Shih, Teng-Wen Chang, Hui-Mei Hong, Tian-...
MLMTA
2007
15 years 8 months ago
GenInc: An Incremental Context-Free Grammar Learning Algorithm for Domain-Specific Language Development
- While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, speech and pattern recognition, its application to...
Faizan Javed, Marjan Mernik, Barrett R. Bryant, Al...