Sciweavers

1815 search results - page 196 / 363
» Cloud Computing: An Overview
Sort
View
AGI
2008
14 years 11 months ago
Vector Symbolic Architectures: A New Building Material for Artificial General Intelligence
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...
Simon D. Levy, Ross Gayler
EACL
2006
ACL Anthology
14 years 11 months ago
Lexicalising Word Order Constraints for Implemented Linearisation Grammar
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...
Yo Sato
DAGSTUHL
2001
14 years 11 months ago
Extended Static Checking: A Ten-Year Perspective
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...
K. Rustan M. Leino
PDCN
2004
14 years 11 months ago
Grid knowledge discovery processes and an architecture for their composition
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
Guenter Kickinger, Jürgen Hofer, Peter Brezan...
81
Voted
BMCBI
2007
129views more  BMCBI 2007»
14 years 10 months ago
Inferring cellular networks - a review
In this review we give an overview of computational and statistical methods to reconstruct cellular networks. Although this area of research is vast and fast developing, we show t...
Florian Markowetz, Rainer Spang