Search Sciweavers | Sciweavers

728 search results - page 3 / 146

» Compressing combinatorial objects

112

click to vote

LICS
2012
IEEE

247views Automated Reasoning» more LICS 2012»

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects

13 years 1 months ago

Download www.kurims.kyoto-u.ac.jp

—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...

Naohiko Hoshino

claim paper

Read More »

click to vote

SUTC
2006
IEEE

118views Sensor Networks» more SUTC 2006»

DTTC: Delay-Tolerant Trajectory Compression for Object Tracking Sensor Networks

15 years 5 months ago

Download www.cse.psu.edu

Taking advantage of the delay tolerance for objects tracking sensor networks, we propose delay-tolerant trajectory compression (DTTC) technique, an efﬁcient and accurate algorit...

Yingqi Xu, Wang-Chien Lee

claim paper

Read More »

click to vote

APPROX
2007
Springer

76views Algorithms» more APPROX 2007»

Lower bounds for testing forbidden induced substructures in bipartite-graph-like combinatorial objects

15 years 5 months ago