2509 search results - page 317 / 502 » Abstract Geometrical Computation and Computable Analysis |
171
click to vote
CAIP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In autonomous indoor navigation some number of localizations and orientations of the vehicle can be learned in advance. No artificial landmarks are required to exist. We...
161
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
142
click to vote
RC
2007
15 years 5 months ago
2007
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
173
click to vote
ERSA
2010
15 years 4 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
182
click to vote
ICIAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...