Sciweavers

1828 search results - page 320 / 366
» First-Class Type Classes
Sort
View
JCNS
2000
86views more  JCNS 2000»
13 years 8 months ago
Computational Modeling of Orientation Tuning Dynamics in Monkey Primary Visual Cortex
In the primate visual pathway, orientation tuning of neurons is first observed in the primary visual cortex. The LGN cells that comprise the thalamic input to V1 are not orientati...
M. C. Pugh, Dario L. Ringach, Robert Shapley, M. J...
OOPSLA
2010
Springer
13 years 7 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
TCBB
2010
176views more  TCBB 2010»
13 years 6 months ago
Feature Selection for Gene Expression Using Model-Based Entropy
—Gene expression data usually contain a large number of genes, but a small number of samples. Feature selection for gene expression data aims at finding a set of genes that best...
Shenghuo Zhu, Dingding Wang, Kai Yu, Tao Li, Yihon...
DLOG
2010
13 years 6 months ago
TBox Classification in Parallel: Design and First Evaluation
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
AUTOMATICA
2010
111views more  AUTOMATICA 2010»
13 years 6 months ago
Connection between cooperative positive systems and integral input-to-state stability of large-scale systems
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...
Björn Rüffer, Christopher M. Kellett, St...