21430 search results - page 407 / 4286 » Abstract Effective Models |
154
click to vote
JFP
2008
15 years 6 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
188
Voted
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
217
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new model for so-called water hammer equations based on a collocation method. This model is shown to fairly represent possible leak effects in a pipeline ...
200
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...
135
click to vote
DICTA
2003
15 years 8 months ago
2003
This paper presents an extensive survey of model selection techniques for computer vision applications. A large number of existing model selection criteria...