3116 search results - page 418 / 624 » Positively dependent types |
181
click to vote
PAMI
2007
15 years 6 months ago
2007
—Time-Correlated Single Photon Counting and Burst Illumination Laser data can be used for range profiling and target classification. In general, the problem is to analyze the res...
205
click to vote
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
236
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
218
click to vote
TCOS
2010
15 years 5 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
178
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...