301 search results - page 35 / 61 » On extensions of a theorem of Baxter |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper, we consider the problem of scheduling sensor activity to maximize network lifetime while maintaining both discrete targets coverage and network connectivity. We ...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
—This research focuses on development of a haptic system to create controlled air flow acting on a user in the Treadport virtual environment. The Treadport Active Wind Tunnel (TP...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider the problem of broadcasting a live stream of data in an unstructured network. Broadcasting has been studied extensively for networks with capacity constraints at th...