13553 search results - page 237 / 2711 » A Generalized Multi-View Approach |
167
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
163
click to vote
GLVLSI
2006
IEEE
16 years 19 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
179
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Recent research in image compression has focused on lossy compression algorithms. However, the baseline implementations of such algorithms generally use a universal quantization p...
161
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
164
click to vote
SIGDOC
2006
ACM
16 years 16 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...