1742 search results - page 108 / 349 » An Applicative Module Calculus |
PADL
2004
Springer
14 years 4 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
GECCO
2003
Springer
14 years 4 months ago
2003
Springer
The Linear Ordering Problem(LOP), which is a well-known NP-hard problem, has numerous applications in various fields. Using this problem as an example, we illustrate a general pro...
ICIAP
2001
Springer
14 years 3 months ago
2001
Springer
We address the application of computer vision to semiimmersive teleconferencing, and present a prototype vision system synthesising a physically plausible video of a speaker to be...
CRV
2009
IEEE
14 years 2 months ago
2009
IEEE
The interpretation of aerial images is difficult, especially for low-resolution images. Although solutions have been worked on for many years, performance of these systems is sti...
AAAI
2008
14 years 1 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...