1585 search results - page 84 / 317 » A framework for computer-aided validation |
133
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—There is a growing interest in exploiting interference (rather than avoiding it) to increase network throughput. In particular, the so-called successive interference cancellatio...
130
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Design, development and evaluation of adaptive, scalable, and power aware Bio/Nature inspired routing protocols has received a significant amount of attention in the recent past....
157
click to vote
SIGMETRICS
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
119
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
367
click to vote
Publication
In this paper, we present a novel framework for computing centerlines for both 2D and 3D shape analysis. The framework works as follows: an object centerline point is
selected aut...