Sciweavers

4346 search results - page 289 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
IROS
2009
IEEE
120views Robotics» more  IROS 2009»
15 years 11 months ago
Interactive learning of visually symmetric objects
— This paper describes a robotic system that learns visual models of symmetric objects autonomously. Our robot learns by physically interacting with an object using its end effec...
Wai Ho Li, Lindsay Kleeman
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 8 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
115
Voted
GECCO
2005
Springer
120views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving visually guided agents in an ambiguous virtual world
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
Ehud Schlessinger, Peter J. Bentley, R. Beau Lotto
SC
2009
ACM
15 years 12 months ago
Evaluating use of data flow systems for large graph analysis
Large graph analysis has become increasingly important and is widely used in many applications such as web mining, social network analysis, biology, and information retrieval. The...
Andy Yoo, Ian Kaplan
TPHOL
2007
IEEE
15 years 11 months ago
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
Zhaozhong Ni, Dachuan Yu, Zhong Shao