Sciweavers

4963 search results - page 865 / 993
» Implementing a Categorical Information System
Sort
View
ICRA
1998
IEEE
107views Robotics» more  ICRA 1998»
15 years 11 months ago
Mobile Robot Exploration and Map-Building with Continuous Localization
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
Brian Yamauchi, Alan C. Schultz, William Adams
ICFP
1998
ACM
15 years 11 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
179
Voted
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
15 years 11 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
UIST
1997
ACM
15 years 11 months ago
Solving Linear Arithmetic Constraints for User Interface Applications
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
Alan Borning, Kim Marriott, Peter J. Stuckey, Yi X...
AGENTS
1997
Springer
15 years 11 months ago
Agent-Based Expert Assistance for Visual Problem Solving
This paper presents a domain-independent architecture for facilitating visual problem solving between robots or softbots and humans. The architecture de nes virtual and human agen...
Erika Rogers, Robin R. Murphy, Barb Ericson