3228 search results - page 410 / 646 » Computationally Sound Proofs |
130
Voted
VAST
2004
ACM
15 years 9 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
135
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
107
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Recent progress in per-pixel object class labeling of natural images can be attributed to the use of multiple types of image features and sound statistical learning approaches. Wit...
109
Voted
NDSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Steganography is used to hide the occurrence of communication. Recent suggestions in US newspapers indicate that terrorists use steganography to communicate in secret with their a...
124
Voted
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...