CONSTRAINTS
2010
13 years 9 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
CONSTRAINTS
2010
13 years 9 months ago
2010
The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a global constraint and an associated ...
CONNECTION
2010
13 years 9 months ago
2010
CONNECTION
2010
13 years 9 months ago
2010
CONNECTION
2010
13 years 9 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
CONEXT
2010
ACM
13 years 9 months ago
2010
ACM
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...
CONEXT
2010
ACM
13 years 9 months ago
2010
ACM
In this paper, we explore a simple yet effective technique for explicitly allocating airtime to each active pair of communicating neighbors in a wireless neighborhood so that TCP ...
CNSM
2010
13 years 9 months ago
2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
ANNALS
2010
13 years 9 months ago
2010
The increasing popularity in the late 1970s of affordable, general-purpose, microprocessor-based personal computers in the US, generated a widespread interest around the world in t...
ANNALS
2010
13 years 9 months ago
2010
