728 search results - page 3 / 146 » Compressing combinatorial objects |
134
Voted
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
107
Voted
SUTC
2006
IEEE
15 years 6 months ago
2006
IEEE
Taking advantage of the delay tolerance for objects tracking sensor networks, we propose delay-tolerant trajectory compression (DTTC) technique, an efficient and accurate algorit...
59
Voted
APPROX
2007
Springer
15 years 7 months ago
2007
Springer
67
Voted
PAAPP
2006
15 years 22 days ago
2006
50
Voted
IJCM
2007
15 years 21 days ago
2007
