1712 search results - page 243 / 343 » A Computational Approach to Binding Theory |
161
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
166
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The phylogenetic tree construction is to infer the evolutionary relationship between species from the experimental data. However, the experimental data are often imperfec...
188
click to vote
PAMI
2002
15 years 6 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
250
click to vote
TIP
1998
15 years 6 months ago
1998
Abstract—A multigrid anisotropic diffusion algorithm for image processing is presented. The multigrid implementation provides an efficient hierarchical relaxation method that fa...
150
click to vote
TSMC
2002
15 years 6 months ago
2002
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...