4341 search results - page 490 / 869 » Quantitative Model checking |
175
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
268
click to vote
Publication
We present a region-based active contour approach to segmenting masses in digital mammograms. The algorithm developed in a Maximum Likelihood approach is based on the calculation o...
198
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
187
click to vote
COLING
2010
15 years 1 months ago
2010
As unlexicalized parsing lacks word token information, it is important to investigate novel parsing features to improve the accuracy. This paper studies a set of tree topological ...
171
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, it is shown that for substantial increase of video quality delivery in wireless networks, it is necessary to execute two important enhancements to existing communica...