8828 search results - page 215 / 1766 » Formal methods in practice |
140
Voted
WSCG
2004
15 years 6 months ago
2004
We propose a method to construct practical reflectances for spectral rendering. A set of 1400 real reflectances are measured and more spectra with higher saturated colors are gene...
151
Voted
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—This paper introduces several new guiding ideologies in “the Principle of Computer Organization” course reform, based on the purpose of application-oriented personnel traini...
267
click to vote
CAIP
2011
Springer
14 years 5 months ago
2011
Springer
We present an algorithm that simultaneously calibrates a color camera, a depth camera, and the relative pose between them. The method is designed to have three key features that no...
227
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
124
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
The field of algorithms for pairwisc biosequence similarity search is dominated by heuristic methods of high efficiency but uncertain sensitivity. One reason that more formal stri...