13987 search results - page 515 / 2798 » The Two Guards Problem |
206
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
172
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Inverse-depth parameterization can successfully deal with the feature initialization problem in monocular simultaneous localization and mapping applications. However, it is red...
182
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
Automatic human age estimation has considerable potential applications in human computer interaction and multimedia communication. However, the age estimation problem is challengi...
167
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Iterated Runge-Kutta (IRK) methods are a class of explicit solution methods for initial value problems of ordinary differential equations (ODEs) which possess a considerable poten...
185
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...