2142 search results - page 292 / 429 » An aspect-oriented approach for implementing evolutionary co... |
179
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
159
click to vote
CPAIOR
2009
Springer
16 years 29 days ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
163
click to vote
ICSOC
2007
Springer
16 years 16 days ago
2007
Springer
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
151
click to vote
FDL
2005
IEEE
16 years 5 hour ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
165
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...