10669 search results - page 1967 / 2134 » Software - Implemented Self-healing System |
167
click to vote
CC
2005
Springer
16 years 12 hour ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
174
click to vote
CLEF
2005
Springer
16 years 10 hour ago
2005
Springer
This year we participated at 4 Question Answering tasks at CLEF: the Italian monolingual (I), Italian-English (I/E), Bulgarian monolingual (B), and Bulgarian-English (B/E) bilingu...
174
click to vote
CLEF
2005
Springer
16 years 10 hour ago
2005
Springer
We describe WebCLEF, the multilingual web track, that was introduced at CLEF 2005. We provide details of the tasks, the topics, and the results of WebCLEF participants. The mixed ...
157
click to vote
CLEF
2005
Springer
16 years 10 hour ago
2005
Springer
EuroGOV is a multilingual web corpus that was created to serve as the document collection for WebCLEF, the CLEF 2005 web retrieval task. EuroGOV is a collection of web pages crawl...
168
click to vote
FOSSACS
2005
Springer
16 years 1 hour ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...