15792 search results - page 131 / 3159 » Computational Abstraction Steps |
81
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
as an abstraction of a population of bio-entities aggregated together in
129
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
132
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
119
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
122
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...