Sciweavers

29143 search results - page 5692 / 5829
» A Sortation System Model
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
14 years 10 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
71
Voted
IJCV
2008
129views more  IJCV 2008»
14 years 10 months ago
Minimal Aspect Distortion (MAD) Mosaicing of Long Scenes
Abstract Long scenes can be imaged by mosaicing multiple images from cameras scanning the scene. We address the case of a video camera scanning a scene while moving in a long path,...
Alex Rav-Acha, Giora Engel, Shmuel Peleg
IJDMMM
2008
119views more  IJDMMM 2008»
14 years 10 months ago
A relational perspective on spatial data mining
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
Donato Malerba
EOR
2006
73views more  EOR 2006»
14 years 10 months ago
Path relinking and GRG for artificial neural networks
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...
Abdellah El-Fallahi, Rafael Martí, Leon S. ...
IJHR
2008
82views more  IJHR 2008»
14 years 10 months ago
A Team of Humanoid Game commentators
We present our work on creating a team of two humanoid robot commentators for soccer games of teams of four AIBO robots. The two humanoids stand on the side lines of the field, aut...
Manuela M. Veloso, Nicholas Armstrong-Crews, Sonia...
« Prev « First page 5692 / 5829 Last » Next »