1596 search results - page 188 / 320 » Quantum property testing |
DAGM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
CIVR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Efficient image retrieval from large image databases is a challenging problem. In this paper we present a method offering constant time complexity for the comparison of t...
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
ILP
2000
Springer
14 years 1 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...