1677 search results - page 134 / 336 » On the Completeness of Quantum Computation Models |
171
click to vote
ICIP
2007
IEEE
16 years 25 days ago
2007
IEEE
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...
185
click to vote
COST
2007
Springer
16 years 21 days ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
158
click to vote
JITE
2006
15 years 6 months ago
2006
The last twenty years has seen the development of demand for a new type of computing professional, which has resulted in the emergence of the academic discipline of Information Te...
165
click to vote
RC
2002
15 years 6 months ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
199
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...