1431 search results - page 253 / 287 » Solving Constraints in Model Transformations |
AI
2009
Springer
15 years 7 months ago
2009
Springer
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
118
click to vote
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
95
Voted
SECON
2008
IEEE
15 years 6 months ago
2008
IEEE
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...
102
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
132
Voted
AIPR
2007
IEEE
15 years 6 months ago
2007
IEEE
We describe a method for registering and superresolving moving vehicles from aerial surveillance video. The challenge of vehicle super-resolution lies in the fact that vehicles ma...