5639 search results - page 968 / 1128 » Timed Abstract Non-interference |
133
click to vote
PPSN
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. There is a variety of methods for ranking objectives in multiobjective optimization and some are difficult to define because they require information a priori (e.g. esta...
119
click to vote
PPSN
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
130
click to vote
PVM
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
133
click to vote
RE
2010
Springer
15 years 9 days ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
142
click to vote
RECOMB
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In a horizontal gene transfer (HGT) event a gene is transferred between two species that do not share an ancestor-descendant relationship. Typically, no more than a few g...