2509 search results - page 309 / 502 » Abstract Geometrical Computation and Computable Analysis |
145
Voted
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
144
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
186
click to vote
DMIN
2009
15 years 4 months ago
2009
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
166
Voted
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Many computer vision problems such as recognition, image retrieval, and tracking require matching two images. Currently, ones try to find as reliable as possible match...
125
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...