22 search results - page 2 / 5 » A Fully Abstract Relational Model of Syntactic Control of In... |
SECON
2007
IEEE
2007
IEEE
Experimental Investigation of IEEE 802.15.4 Transmission Power Control and Interference Minimization
14 years 14 hour ago
Abstract—Although the characteristics of RF transmissions are physically well understood at the lowest levels of communication design, accurately incorporating power and interfer...
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
PKDD
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
INFOCOM
2009
IEEE
14 years 11 days ago
2009
IEEE
Abstract—We study the joint power control and minimumframe-length scheduling problem in wireless networks, under the physical interference model and subject to consecutive transm...
CISS
2008
IEEE
14 years 6 days ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...