4850 search results - page 813 / 970 » Proof and Computation in Geometry |
162
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
163
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Flexible needles with bevel tips are being developed as useful tools for minimally invasive surgery and percutaneous therapy. When such a needle is inserted into soft t...
153
click to vote
RSA
2010
15 years 4 months ago
2010
Polygon spaces like Mℓ = {(u1, · · · , un) ∈ S1 × · · · S1 ; n i=1 liui = 0}/SO(2) or they three dimensional analogues Nℓ play an important rle in geometry and topolo...
224
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Colored range queries are a well-studied topic in computational geometry and database research that, in the past decade, have found exciting applications in information r...
164
click to vote
TASLP
2010
15 years 4 months ago
2010
—The synthesis of sound based on physical models of 2-D percussion instruments is problematic and has been approached only infrequently in the literature. Beyond the computationa...