2658 search results - page 213 / 532 » Autonomic Computing: An Overview |
157
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
208
click to vote
Publication
This paper presents a study conducted for evaluating different
interpolation schemes, similarity metrics and optimization
algorithms for the purpose of volumetric medical
image ...
146
click to vote
AGI
2008
15 years 8 months ago
2008
We provide an overview of Vector Symbolic Architectures (VSA), a class of structured associative memory models that offers a number of desirable features for artificial general int...
143
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
This paper presents a way in which a lexicalised HPSG grammar can handle word order constraints in a computational parsing system, without invoking an additional layer of represen...
198
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...