10159 search results - page 1949 / 2032 » System Design Validation Using Formal Models |
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
2010
Eurographics
We present a new intuitive UI, which we call cross-boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our sy...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
– This paper presents a hippocampal inspired robot localization model that provides a means for a simple robotic platform with ultrasonic sensors to localize itself. There have b...
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
The efficacy of data aggregation in sensor networks is a function of the degree of spatial correlation in the sensed phenomenon. While several data aggregation (i.e., routing with...
JDCTA
2010
13 years 2 months ago
2010
Complications with garment sizing and poor fit inconvenience many consumers who become dissatisfied with such provision on the high street. It is evident that human measurement an...
DILS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...