1221 search results - page 84 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
116
click to vote
LREC
2008
15 years 4 months ago
2008
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
106
click to vote
PODS
1989
ACM
15 years 7 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
124
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Selecting the highest quality 3D model of a protein structure from a number of alternatives remains an important challenge in the field of structural bioinformatics. M...
111
click to vote
FGCS
2008
15 years 3 months ago
2008
A long-term trend in high-performance computing is the increasing number of nodes in parallel computing platforms, which entails a higher failure probability. Fault tolerant progr...
127
click to vote
IOR
2006
15 years 3 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...