6693 search results - page 303 / 1339 » Methods of Automatic Algorithm Generation |
174
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a registration framework based on feature points of anatomical 3D shapes represented in the point cloud domain. Anatomical information is utilized throughout the comple...
154
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
Outdoor location systems based on Wireless Access Point (WAP) signal strength must either know the exact location of the WAPs in order to use a triangulation algorithm, or must co...
151
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
146
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Restoring the fine detail in the slide area of a defocused lecture video is a challenging task. In this work, we propose to use clean images of slides available along with the def...
166
click to vote
IDT
2010
15 years 5 months ago
2010
A person adds new knowledge to his/her mind, taking into account new information, additional details, better precision, synonyms, homonyms, redundancies, apparent contradictions, a...