3819 search results - page 246 / 764 » Simple Easy Terms |
208
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
218
click to vote
LFCS
1992
Springer
15 years 11 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
167
click to vote
SG
2010
Springer
15 years 11 months ago
2010
Springer
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...
213
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
179
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Over recent years, the need to introduce rapidly new telecommunications services has led to the development of the Intelligent Network (IN). These services and the increasingly com...