1321 search results - page 15 / 265 » Subtyping in Logical Form |
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...
101
click to vote
ENTCS
2002
14 years 9 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
CADE
1992
Springer
15 years 1 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
AAAI
2006
14 years 11 months ago
2006
Several forms of reasoning in AI
167
click to vote
WILF
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a novel method aimed to free form deformation
function approximation for purpose of image registration. The
method is currently feature-based. The algorithm i...