1675 search results - page 231 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
126
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
132
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
151
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
We present an approach for learning models that obtain accurate classification of large scale data objects, collected in spatiotemporal domains. The model generation is structured ...
172
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we describe a new approach for the well known problem in bioinformatics: Multiple Sequence Alignment (MSA). MSA is fundamental task as it represents an essential pla...
183
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...