Sciweavers

1134 search results - page 43 / 227
» Composing Tests from Examples
Sort
View
CORR
2008
Springer
129views Education» more  CORR 2008»
14 years 11 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
EMNLP
2008
15 years 15 days ago
Mining and Modeling Relations between Formal and Informal Chinese Phrases from Web Corpora
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
Zhifei Li, David Yarowsky
FMOODS
2006
15 years 14 days ago
Generating Instance Models from Meta Models
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
Karsten Ehrig, Jochen Malte Küster, Gabriele ...
103
Voted
CVPR
2004
IEEE
16 years 1 months ago
Selecting Ghosts and Queues from a Car Trackers Output Using a Spatio-Temporal Query Language
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...
Christian Köhler
ICPR
2008
IEEE
15 years 5 months ago
Support Vector Data Description for image categorization from Internet images
Training a classifier for object category recognition using images on the Internet is an attractive approach due to its scalability. However, a big challenge in this approach is ...
Xiaodong Yu, Daniel DeMenthon, David S. Doermann