1888 search results - page 105 / 378 » Proof theory and computational analysis |
95
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
The widespread availability of digital cameras and ubiquitous Internet access have facilitated the creation of massive image collections. These collections can be highly interconn...
189
Voted
Presentation
Computer vision has been studied for more than 40 years. Due to the increasingly diverse and rapidly developed topics in vision and the related fields (e.g., machine learning, sign...
105
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
99
Voted
ISSAC
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
113
Voted
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...