Sciweavers

4205 search results - page 379 / 841
» Typed Mobile Objects
Sort
View
GREC
2003
Springer
15 years 12 months ago
Model-Based Chart Image Recognition
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
Weihua Huang, Chew Lim Tan, Wee Kheng Leow
ICSE
2005
IEEE-ACM
16 years 6 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
ICRA
2006
IEEE
121views Robotics» more  ICRA 2006»
16 years 21 days ago
Multi-model Tracking using Team Actuation Models
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...
Yang Gu, Manuela M. Veloso
IJCAI
2001
15 years 8 months ago
Perceptual Anchoring of Symbols for Action
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti
TVCG
2011
196views more  TVCG 2011»
15 years 1 months ago
Measurement-Based Modeling of Contact Forces and Textures for Haptic Rendering
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
Jochen Lang, Sheldon Andrews