11740 search results - page 1930 / 2348 » More Problems in Rewriting |
178
click to vote
ICALP
2010
Springer
16 years 14 days ago
2010
Springer
We consider the problem of efficiently finding an additive C-spanner of an undirected unweighted graph G, that is, a subgraph H so that for all pairs of vertices u, v, δH (u, v) ...
199
click to vote
MDM
2010
Springer
16 years 14 days ago
2010
Springer
—Location information is necessarily uncertain when objects are constantly moving. The cost can be high to maintain precise locations at the application server for all the object...
206
click to vote
ECCV
2010
Springer
16 years 6 days ago
2010
Springer
In this paper, we propose a method for detecting humans in imagery taken from a UAV. This is a challenging problem due to small number of pixels on target, which makes it more di...
223
Voted
CONCUR
2001
Springer
16 years 6 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
226
click to vote
DFG
2001
Springer
16 years 5 days ago
2001
Springer
: Using stereo-3D hardware in its different solutions is not new, but most available applications use these Hardware only for a better visualization of 3d-reconstructions. It is an...