Sciweavers

445 search results - page 13 / 89
» Ordering Phrases with Function Words
Sort
View
80
Voted
APPROX
2007
Springer
153views Algorithms» more  APPROX 2007»
15 years 3 months ago
Distribution-Free Testing Lower Bounds for Basic Boolean Functions
: In the distribution-free property testing model, the distance between functions is measured with respect to an arbitrary and unknown probability distribution D over the input dom...
Dana Glasner, Rocco A. Servedio
NN
2007
Springer
15 years 3 months ago
Impact of Higher-Order Correlations on Coincidence Distributions of Massively Parallel Data
The signature of neuronal assemblies is the higher-order correlation structure of the spiking activity of the participating neurons. Due to the rapid progress in recording technol...
Sonja Grün, Moshe Abeles, Markus Diesmann
68
Voted
ENTCS
2006
176views more  ENTCS 2006»
14 years 9 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...
CICLING
2007
Springer
15 years 1 months ago
The Usefulness of Conceptual Representation for the Identification of Semantic Variability Expressions
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
Zornitsa Kozareva, Sonia Vázquez, Andr&eacu...
ACL
1998
14 years 11 months ago
The Berkeley FrameNet Project
FrameNet is a three-year NSF-supported project in corpus-based computational lexicography, now in its second year NSF IRI-9618838, Tools for Lexicon Building". The project�...
Collin F. Baker, Charles J. Fillmore, John B. Lowe