2364 search results - page 102 / 473 » An Engine for Computing Well-Founded Models |
139
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
182
click to vote
PAMI
2012
13 years 6 months ago
2012
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
143
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a reference frame transformation method which applies appropriate rotational operators to the block diagram representation of a converter space vector model to...
115
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...
117
click to vote
UIST
2000
ACM
15 years 8 months ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...