1864 search results - page 263 / 373 » Formal topology and domains |
PRL
2011
13 years 3 months ago
2011
Machine Learning based on the Regularized Least Square (RLS) model requires one to solve a system of linear equations. Direct-solution methods exhibit predictable complexity and s...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The problem of estimating an illumination distribution from images is called inverse lighting. For inverse lighting, three approaches have been developed based on specular reflect...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
AIME
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...