7489 search results - page 1435 / 1498 » Challenges for biologically-inspired computing |
100
click to vote
MICCAI
1998
Springer
15 years 2 months ago
1998
Springer
The cortex is the outermost thin layer of gray matter in the brain; geometric measurement of the cortex helps in understanding brain anatomy and function. In the quantitative analy...
VLDB
1998
ACM
15 years 2 months ago
1998
ACM
Oracle Parallel Server (OPS) is a shared disk RDBMS. We present a high level overview of the main architectural issues of OPS and their evolution throughout the releases of the Or...
103
click to vote
WETICE
1997
IEEE
15 years 2 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ECML
1993
Springer
15 years 1 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...