2957 search results - page 451 / 592 » Processing Self Corrections |
176
click to vote
ICNP
2005
IEEE
16 years 1 days ago
2005
IEEE
Existing geographic routing algorithms depend on the planarization of the network connectivity graph for correctness, and the planarization process gives rise to a welldefined no...
186
click to vote
ICRA
2005
IEEE
16 years 1 days ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
178
click to vote
ISMAR
2005
IEEE
16 years 19 hour ago
2005
IEEE
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...
159
click to vote
ISQED
2005
IEEE
16 years 19 hour ago
2005
IEEE
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
198
click to vote
HASKELL
2005
ACM
16 years 4 hour ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...