1696 search results - page 152 / 340 » Permuted function matching |
CHI
2002
ACM
15 years 11 months ago
2002
ACM
In large screen projection environments, inexpensive wireless input devices can not match the performance of standard desktop interactive devices. We added buttons and a radio tra...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
PADL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
ICIP
2008
IEEE
15 years 5 months ago
2008
IEEE
In this work, we propose the use of sparse signal representation techniques to solve the problem of closed-loop spatial image prediction. The reconstruction of signal in the block...
AVSS
2006
IEEE
15 years 5 months ago
2006
IEEE
We model the performance of a speaker recognition system used for surveillance to prioritize a large number of candidate speakers in search of a single target speaker. It is assum...