332 search results - page 12 / 67 » Automatic Structures: Richness and Limitations |
224
Voted
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
115
click to vote
NAR
1998
14 years 11 months ago
1998
The FSSP database and its new supplement, the Dali Domain Dictionary, present a continuously updated classification of all known 3D protein structures. The classification is deriv...
BMCBI
2005
14 years 11 months ago
2005
Background: Phages, viruses that infect prokaryotes, are the most abundant microbes in the world. A major limitation to studying these viruses is the difficulty of cultivating the...
COGSCI
2010
14 years 11 months ago
2010
The contributions to this special issue on cognitive development collectively propose ways in which learning involves developing constraints that shape subsequent learning. A lear...
97
Voted
ICCD
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...