Sciweavers

176 search results - page 12 / 36
» Full Abstraction for Functional Languages with Control
Sort
View
JAMIA
2011
87views more  JAMIA 2011»
14 years 2 months ago
Can poison control data be used for pharmaceutical poisoning surveillance?
the title of a report to view the full citation and abstract. s of these reports are available now 169 unique articles this week Age: Adolescents A closer look at co-rumination: Ge...
Christopher A. Naun, Cody S. Olsen, J. Michael Dea...
ICFP
2005
ACM
15 years 11 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 4 months ago
Huey, Dewey, Louie, and GUI - Commanding Robot Formations
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
Jakob Fredslund, Maja J. Mataric
CSCLP
2007
Springer
15 years 5 months ago
Preference-Based Problem Solving for Constraint Programming
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
Ulrich Junker
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 4 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py