4850 search results - page 380 / 970 » Proof and Computation in Geometry |
151
click to vote
ISTCS
1993
Springer
15 years 11 months ago
1993
Springer
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...
174
click to vote
ADHOCNOW
2009
Springer
16 years 1 months ago
2009
Springer
We deal with the rate allocation problem for downlink in a Multi-hop Cellular Network. A mathematical model is provided to assign transmission rates in order to reach an optimal an...
151
click to vote
TAMC
2007
Springer
16 years 29 days ago
2007
Springer
We say that A ≤LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real γ, oracle B can also find patterns on ...
145
Voted
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
158
click to vote
MFCS
2005
Springer
16 years 10 days ago
2005
Springer
We prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata ...