3317 search results - page 340 / 664 » Strategies in Rigid-Variable Methods |
151
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— Probabilistic roadmaps (PRM) have been demonstrated to be very promising for planning paths for robots with high degrees of freedom in complex 3D workspaces. In this pa...
188
click to vote
MEMOCODE
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
190
click to vote
IWCMC
2006
ACM
16 years 22 days ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
189
click to vote
SI3D
2006
ACM
16 years 21 days ago
2006
ACM
We present an effective method for automatically selecting the appropriate scale of shape features that are depicted when rendering a 3D mesh in the style of a line drawing. The m...
160
Voted
W4A
2006
ACM
16 years 21 days ago
2006
ACM
This paper examines the degree of overlap between for physical ease of access on the Web in general, and physical ease of use on the mobile Web. There differences in the basic int...