5205 search results - page 248 / 1041 » Tilings and model theory |
MODELS
2007
Springer
14 years 5 months ago
2007
Springer
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
CVPR
2004
IEEE
15 years 25 days ago
2004
IEEE
We study the problem of estimating the illuminant's direction from images of textured surfaces. Given an isotropic, Gaussian random surface with constant albedo, Koenderink an...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
ADC
2005
Springer
14 years 4 months ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
ISMIR
2004
Springer
14 years 4 months ago
2004
Springer
A set of principles (based on Gestalt theory) governing how we group notes into meaningful groups has been widely accepted in the literature. Based on these principles, many diver...