221 search results - page 18 / 45 » Modeling Interconnect Variability Using Efficient Parametric... |
124
Voted
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
Many interactive image segmentation approaches use an objective function which includes appearance models as an unknown variable. Since the resulting optimization problem is NP-har...
132
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
152
click to vote
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
119
click to vote
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
132
click to vote
AAAI
2008
15 years 4 months ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...