6059 search results - page 206 / 1212 » A Technique for Verifying Measurements |
136
click to vote
PERVASIVE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper proposes a novel interactive technique, the EyeCatcher, which helps photographers capture a variety of natural looking facial expressions of their subjects, by...
157
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
140
click to vote
ISMVL
1994
IEEE
15 years 10 months ago
1994
IEEE
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
201
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
183
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...