3928 search results - page 639 / 786 » order 2006 |
220
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
115
Voted
CSDA
2006
15 years 7 months ago
2006
Methods such as wavelets and M-stationary process have been developed to analyze the time-frequency properties of a process where frequency changes with time. In certain circumsta...
161
click to vote
CSDA
2006
15 years 7 months ago
2006
The comparison of the accuracy of two binary diagnostic tests has traditionally required knowledge of the real state of the disease in all of the patients in the sample via the ap...
185
click to vote
CTW
2006
15 years 7 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
194
click to vote
CVGIP
2006
15 years 7 months ago
2006
Creating controllable, responsive avatars is an important problem in computer games and virtual environments. Recently, large collections of motion capture data have been exploite...