5550 search results - page 47 / 1110 » Different Approaches to Proof Systems |
190
click to vote
JMLR
2010
15 years 26 days ago
2010
Actor-Critic based approaches were among the first to address reinforcement learning in a general setting. Recently, these algorithms have gained renewed interest due to their gen...
121
click to vote
CDC
2008
IEEE
16 years 16 days ago
2008
IEEE
— This paper considers discrete-time periodic linear systems and their Floquet transformations, by which the periodic systems can be equivalently transformed to time-invariant on...
172
click to vote
VLDB
2007
ACM
16 years 5 days ago
2007
ACM
There is a growing consensus that it is desirable to query over the structure implicit in unstructured documents, and that ideally this capability should be provided incrementally...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
172
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...