276 search results - page 40 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
134
click to vote
INFORMS
1998
15 years 1 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
112
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
115
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...
116
click to vote
BPM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
112
click to vote
TMI
2010
14 years 8 months ago
2010
Abstract--We propose a framework for the nonlinear spatiotemporal registration of 4D time-series of images based on the Diffeomorphic Demons (DD) algorithm. In this framework, the ...