2623 search results - page 172 / 525 » Universal Learning Theory |
106
Voted
LATA
2009
Springer
15 years 11 months ago
2009
Springer
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
157
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
126
click to vote
CADE
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
134
Voted
BIOSYSTEMS
2007
15 years 4 months ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
123
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We study the properties of affine rigidity of a (hyper)graph and prove a variety of fundamental results. First, we show that affine rigidity is a generic property (i.e., only depen...