3047 search results - page 61 / 610 » On the Meaning of Logical Completeness |
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
We present two solutions for the scale selection problem in computer vision. The rst one is completely nonparametric and is based on the the adaptive estimation of the normalized ...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes a low power VLIW processor generation method by automatically extracting non-redundant activation conditions of pipeline registers for clock gating. It is impo...
CIA
2001
Springer
14 years 2 months ago
2001
Springer
User-to-User Communication within Internet-based 3D Virtual Environments is usually difficult mainly due to the trade-off between the capability and the complexity of the interface...
COGSCI
2004
13 years 9 months ago
2004
This study investigated the roles of problem structure and strategy use in problem encoding. Fourthgrade students solved and explained a set of typical addition problems (e.g., 5 ...
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...