Sciweavers

1523 search results - page 83 / 305
» Partially ordered secretaries
Sort
View
BIBE
2010
IEEE
143views Bioinformatics» more  BIBE 2010»
15 years 1 months ago
The Effect of Sequence Error and Partial Training Data on BLAST Accuracy
- Metagenomics is the study of environmental samples. Because few tools exist for metagenomic analysis, a natural step has been to utilize the popular homology tool, BLAST, to sear...
Steven D. Essinger, Gail L. Rosen
PODS
2004
ACM
158views Database» more  PODS 2004»
16 years 24 days ago
Composing Schema Mappings: Second-Order Dependencies to the Rescue
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
117
Voted
PLANX
2007
15 years 2 months ago
XML Transformation Language Based on Monadic Second Order Logic
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
Kazuhiro Inaba, Haruo Hosoya
SIAMSC
2010
142views more  SIAMSC 2010»
14 years 11 months ago
Nested Iteration and First-Order System Least Squares for Incompressible, Resistive Magnetohydrodynamics
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
ICTAC
2009
Springer
14 years 10 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu