626 search results - page 50 / 126 » When Can Formal Methods Make a Real Difference |
141
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
During the past decade, a number of different studies have identified several peculiar properties of networks that arise from a diverse universe, ranging from social to computer n...
131
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
144
click to vote
TMC
2008
15 years 3 months ago
2008
In wireless networks, a client's locations can be estimated using signal strength received from signal transmitters. Static fingerprint-based techniques are commonly used for ...
158
click to vote
MVA
2007
15 years 4 months ago
2007
of the fundamental challenges of human action recognition is accounting for the variability that arises during video capturing. For a specific action class, the 2D observations of...
141
click to vote
SAS
2009
Springer
16 years 3 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...