1596 search results - page 131 / 320 » Quantum property testing |
157
click to vote
LCN
2008
IEEE
16 years 14 days ago
2008
IEEE
—A wide range of Internet-based services that use reliable transport protocols display what we call thin-stream properties. This means that the application sends data with such a...
172
click to vote
ROBOCUP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
182
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
148
Voted
STOC
1998
ACM
15 years 10 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
158
Voted
FLAIRS
2010
15 years 8 months ago
2010
Object search in a visual scene is a highly challenging and computationally intensive task. Most of the current object detection techniques extract features from images for classi...