Sciweavers

1059 search results - page 162 / 212
» Discovering Sequence Similarity by the Algorithmic Significa...
Sort
View
ARTS
1997
Springer
15 years 5 months ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke
GECCO
2010
Springer
153views Optimization» more  GECCO 2010»
15 years 4 months ago
Multi-task evolutionary shaping without pre-specified representations
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
Matthijs Snel, Shimon Whiteson
ICCV
2009
IEEE
1821views Computer Vision» more  ICCV 2009»
16 years 6 months ago
Feature Correspondence and Deformable Object Matching via Agglomerative Correspondence Clustering
We present an efficient method for feature correspondence and object-based image matching, which exploits both photometric similarity and pairwise geometric consistency from local ...
Minsu Cho (Seoul National University), Jungmin Lee...
EMNLP
2008
15 years 2 months ago
Cheap and Fast - But is it Good? Evaluating Non-Expert Annotations for Natural Language Tasks
Human linguistic annotation is crucial for many natural language processing tasks but can be expensive and time-consuming. We explore the use of Amazon's Mechanical Turk syst...
Rion Snow, Brendan O'Connor, Daniel Jurafsky, Andr...
BMCBI
2006
155views more  BMCBI 2006»
15 years 1 months ago
Analysis of promoter regions of co-expressed genes identified by microarray analysis
Background: The use of global gene expression profiling to identify sets of genes with similar expression patterns is rapidly becoming a widespread approach for understanding biol...
Srinivas Veerla, Mattias Höglund