101 search results - page 15 / 21 » Coinduction for Exact Real Number Computation |
ICHIM
2001
15 years 1 months ago
2001
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A number of minimal problems of structure from motion for cameras with radial distortion have recently been studied and solved in some cases. These problems are known to be numeri...
SIGMOD
2005
ACM
15 years 5 months ago
2005
ACM
Decision makers of companies often face the dilemma of whether to release data for knowledge discovery, vis a vis the risk of disclosing proprietary or sensitive information. Whil...
108
click to vote
ACCV
2007
Springer
15 years 3 months ago
2007
Springer
Normalized Cuts has successfully been applied to a wide range of tasks in computer vision, it is indisputably one of the most popular segmentation algorithms in use today. A number...