Sciweavers

824 search results - page 95 / 165
» Constructing Functional Programs for Grammar Analysis Proble...
Sort
View
BMCBI
2005
147views more  BMCBI 2005»
15 years 2 months ago
GATA: a graphic alignment tool for comparative sequence analysis
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...
David A. Nix, Michael B. Eisen
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 3 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
JCP
2008
139views more  JCP 2008»
15 years 3 months ago
Research on Risk Evaluation in Supply Chain Based on Grey Relational Method
Supply chain risk evaluation is a multi-criteria decision making problem under fuzzy environments. To tackle the problem, this paper firstly identifies and discusses some of the im...
Peide Liu, Tongjuan Wang
PLDI
2010
ACM
15 years 8 months ago
Smooth interpretation
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
Swarat Chaudhuri, Armando Solar-Lezama
NIPS
2007
15 years 4 months ago
An Analysis of Convex Relaxations for MAP Estimation
The problem of obtaining the maximum a posteriori estimate of a general discrete random field (i.e. a random field defined using a finite and discrete set of labels) is known ...
Pawan Mudigonda, Vladimir Kolmogorov, Philip H. S....