Sciweavers

1126 search results - page 214 / 226
» Strong Feature Sets from Small Samples
Sort
View
POPL
2010
ACM
14 years 5 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
SAC
2009
ACM
14 years 2 months ago
Static type inference for Ruby
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
Michael Furr, Jong-hoon (David) An, Jeffrey S. Fos...
IWANN
2009
Springer
14 years 2 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
PR
2008
144views more  PR 2008»
13 years 7 months ago
Gesture spotting for low-resolution sports video annotation
Human gesture recognition plays an important role in automating the analysis of video material at a high level. Especially in sports videos, the determination of the player's...
Myung-Cheol Roh, William J. Christmas, Josef Kittl...
BMCBI
2011
12 years 11 months ago
SeqGene: a comprehensive software solution for mining exome- and transcriptome- sequencing data
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
Xutao Deng