Sciweavers

3932 search results - page 490 / 787
» Adaptive Index Structures
Sort
View
EACL
2009
ACL Anthology
16 years 6 months ago
A Comparison of Clausal Coordinate Ellipsis in Estonian and German: Remarkably Similar Elision Rules Allow a Language-Independen
We compare the phenomena of clausal coordinate ellipsis in Estonian, a Finno-Ugric language, and German, an Indo-European language. The rules underlying these phenomena appear to ...
Karin Harbusch, Mare Koit, Haldur Oim
ICASSP
2009
IEEE
16 years 27 days ago
Modeling of contours in wavelet domain for generalized lifting image compression
This paper introduces the design of context-based models of contours in the wavelet domain, which are used to construct generalized lifting (GL) mappings for image compression. Th...
Julio C. Rolon, Antonio Ortega, Philippe Salembier
SASO
2008
IEEE
16 years 16 days ago
Spatial Computing with Labels
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
Ulrik Pagh Schultz, Mirko Bordignon, David Johan C...
183
Voted
TPHOL
2008
IEEE
16 years 16 days ago
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
Lukas Bulwahn, Alexander Krauss, Florian Haftmann,...
153
Voted
GLOBECOM
2007
IEEE
16 years 14 days ago
Bridging Distributed Hash Tables in Wireless Ad-Hoc Networks
—The adaptation of structured P2P networks, i.e. Distributed Hash Tables (DHTs), to wireless ad-hoc networks has been investigated in recent years. Existing work assume all peers...
Lawrence Cheng