Sciweavers

5055 search results - page 320 / 1011
» Relative Timing
Sort
View
LICS
2009
IEEE
16 years 1 months ago
The Complexity of Global Cardinality Constraints
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an ...
Andrei A. Bulatov, Dániel Marx
ATVA
2009
Springer
89views Hardware» more  ATVA 2009»
16 years 1 months ago
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Q...
IWANN
2009
Springer
16 years 1 months ago
Data Mining in Complex Diseases Using Evolutionary Computation
Abstract. A new algorithm is presented for finding genotype-phenotype association rules from data related to complex diseases. The algorithm was based on Genetic Algorithms, a tech...
Vanessa Aguiar, Jose A. Seoane, Ana Freire, Cristi...
INFOCOM
2008
IEEE
16 years 1 months ago
ACK-Clocking Dynamics: Modelling the Interaction between Windows and the Network
—A novel continuous time fluid flow model of the dynamics of the interaction between ACK-clocking and the link buffer is presented. A fundamental integral equation relating the...
Krister Jacobsson, Lachlan L. H. Andrew, Ao Tang, ...
HICSS
2007
IEEE
95views Biometrics» more  HICSS 2007»
16 years 1 months ago
Protecting with Sensor Networks: Attention and Response
Sensor networks are expected to play an important role in hybrid protection infrastructures when combined with robots and human decision makers. In order to be effective, detectio...
Jeffrey V. Nickerson, Stephan Olariu