4131 search results - page 29 / 827 » Compactness in Topology and Computation |
117
click to vote
ACHI
2008
IEEE
15 years 8 months ago
2008
IEEE
—We present a 3D anatomically guided diagnostic system to detect internal bleeding of patients in the field. Our solution employs high fidelity digital human models to help medic...
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
PODC
2004
ACM
15 years 7 months ago
2004
ACM
We consider the problem of designing a compact communication network that supports efficient routing in an Euclidean plane. Our network design and routing scheme achieves 1+ stret...
107
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
106
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
We study the following problem. Given a weighted planar graph G, assign labels L(v) to vertices so that given L(u), L(v) and L(x) for x ∈ X for any X ⊂ V (G), compute the dist...