10899 search results - page 419 / 2180 » Wide Area Computation |
188
Voted
CCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
198
Voted
TSD
2009
Springer
16 years 2 months ago
2009
Springer
— This article is focused on the problem of meaning recognition in spoken utterances. The goal is to find a computer algorithm capable to construct the meaning description of a ...
807
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...
206
Voted
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
Deformable contours are now widely used in image segmentation, using different models, criteria and numeric schemes. Some theoretical comparisons between few deformable model met...
198
Voted
ICML
1995
IEEE
16 years 8 months ago
1995
IEEE
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...