Sciweavers

920 search results - page 145 / 184
» The TSIMMIS Approach to Mediation: Data Models and Languages
Sort
View
PRIB
2009
Springer
187views Bioinformatics» more  PRIB 2009»
15 years 2 months ago
Semi-supervised Prediction of Protein Interaction Sentences Exploiting Semantically Encoded Metrics
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
Tamara Polajnar, Mark A. Girolami
ESIAT
2009
IEEE
14 years 7 months ago
Research and Realization of Geospatial Information Service Orchestration Based on BPEL
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
Xiaoliang Meng, Fuling Bian, Yichun Xie
ESCIENCE
2006
IEEE
15 years 3 months ago
A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings,...
ICALP
2009
Springer
15 years 10 months ago
Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams
Estimating frequency moments and Lp distances are well studied problems in the adversarial data stream model and tight space bounds are known for these two problems. There has been...
Sudipto Guha, Zhiyi Huang
FOSSACS
2009
Springer
15 years 4 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...