578 search results - page 74 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
129
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
156
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
160
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
128
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
148
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....