Sciweavers

381 search results - page 25 / 77
» Overview of WebCLEF 2006
Sort
View
SAC
2006
ACM
14 years 1 months ago
Investigating the use of summarisation for interactive XML retrieval
As the number of components in XML documents is much larger than that of ‘flat’ documents, we believe it is essential to provide users of XML information retrieval systems wi...
Zoltán Szlávik, Anastasios Tombros, ...
CONCUR
2006
Springer
13 years 11 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
Roberto Segala
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker
APCCM
2006
13 years 9 months ago
ServiceMosaic project: modeling, analysis and management of web services interactions
This paper provides an overview of ServiceMosaic, which is a platform for model-driven analysis and management of service interactions. In particular, in this paper, we focus on b...
Boualem Benatallah, Hamid R. Motahari Nezhad
CSC
2006
13 years 9 months ago
Analysis of the Computer-Mathematics Research System ELIMINO
This paper presents an analysis of ELIMINO, a computer-mathematics research system that has been developed at the Chinese Academy of Sciences. Also presented are ideas to improve ...
Iyad A. Ajwa