3552 search results - page 210 / 711 » Proof theory in the abstract |
174
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
166
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
Abstract. D.V. Chudnovsky and G.V. Chudnovsky [CH] introduced a generalization of the FrobeniusStickelberger determinantal identity involving elliptic functions that generalize the...
164
click to vote
IANDC
2010
15 years 5 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
173
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
144
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crow...