Sciweavers

1452 search results - page 179 / 291
» Algorithmic Analysis of Array-Accessing Programs
Sort
View
106
Voted
BMCBI
2005
98views more  BMCBI 2005»
15 years 18 days ago
InterferenceAnalyzer: Tools for the analysis and simulation of multi-locus genetic data
Background: Good statistical models for analyzing and simulating multilocus recombination data exist but are not accessible to many biologists because their use requires reasonabl...
Lalitha Viswanath, Elizabeth A. Housworth
119
Voted
BMCBI
2010
108views more  BMCBI 2010»
15 years 8 days ago
iGTP: A software package for large-scale gene tree parsimony analysis
Background: The ever-increasing wealth of genomic sequence information provides an unprecedented opportunity for large-scale phylogenetic analysis. However, species phylogeny infe...
Ruchi Chaudhary, Mukul S. Bansal, André Weh...
125
Voted
ASIAN
2006
Springer
152views Algorithms» more  ASIAN 2006»
15 years 4 months ago
Inferring Disjunctive Postconditions
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
Corneliu Popeea, Wei-Ngan Chin
110
Voted
CGF
2010
117views more  CGF 2010»
15 years 24 days ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
110
Voted
CSE
2009
IEEE
15 years 7 months ago
First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
Elizabeth M. Bonsignore, Cody Dunne, Dana Rotman, ...