507 search results - page 91 / 102 » Counterexample-Guided Abstraction Refinement |
136
click to vote
CAI
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
144
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
140
click to vote
BALT
2010
14 years 10 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
129
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
126
click to vote
MOC
2010
14 years 10 months ago
2010
Abstract. We prove pointwise a posteriori error estimates for semi- and fullydiscrete finite element methods for approximating the solution u to a parabolic model problem. Our esti...