Sciweavers

1776 search results - page 123 / 356
» Uncertain Linear Constraints
Sort
View
PLANX
2008
14 years 11 months ago
Linear Time Membership for a Class of XML Types with Interleaving and Counting
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
ICWS
2003
IEEE
14 years 11 months ago
Application of Linear Logic to Web Service Composition
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
Jinghai Rao, Peep Küngas, Mihhail Matskin
UAI
2001
14 years 11 months ago
Linearity Properties of Bayes Nets with Binary Variables
It is "well known" that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved ca...
David Danks, Clark Glymour
CORR
2007
Springer
138views Education» more  CORR 2007»
14 years 10 months ago
Capacity of Linear Two-hop Mesh Networks with Rate Splitting, Decode-and-forward Relaying and Cooperation
— A linear mesh network is considered in which a single user per cell communicates to a local base station via a dedicated relay (two-hop communication). Exploiting the possibly ...
Osvaldo Simeone, Oren Somekh, Yeheskel Bar-Ness, H...
TCBB
2008
122views more  TCBB 2008»
14 years 10 months ago
Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference
Reconstruction of phylogenetic trees is a fundamental problem in computational biology. While excellent heuristic methods are available for many variants of this problem, new adva...
Srinath Sridhar, Fumei Lam, Guy E. Blelloch, R. Ra...