2583 search results - page 150 / 517 » On the Representation of Timed Polyhedra |
180
click to vote
SARA
2009
Springer
16 years 28 days ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
160
click to vote
HASKELL
2009
ACM
16 years 27 days ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
156
click to vote
ICASSP
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper we introduce a new watermarking model combining a joint time frequency (TF) representation using the molecular matching pursuit (MMP) algorithm and a psychoacoustic ...
177
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we describe work relating to classification of web documents using a graph-based model instead of the traditional vector-based model for document representation. We ...
181
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
At CRYPTO 2000, a new public-key encryption based on braid groups was introduced. This paper demonstrates how to solve its underlying problem using the Burau representation. By thi...