Sciweavers

4298 search results - page 150 / 860
» Computing at the top of the world
Sort
View
COBUILD
1998
Springer
15 years 6 months ago
Multiple-Computer User Interfaces: A Cooperative Environment Consisting of Multiple Digital Devices
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
Jun Rekimoto
CSE
2009
IEEE
15 years 8 months ago
Sensor-Based Feedback Systems in Organizational Computing
—Radical change is needed in today’s organizations. While e-mail, instant messaging, wikis, prediction markets, and the like have proliferated across myriad sectors, the fundam...
Taemie Kim, Daniel Olguin Olguin, Benjamin N. Wabe...
113
Voted
ICRA
2008
IEEE
104views Robotics» more  ICRA 2008»
15 years 8 months ago
Towards locally computable polynomial navigation functions for convex obstacle workspaces
— In this paper we present a polynomial Navigation Function (NF) for a sphere world that can be constructed almost locally, with partial knowledge of the environment. The present...
Grigoris Lionis, Xanthi Papageorgiou, Kostas J. Ky...
CIE
2007
Springer
15 years 8 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
95
Voted
ICRA
2005
IEEE
143views Robotics» more  ICRA 2005»
15 years 7 months ago
Locomoting with Less Computation but More Morphology
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...
Kojiro Matsushita, Max Lungarella, Chandana Paul, ...