3954 search results - page 124 / 791 » Image-based Model Completion |
142
Voted
ENTCS
2007
15 years 5 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
149
Voted
JLP
2010
14 years 12 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
167
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
Unsupervised methods for automatic vessel segmentation from retinal images are attractive when only small datasets, with associated ground truth markings, are available. We presen...
137
Voted
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
142
click to vote
CIA
1998
Springer
15 years 9 months ago
1998
Springer
In a simple cooperative MAS model where a collection of "querying agents" can send queries to a collection of "information agents", we formalize the problem of ...