Sciweavers

840 search results - page 61 / 168
» XML: From Practice to Theory
Sort
View
ECCC
2006
87views more  ECCC 2006»
13 years 7 months ago
The Learnability of Quantum States
Traditional quantum state tomography requires a number of measurements that grows exponentially with the number of qubits n. But using ideas from computational learning theory, we...
Scott Aaronson
ESWS
2006
Springer
13 years 11 months ago
Managing Information Quality in e-Science Using Semantic Web Technology
Abstract. We outline a framework for managing information quality (IQ) in eScience, using ontologies, semantic annotation of resources, and data bindings. Scientists define the qua...
Alun D. Preece, Binling Jin, Edoardo Pignotti, Pao...
CHI
2006
ACM
14 years 8 months ago
Dispelling "design" as the black art of CHI
We discuss the legacy and processes of creative design, and differentiate it from the type of user-centered design commonly found in CHI. We provide an example of this process, an...
Tracee Vetting Wolf, Jennifer Ann Rode, Jeremy B. ...
JIIS
2008
104views more  JIIS 2008»
13 years 7 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
ISTCS
1993
Springer
13 years 12 months ago
Subpixel Image Registration Using Circular Fiducials
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...
Alon Efrat, Craig Gotsman