3130 search results - page 300 / 626 » Design Correctness of Digital Systems |
213
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
172
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...
174
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In low-light conditions, it is known that Poisson noise and quantization noise become dominant sources of noise. While intensity difference is usually measured by Euclidean distanc...
190
Voted
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
146
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...