Sciweavers

4085 search results - page 668 / 817
» Data Services - From Data to Containers
Sort
View
138
Voted
BMCBI
2010
109views more  BMCBI 2010»
15 years 3 months ago
FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
Stephanie Zierke, Jason D. Bakos
127
Voted
CGF
2010
126views more  CGF 2010»
15 years 3 months ago
Contour-based Interface for Refining Volume Segmentation
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...
Takashi Ijiri, Hideo Yokota
125
Voted
ENTCS
2008
175views more  ENTCS 2008»
15 years 3 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
132
Voted
IANDC
2008
128views more  IANDC 2008»
15 years 3 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
136
Voted
CAGD
2006
72views more  CAGD 2006»
15 years 3 months ago
Discrete one-forms on meshes and applications to 3D mesh parameterization
We describe how some simple properties of discrete one-forms directly relate to some old and new results concerning the parameterization of 3D mesh data. Our first result is an ea...
Steven J. Gortler, Craig Gotsman, Dylan Thurston