288 search results - page 25 / 58 » Interactive Termination Proofs Using Termination Cores |
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
— In order to avoid the large peak transmit power, resulting from the high transmission rates expected for future mobile communication systems, a wireless multi-hop virtual cellu...
HCI
2009
14 years 7 months ago
2009
This paper presents a multimodal framework for the communication between blind and hearing impaired people. The algorithms that are developed are based on the concept of modality r...
BROADNETS
2007
IEEE
15 years 3 months ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
ENTCS
2008
14 years 9 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
ADHOC
2010
14 years 9 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...