Sciweavers

18429 search results - page 361 / 3686
» Typing dynamic typing
Sort
View
118
Voted
BC
2008
55views more  BC 2008»
15 years 6 months ago
Minimal Hodgkin-Huxley type models for different classes of cortical and thalamic neurons
Martin Pospischil, Maria Toledo-Rodriguez, Cyril M...
BMCBI
2008
149views more  BMCBI 2008»
15 years 6 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
Olivier Bastien, Eric Maréchal
COGSCI
2010
114views more  COGSCI 2010»
15 years 6 months ago
Strudel: A Corpus-Based Semantic Model Based on Properties and Types
Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meani...
Marco Baroni, Brian Murphy, Eduard Barbu, Massimo ...
CORR
2010
Springer
74views Education» more  CORR 2010»
15 years 6 months ago
Formats of Winning Strategies for Six Types of Pushdown Games
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.
Wladimir Fridman
CORR
2010
Springer
43views Education» more  CORR 2010»
15 years 6 months ago
Explicit Substitutions for Contextual Type Theory
Andreas Abel, Brigitte Pientka