2564 search results - page 174 / 513 » Witness sets of projections |
160
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Attacks against distributed systems frequently start at the network layer by gathering network related information (such as open TCP ports) and continue on by exhausting resources...
159
click to vote
ICIP
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a method to estimate in real-time the position and orientation of a previously viewed planar patch. The algorithm is based on minimising the sum of square...
149
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
156
click to vote
FOSSACS
2000
Springer
15 years 9 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
163
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...