9849 search results - page 1616 / 1970 » Algorithms and Experiments for the Webgraph |
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
167
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In a companion paper of this session [1] we formally defined the notion of equivalence classes of circuits which are physical clones of an existing benchmark seed circuit created ...
195
click to vote
DAGM
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...
154
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
184
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...