13306 search results - page 2259 / 2662 » Theoretical Computer Science |
188
click to vote
NIPS
2000
15 years 8 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
168
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
196
click to vote
LFP
1992
15 years 8 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
207
click to vote
C3S2E
2010
ACM
15 years 8 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
202
Voted
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
Interference is a critical issue in wireless communications. In a typical multiple-user environment, different users may severely interfere with each other. Coordination among use...