2634 search results - page 84 / 527 » Faster Than Uppaal |
SCL
2010
13 years 7 months ago
2010
We show that control systems with an analytic semigroup and control and observation operators that are not too unbounded have a Hankel operator that belongs to the Schatten class ...
COMGEO
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. We give an output-sensitive algorithm for computing the visibility map of a set of n constant-complexity convex fat polyhedra or curved objects in 3-space. Our algorithm ...
CAV
2010
Springer
13 years 7 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...
NAACL
2010
13 years 6 months ago
2010
The class of Linear Inversion Transduction Grammars (LITGs) is introduced, and used to induce a word alignment over a parallel corpus. We show that alignment via Stochastic Bracke...
PAIRING
2010
Springer
13 years 6 months ago
2010
Springer
Scott uses an efficiently computable isomorphism in order to optimize pairing computation on a particular class of curves with embedding degree 2. He points out that pairing implem...