4150 search results - page 306 / 830 » A Practical Approach to Model Extension |
134
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
231
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Linguistic research and natural language processing employ large repositories of ordered trees. XML, a standard ordered tree model, and XPath, its associated language, are natural...
141
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and pra...
137
click to vote
CLUSTER
2008
IEEE
15 years 11 months ago
2008
IEEE
—Divisible load model allows scheduling algorithms that give nearly optimal makespan with practical computational complexity. Beaumont et al. have shown that their algorithm prod...
130
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
This paper introduces a novel convex kernel based method for color constancy computation with explicit illuminant parameter estimation. A simple linear render model is adopted and ...