Sciweavers

1033 search results - page 96 / 207
» Using Temporal Language Models for Document Dating
Sort
View
CAISE
2008
Springer
14 years 12 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
DANCE
2002
IEEE
15 years 2 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
CLEF
2007
Springer
15 years 4 months ago
Multiplying Concept Sources for Graph Modeling
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...
Loïc Maisonnasse, Éric Gaussier, Jean-...
JISBD
2003
14 years 11 months ago
Coupling the ontology layer with the resource layer: a rule-based approach
Abstract. Ontology languages are being proposed to provide machine-understandable descriptions of resources that permit easy location of these resource. Content managers can also b...
Jon Iturrioz, Oscar Díaz, Sergio Fern&aacut...
ECIR
2007
Springer
14 years 11 months ago
Entropy-Based Authorship Search in Large Document Collections
The purpose of authorship search is to identify documents written by a particular author or in a particular style in large document collections. Standard search engines match docum...
Ying Zhao, Justin Zobel