3816 search results - page 509 / 764 » Characteristic relational patterns |
147
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present the results of parallelizing two life sciences applications, Markov random fieldsbased (MRF) liver segmentation and HMMER’s Viterbi algorithm, using GP...
166
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
This paper evaluates to which extent Google retrieved correct answers as responses to queries inferred from factual and topical requests in a digital Ask-a-Librarian service. 100 f...
153
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Replication is widely used to improve fault tolerance in distributed and multi-agent systems. In this paper, we present a different point of view on replication in multi-agent syst...
185
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
142
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Maritime assets such as merchant and navy ships, ports, and harbors, are targets of terrorist attacks as evidenced by the USS Cole bombing. Conventional methods of securing maritim...