499 search results - page 80 / 100 » Constructive Induction by Analogy |
147
click to vote
BIRTHDAY
2009
Springer
16 years 26 days ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
150
click to vote
DNA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
163
click to vote
ICASSP
2008
IEEE
16 years 16 days ago
2008
IEEE
The emerging theory of compressed sensing (CS) provides a universal signal detection approach for sparse signals at sub-Nyquist sampling rates. A small number of random projection...
162
click to vote
ICRA
2008
IEEE
16 years 15 days ago
2008
IEEE
—The properties of dissipative haptic displays allow larger workspaces that permit a whole body interaction useful for sports, rehabilitation, and large-scale object design appli...
181
click to vote
FOCS
2007
IEEE
16 years 12 days ago
2007
IEEE
We describe a deterministic, polynomial time algorithm for finding edge-disjoint paths connecting given pairs of vertices in an expander. Specifically, the input of the algorith...