Sciweavers

1720 search results - page 199 / 344
» A Generic Model for Integrated Multi-Channel Information Sys...
Sort
View
ECCV
2002
Springer
14 years 10 months ago
A Stochastic Algorithm for 3D Scene Segmentation and Reconstruction
In this paper, we present a stochastic algorithm by effective Markov chain Monte Carlo (MCMC) for segmenting and reconstructing 3D scenes. The objective is to segment a range image...
Feng Han, Zhuowen Tu, Song Chun Zhu
EMSOFT
2001
Springer
14 years 23 days ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
ICRA
2008
IEEE
123views Robotics» more  ICRA 2008»
14 years 2 months ago
Target-directed attention: Sequential decision-making for gaze planning
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
Julia Vogel, Nando de Freitas
FM
2006
Springer
153views Formal Methods» more  FM 2006»
13 years 12 months ago
Formal Methods and Cryptography
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
Michael Backes, Birgit Pfitzmann, Michael Waidner
PDP
2002
IEEE
14 years 1 months ago
Scalable Monitoring and Configuration Tools for Grids and Clusters
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
Philippe Augerat, Cyrill Martin, Benhur Stein