3909 search results - page 386 / 782 » Extreme Model Checking |
143
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
166
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
My research focus is on using continuous state partially observable Markov decision processes (POMDPs) to perform object manipulation tasks using a robotic arm. During object mani...
137
click to vote
GRAPHICSINTERFACE
2001
15 years 5 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
282
click to vote
IPMI
2011
Springer
14 years 8 months ago
2011
Springer
Many current medical image analysis problems involve learning thousands or even millions of model parameters from extremely few samples. Employing sparse models provides an effecti...