6040 search results - page 666 / 1208 » Generating Instance Models from Meta Models |
169
click to vote
SAT
2004
Springer
16 years 13 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
203
click to vote
BXML
2004
15 years 8 months ago
2004
: The Extensible Markup Language (XML) is based on the concept of schema languages, which are used for validation of XML documents. In most cases, the metamodeling view of XML-base...
195
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Within the geographic domain, an important class of relies on geometric abstractions in the form of lines where, for instance, transportation networks and trajectories of movement...
175
click to vote
ANNPR
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...
174
click to vote
AMC
2010
15 years 7 months ago
2010
Experience with fluid-flow simulation suggests that, in some instances, under-resolved direct numerical simulation (DNS), without a residual-stress model per se but with artificial...