5810 search results - page 1000 / 1162 » An Approach to Programming Based on Concepts |
166
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
157
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Traditional approaches to combining classifiers attempt to improve classification accuracy at the cost of increased processing. They may be viewed as providing an accuracy-speed tr...
185
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection me...
152
click to vote
AAAI
2007
15 years 8 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
158
click to vote
AIPS
2007
15 years 8 months ago
2007
Several researchers have shown that the efficiency of value iteration, a dynamic programming algorithm for Markov decision processes, can be improved by prioritizing the order of...