7167 search results - page 256 / 1434 » A Technique for Invariant Generation |
203
click to vote
MPC
2010
Springer
16 years 2 days ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
206
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
201
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
167
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
201
click to vote
AMDO
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present an automatic face authentication system. Accurate segmentation of prominent facial features is accomplished by means of an extension of the Active Shape M...