Sciweavers

1033 search results - page 96 / 207
» Using Temporal Language Models for Document Dating
Sort
View
125
Voted
CAISE
2008
Springer
15 years 4 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
180
Voted
DANCE
2002
IEEE
15 years 7 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...
129
Voted
CLEF
2007
Springer
15 years 8 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-...
127
Voted
JISBD
2003
15 years 4 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
15 years 4 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