1620 search results - page 134 / 324 » Testing Polymorphic Properties |
168
click to vote
ICSE
1999
IEEE-ACM
15 years 9 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 ...
128
click to vote
STOC
1998
ACM
15 years 9 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...
139
click to vote
FLAIRS
2010
15 years 7 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...
135
click to vote
LREC
2008
15 years 6 months ago
2008
The goal of the DARPA MADCAT (Multilingual Automatic Document Classification Analysis and Translation) Program is to automatically convert foreign language text images into Englis...
175
Voted
JWSR
2008
15 years 3 months ago
2008
Organizations are increasingly faced with the challenge of managing business processes, workflows, and recently, Web processes. One important aspect of business processes that has...