Sciweavers

11374 search results - page 1975 / 2275
» Demonstration of the CROSSMARC System
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 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...
IJCV
2008
129views more  IJCV 2008»
15 years 6 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
ESWA
2006
243views more  ESWA 2006»
15 years 6 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
FTIR
2006
128views more  FTIR 2006»
15 years 6 months ago
Authorship Attribution
Authorship attribution, the science of inferring characteristics of the author from the characteristics of documents written by that author, is a problem with a long history and a...
Patrick Juola
IJON
2008
101views more  IJON 2008»
15 years 6 months ago
Learning dynamics and robustness of vector quantization and neural gas
Various alternatives have been developed to improve the Winner-Takes-All (WTA) mechanism in vector quantization, including the Neural Gas (NG). However, the behavior of these algo...
Aree Witoelar, Michael Biehl, Anarta Ghosh, Barbar...
« Prev « First page 1975 / 2275 Last » Next »