1368 search results - page 90 / 274 » Recursive modules for programming |
135
click to vote
IJAR
2007
15 years 2 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
124
click to vote
ISAAC
2010
Springer
15 years 1 days ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
146
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
101
click to vote
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...