Sciweavers

1733 search results - page 231 / 347
» Adaptation Control in Adaptive Hypermedia Systems
Sort
View
SIGCOMM
2006
ACM
15 years 10 months ago
Interference-aware fair rate control in wireless sensor networks
In a wireless sensor network of N nodes transmitting data to a single base station, possibly over multiple hops, what distributed mechanisms should be implemented in order to dyna...
Sumit Rangwala, Ramakrishna Gummadi, Ramesh Govind...
FROCOS
2009
Springer
15 years 11 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon
SMC
2007
IEEE
167views Control Systems» more  SMC 2007»
15 years 10 months ago
The inherent components of unmanned vehicle situation awareness
—The purpose of this paper is to present an initial delineation of the inherent components required for unmanned vehicles to possess situation awareness. A broadly adapted human ...
Sanford T. Freedman, Julie A. Adams
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
15 years 10 months ago
Self-organizing knowledge networks for pervasive situation-aware services
Adapting to current context of usage is of fundamental importance for pervasive computing services. As the technology for acquiring contextual information is increasingly availabl...
Matthias Baumgarten, Nicola Bicocchi, Rico Kusber,...
RSEISP
2007
Springer
15 years 10 months ago
Interpreting Low and High Order Rules: A Granular Computing Approach
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
Yiyu Yao, Bing Zhou, Yaohua Chen