444 search results - page 57 / 89 » Termination by Abstraction |
PRIMA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we present a protocol for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of transla...
PDP
2003
IEEE
14 years 2 months ago
2003
IEEE
The enlarging market of portable devices and wireless networks stimulates the provisioning of mobilityenabled Internet services with differentiated levels of Quality of Service (Q...
JUCS
2007
13 years 9 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
INFOCOM
2011
IEEE
13 years 13 days ago
2011
IEEE
Abstract—By ‘optimal CSMA’ we denote a promising approach to maximize throughput-based utility in wireless networks without message passing or synchronization among nodes. De...
TSP
2010
13 years 3 months ago
2010
Abstract--Hands-free terminals for speech communication employ adaptive filters to reduce echoes resulting from the acoustic coupling between loudspeaker and microphone. When using...