Sciweavers

190 search results - page 17 / 38
» Isomorph-Free Exhaustive Generation
Sort
View
ICCV
2011
IEEE
14 years 3 months ago
Segmentation as Selective Search for Object Recognition
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/ For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
K van de Sande, J Uijlings, T Gevers, A Smeulders
ICST
2009
IEEE
15 years 8 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
IWANN
2009
Springer
15 years 8 months ago
ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA
Abstract. ZARAMIT is an information system capable of fully automated phylogeny reconstruction. Methods have been tailored to mitochondrial DNA sequences, with focus on subproblem ...
Roberto Blanco, Elvira Mayordomo
128
Voted
ACL
1998
15 years 3 months ago
Machine Translation with a Stochastic Grammatical Channel
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
Dekai Wu, Hongsing Wong
AAAI
1996
15 years 3 months ago
Improved Limited Discrepancy Search
We present an improvement to Harvey and Ginsberg's limited discrepancy search algorithm, which eliminates much of the redundancy in the original, by generating each path from...
Richard E. Korf