44651 search results - page 140 / 8931 » Generalized |
125
click to vote
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Nominal Isabelle is a deļ¬nitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
109
click to vote
AAAI
2011
14 years 2 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
137
click to vote
EMNLP
2011
14 years 2 months ago
2011
We consider the problem of learning factored probabilistic CCG grammars for semantic parsing from data containing sentences paired with logical-form meaning representations. Tradi...
241
click to vote
HAIS
2012
Springer
13 years 10 months ago
2012
Springer
In this paper we propose a method using a generalization of the weighted majority voting scheme to locate the optic disc (OD) in retinal images automatically. The location with the...
129
click to vote
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...