2509 search results - page 306 / 502 » Abstract Geometrical Computation and Computable Analysis |
206
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Mirrors have been used to enable wide field-of-view (FOV) catadioptric imaging. The mapping between the incoming and reflected light rays depends non-linearly on the mirror shape ...
220
click to vote
JUCS
2010
15 years 1 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
157
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
151
click to vote
INFOCOM
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—Numerous authentication schemes have been proposed in the past for protecting communication authenticity and integrity in wireless sensor networks. Most of them however ...
165
click to vote
ICALP
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...