Sciweavers

7918 search results - page 1318 / 1584
» Model Composition Directives
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 10 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CCS
2007
ACM
15 years 10 months ago
Denial of service or denial of security?
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
Nikita Borisov, George Danezis, Prateek Mittal, Pa...
CICLING
2007
Springer
15 years 10 months ago
Adapting the JIRS Passage Retrieval System to the Arabic Language
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
Yassine Benajiba, Paolo Rosso, José Manuel ...
140
Voted
CIKM
2007
Springer
15 years 10 months ago
SLOQUE: slot-based query expansion for complex questions
Searching answers to complex questions is a challenging IR task. In this paper, we examine the use of query templates with semantic slots to formulate slot-based queries. These qu...
Maggy Anastasia Suryanto, Ee-Peng Lim, Aixin Sun, ...
CLEF
2007
Springer
15 years 10 months ago
Cross-Language and Cross-Media Image Retrieval: An Empirical Study at ImageCLEF2007
This paper summarizes our empirical study of cross-language and cross-media image retrieval at the CLEF image retrieval track (ImageCLEF2007). In this year, we participated in the ...
Steven C. H. Hoi
« Prev « First page 1318 / 1584 Last » Next »