Sciweavers

93 search results - page 11 / 19
» Alternation for Termination
Sort
View
MOBISYS
2007
ACM
14 years 7 months ago
Energy-efficient multi-hop medical sensor networking
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
Antonio G. Ruzzelli, Raja Jurdak, Gregory M. P. O'...
ESWS
2009
Springer
14 years 2 months ago
Hybrid Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
Cristina Feier, Stijn Heymans
IPPS
2008
IEEE
14 years 1 months ago
Absolute Slicing in Peer-to-peer Systems
Peer-to-peer (P2P) systems are slowly moving from application-specific architectures to a generic serviceoriented design framework. The idea is to allow a dynamic collection of P...
Alberto Montresor, Roberto Zandonati
PIMRC
2008
IEEE
14 years 1 months ago
Decision feedback equalization in SC-FDMA
Abstract-SC-FDMA (Single-Carrier Frequency Division Multiple Access) is employed in tbe 3GPP LTE (Long-Term Evolution) standard as tbe uplink transmission scbeme. Tbe SC-FDMA signa...
Gillian Huang, Andrew R. Nix, Simon Armour
INFOCOM
2005
IEEE
14 years 1 months ago
Asymptotically optimal transmission policies for low-power wireless sensor networks
— We consider wireless sensor networks with multiple gateways and multiple classes of traffic carrying data generated by different sensory inputs. The objective is to devise joi...
Ioannis Ch. Paschalidis, Wei Lai, David Starobinsk...