52 search results - page 10 / 11 » The Verus Language: Representing Time Efficiently with BDDs |
TOG
2008
14 years 9 months ago
2008
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
104
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
182
Voted
ICDE
2004
IEEE
15 years 10 months ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...
91
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
To deal with the problem of empty or too little answers returned from a Web database in response to a user query, this paper proposes a novel approach to provide relevant and rank...
115
Voted
SODA
2010
ACM
15 years 6 months ago
2010
ACM
Regular expression matching is a key task (and often computational bottleneck) in a variety of software tools and applications. For instance, the standard grep and sed utilities, ...