3228 search results - page 195 / 646 » Basics of Compiler Design |
167
Voted
WOLLIC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
142
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
The World Health Organization is beginning to use Semantic Web technologies in the development of the 11th revision of the International Classification of Diseases (ICD-11). Health...
156
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propo...
152
click to vote
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE
—The paper presents a silicon neuron circuit that mimics the behaviour of known classes of biological neurons. The circuit has been designed in a 0.35µm CMOS technology. The fir...
101
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...