2583 search results - page 339 / 517 » On the Representation of Timed Polyhedra |
164
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
155
click to vote
INFOCOM
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—We present a distributed routing algorithm for finding two disjoint (primary and backup) QoS paths that run across multiple domains. Our work is inspired by the recent ...
153
click to vote
ACII
2007
Springer
16 years 20 days ago
2007
Springer
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
194
click to vote
CIKM
2007
Springer
16 years 20 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
197
click to vote
INFOCOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...