3954 search results - page 260 / 791 » Image-based Model Completion |
159
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
189
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
206
click to vote
SIBGRAPI
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we present a novel method for estimating the effective number of independent variables in imaging applications that require multiple hypothesis testing. The method ...
184
click to vote
VALUETOOLS
2006
ACM
16 years 16 days ago
2006
ACM
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
173
click to vote
HIPEAC
2005
Springer
16 years 2 days ago
2005
Springer
In DRM domain, the adversary has complete control of the computing node - supervisory privileges along with full physical as well as architectural object observational capabilities...