3738 search results - page 339 / 748 » Parametrized Logic Programming |
117
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
141
click to vote
FMOODS
2008
15 years 5 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
158
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
130
Voted
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
152
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...