2149 search results - page 326 / 430 » Form over Substance |
192
click to vote
IJCAI
1997
15 years 7 months ago
1997
We study the problemof statisticallycorrect inference in networks whose basic representations are population codes. Population codes are ubiquitous in the brain, and involve the s...
171
click to vote
COLING
1992
15 years 6 months ago
1992
This paper presents a morphological lexicon for English that handle more than 317000 inflected forms derived from over 90000 stems. The lexicon is available in two formats. The fi...
164
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
159
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
167
click to vote
DEBS
2009
ACM
15 years 6 months ago
2009
ACM
Recently, decentralized publish-subscribe (pub-sub) systems have gained popularity as a scalable asynchronous messaging paradigm over wide-area networks. Most existing pub-sub sys...