1306 search results - page 232 / 262 » A Diagrammatic Approach to Model Completion |
158
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...
194
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
168
click to vote
ICST
2009
IEEE
16 years 25 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
166
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
174
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...