Sciweavers

3384 search results - page 85 / 677
» More Testable Properties
Sort
View
NIPS
2007
13 years 10 months ago
Neural characterization in partially observed populations of spiking neurons
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
Jonathan Pillow, Peter E. Latham
SIGCOMM
2006
ACM
14 years 2 months ago
Systematic topology analysis and generation using degree correlations
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
Priya Mahadevan, Dmitri V. Krioukov, Kevin R. Fall...
ISQED
2008
IEEE
117views Hardware» more  ISQED 2008»
14 years 3 months ago
A Basis for Formal Robustness Checking
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...
Görschwin Fey, Rolf Drechsler
GECCO
2003
Springer
129views Optimization» more  GECCO 2003»
14 years 2 months ago
Tournament Selection: Stable Fitness Pressure in XCS
Abstract. Although it is known from GA literature that proportionate selection is subject to many pitfalls, the LCS community somewhat adhered to proportionate selection. Also in t...
Martin Butz, Kumara Sastry, David E. Goldberg
ACL
2007
13 years 10 months ago
Generating Constituent Order in German Clauses
We investigate the factors which determine constituent order in German clauses and propose an algorithm which performs the task in two steps: First, the best candidate for the ini...
Katja Filippova, Michael Strube