2056 search results - page 288 / 412 » Detecting Errors in Spreadsheets |
142
click to vote
ECCC
2006
15 years 4 months ago
2006
Detecting the relevant attributes of an unknown target concept is an important and well studied problem in algorithmic learning. Simple greedy strategies have been proposed that s...
312
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
130
click to vote
IJHPCN
2006
15 years 4 months ago
2006
: This paper presents several ideas pertaining to desirable properties associated with protocols for moving large amounts of data over a grid of high performance computers. The pro...
133
Voted
IVC
2006
15 years 4 months ago
2006
We present a probabilistic reliable-inference framework to address the issue of rapid detection of human actions with low error rates. The approach determines the shortest video e...
164
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...