Sciweavers

433 search results - page 14 / 87
» Building an Interpreter with Vmgen
Sort
View
KI
2007
Springer
15 years 6 months ago
Division of Work During Behaviour Recognition - The SCENIC Approach
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
Kasim Terzic, Lothar Hotz, Bernd Neumann
CLEF
2005
Springer
15 years 5 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
CSL
2005
Springer
15 years 5 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
CD
2004
Springer
15 years 5 months ago
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meute...
82
Voted
DKE
1999
87views more  DKE 1999»
14 years 11 months ago
Logical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
Frédéric Cuppens, Alban Gabillon