Sciweavers

1648 search results - page 112 / 330
» Where to Build a Door
Sort
View
CVPR
2009
IEEE
13 years 11 months ago
VideoTrek: A vision system for a tag-along robot
We present a system that combines multiple visual navigation techniques to achieve GPS-denied, non-line-of-sight SLAM capability for heterogeneous platforms. Our approach builds o...
Oleg Naroditsky, Zhiwei Zhu, Aveek Das, Supun Sama...
DAGSTUHL
2009
13 years 11 months ago
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particular...
Romain Rouvoy, Paolo Barone, Yun Ding, Frank Elias...
HASKELL
2008
ACM
13 years 11 months ago
Clase: cursor library for a structured editor
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
Tristan O. R. Allwood, Susan Eisenbach
AIR
2006
152views more  AIR 2006»
13 years 10 months ago
Machine learning: a review of classification and combining techniques
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
Sotiris B. Kotsiantis, Ioannis D. Zaharakis, Panay...
ENTCS
2008
128views more  ENTCS 2008»
13 years 10 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer