1022 search results - page 142 / 205 » New models and algorithms for programmable networks |
153
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
168
click to vote
ANOR
2011
15 years 1 months ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
166
click to vote
GLOBECOM
2009
IEEE
16 years 25 days ago
2009
IEEE
— Existing channel assignment algorithms designed for multi-radio multi-channel wireless mesh networks (MRMC-WMN) mainly deal with orthogonal or nonoverlapped channels. But in re...
156
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Cardiomyopathy refers to diseases of the heart muscle that becomes enlarged, thick, or rigid. These changes affect the electrical stability of the myocardial cells, which in turn ...
180
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...