2935 search results - page 543 / 587 » An Integrated Approach to High Integrity Software Verificati... |
158
Voted
PAMI
2007
15 years 3 months ago
2007
We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under t...
123
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...
142
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
173
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
135
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...