Sciweavers

3047 search results - page 446 / 610
» On the Meaning of Logical Completeness
Sort
View
EUROCAST
2003
Springer
105views Hardware» more  EUROCAST 2003»
15 years 3 months ago
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms
In this paper we introduce a new generic selection method for Genetic Algorithms. The main difference of this selection principle in contrast to conventional selection models is g...
Michael Affenzeller, Stefan Wagner 0002
ICRA
2002
IEEE
128views Robotics» more  ICRA 2002»
15 years 3 months ago
Generation of a Task Model by Integrating Multiple Observations of Human Demonstrations
This paper describes a new approach on how to teach a robot everyday manipulation tasks under the “Learning from Observation” framework. Most of the approaches so far assume t...
Koichi Ogawara, Jun Takamatsu, Hiroshi Kimura, Kat...
BTW
2001
Springer
113views Database» more  BTW 2001»
15 years 2 months ago
Version Propagation in Federated Database Systems
Abstract Integrated engineering environments, based on federated database technology, are, among others, a means to control the integrity of and dependencies between product data c...
Martin Schönhoff, Markus Strässler, Klau...
SIGGRAPH
2010
ACM
15 years 2 months ago
Non-local scan consolidation for 3D urban scenes
Recent advances in scanning technologies, in particular devices that extract depth through active sensing, allow fast scanning of urban scenes. Such rapid acquisition incurs imper...
Qian Zheng, Andrei Sharf, Guowei Wan, Yangyan Li, ...
76
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...