814 search results - page 40 / 163 » Generic Model Abstraction from Examples |
108
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
113
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
ICIP
2010
IEEE
14 years 12 months ago
2010
IEEE
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
114
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...