4880 search results - page 611 / 976 » Manuals as Structured Programs |
244
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...
160
click to vote
ISVLSI
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...
171
click to vote
VISSOFT
2005
IEEE
16 years 11 days ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
168
click to vote
ASPDAC
2004
ACM
16 years 7 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
167
Voted
ICT
2004
Springer
16 years 5 days ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...