4418 search results - page 614 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
167
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
187
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
194
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In order to achieve both fast tracking and accurate object extraction, we present in this paper an original real-time active contour method, incorporating different feature maps i...
165
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
161
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We propose to improve the efficiency of genetic programming, a method to automatically evolve computer programs. We use graph-based data mining to identify common aspects of highl...