Sciweavers

2030 search results - page 194 / 406
» Extremal Problems of Information Combining
Sort
View
FORMATS
2007
Springer
16 years 10 days ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio
UM
2007
Springer
16 years 8 days ago
A Practical Activity Capture Framework for Personal, Lifetime User Modeling
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
Max Van Kleek, Howard E. Shrobe
ICRA
2005
IEEE
159views Robotics» more  ICRA 2005»
15 years 11 months ago
Omnidirectional Depth Computation from a Single Image
— Omnidirectional cameras offer a much wider field of view than the perspective ones and alleviate the problems due to occlusions. However, both types of cameras suffer from the...
Radu Orghidan, El Mustapha Mouaddib, Joaquim Salvi
ECAI
2004
Springer
15 years 11 months ago
Attention-Driven Parts-Based Object Detection
Recent studies have argued that natural vision systems perform classification by utilizing different mechanisms depending on the visual input. In this paper we present a hybrid, ...
Ilkka Autio, Jussi T. Lindgren
ICCS
2004
Springer
15 years 11 months ago
Agent-Based Simulation of Data-Driven Fire Propagation Dynamics
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...