2714 search results - page 398 / 543 » Approximation Schemes for Scheduling |
109
Voted
SPIRE
1998
Springer
15 years 5 months ago
1998
Springer
We present a fast compression and decompression technique for natural language texts. The novelty is that the exact search can be done on the compressed text directly, using any k...
108
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
98
Voted
IMR
2000
Springer
15 years 4 months ago
2000
Springer
We present an effective and easy-to-implement angle-based smoothing scheme for triangular, quadrilateral and tri-quad mixed meshes. For each mesh node our algorithm compares all t...
107
Voted
AAAI
2008
15 years 3 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
90
Voted
MOBICOM
2010
ACM
15 years 1 months ago
2010
ACM
While the cellular revolution has made voice connectivity ubiquitous in the developing world, data services are largely absent or are prohibitively expensive. In this paper, we pr...