3001 search results - page 149 / 601 » Recursive type generativity |
146
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
182
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this article, we describe a new method of extracting information from signals, called functional dissipation, that proves to be very effective for enhancing classification of h...
169
click to vote
JCT
2007
15 years 6 months ago
2007
Abstract. Simple families of increasing trees can be constructed from simply generated tree families, if one considers for every tree of size n all its increasing labellings, i.e.,...
186
click to vote
MVA
2002
15 years 6 months ago
2002
Anew method to extract retinal blood vessels from a colour fundus image is described. Digital colour h d u s images are contrast enhanced in order to obtain sharp edges. The green...