Sciweavers

415 search results - page 32 / 83
» Propagating functional dependencies with conditions
Sort
View
VTC
2006
IEEE
14 years 4 months ago
Feasible Link Statistics for Adaptive Ad Hoc Networks
— The dynamic nature of ad hoc networks advocates the use of adaptive schemes to optimize network performance. Such adaptive schemes require local observations of prevailing netw...
Senan J. Doyle, Timothy K. Forde, Linda Doyle
INFOCOM
2003
IEEE
14 years 4 months ago
A Utility-Based Congestion Control Scheme for Internet-Style Networks with Delay
— In this paper, we develop, analyze and implement a congestion control scheme obtained in a noncooperative game framework where each user’s cost function is composed of a pric...
Tansu Alpcan, Tamer Basar
SAT
2004
Springer
90views Hardware» more  SAT 2004»
14 years 4 months ago
Encoding Global Unobservability for Efficient Translation to SAT
The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the unobservability of logic blocks is encoded with CNF unobservabil...
Miroslav N. Velev
ECAL
2005
Springer
14 years 4 months ago
CelloS: A Multi-level Approach to Evolutionary Dynamics
We study the evolution of simple cells that are equipped with a genome, a rudimentary gene regulation network at transcription level and two classes of functional genes: motion eï¬...
Camille Stephan-Otto Attolini, Peter F. Stadler, C...
AMW
2009
13 years 12 months ago
Semantic Integrity Constraints for Spatial Databases
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
Loreto Bravo, M. Andrea Rodríguez