Sciweavers

2391 search results - page 154 / 479
» From Nature to Methods and Back to Nature
Sort
View
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
14 years 7 months ago
Interleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
Richard Bubel, Reiner Hähnle, Ran Ji
BMCBI
2007
163views more  BMCBI 2007»
14 years 10 months ago
Strainer: software for analysis of population variation in community genomic datasets
Background: Metagenomic analyses of microbial communities that are comprehensive enough to provide multiple samples of most loci in the genomes of the dominant organism types will...
John M. Eppley, Gene W. Tyson, Wayne M. Getz, Jill...
EMNLP
2010
14 years 8 months ago
Automatic Detection and Classification of Social Events
In this paper we introduce the new task of social event extraction from text. We distinguish two broad types of social events depending on whether only one or both parties are awa...
Apoorv Agarwal, Owen Rambow
PRL
2007
101views more  PRL 2007»
14 years 9 months ago
Accuracy versus speed in context-based object detection
The visual detection and recognition of objects is facilitated by context. This paper studies two types of learning methods for realizing context-based object detection in paintin...
Niek Bergboer, Eric O. Postma, H. Jaap van den Her...
ECCV
1998
Springer
15 years 12 months ago
Motion Recovery from Image Sequences: Discrete Viewpoint vs. Differential Viewpoint
Abstract. The aim of this paper is to explore intrinsic geometric methods of recovering the three dimensional motion of a moving camera from a sequence of images. Generic similarit...
Yi Ma, Jana Kosecka, Shankar Sastry