626 search results - page 26 / 126 » When Can Formal Methods Make a Real Difference |
SIAMSC
2008
13 years 7 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— An effectively designed and efficiently used memory hierarchy, composed of scratch-pads or cache, is seen today as the key to obtaining energy and performance gains in data-do...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We study and compare two novel embedding methods for segmenting feature points of piece-wise planar structures from two (uncalibrated) perspective images. We show that a set of di...