2794 search results - page 252 / 559 » A New Architecture for Automated Modelling |
190
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
169
Voted
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
Magnetic resonance imaging (MRI) of the brain, followed by automated segmentation of the corpus callosum (CC) in midsagittal sections have important applications in both clinical ...
122
Voted
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Analysis of elastic laminae provides vital information on both the gross and fine structures of the arterial wall, which is vital to assess issues such as mechanical damage caused...
162
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
170
click to vote
SAT
2005
Springer
16 years 6 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...