3637 search results - page 225 / 728 » On Dynamic Bit-Probe Complexity |
ICPR
2004
IEEE
16 years 16 hour ago
2004
IEEE
We propose a novel energy minimisation framework for the dense reconstruction of stereo image sequences that incorporates data fidelity as well as spatial and temporal regularity....
94
Voted
EPIA
2005
Springer
15 years 4 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
The purpose of this study is to explore an alternative means of hand image classification, one that requires minimal human intervention. The main tool for accomplishing this is a G...
95
Voted
LORI
2009
Springer
15 years 3 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
82
Voted
CSL
2004
Springer
15 years 2 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...