613 search results - page 42 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
AAAI
2007
13 years 10 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
ICIP
2003
IEEE
14 years 28 days ago
2003
IEEE
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
CCIA
2005
Springer
14 years 1 months ago
2005
Springer
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
SIGOPS
2008
13 years 7 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...