Sciweavers

535 search results - page 16 / 107
» Formalization of Legislative Documents Based on a Functional...
Sort
View
92
Voted
ECIR
2009
Springer
15 years 9 months ago
Risk-Aware Information Retrieval
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
Jianhan Zhu, Jun Wang, Michael J. Taylor, Ingemar ...
117
Voted
TAGT
1998
Springer
156views Graph Theory» more  TAGT 1998»
15 years 4 months ago
Graph-Based Models for Managing Development Processes, Resources, and Products
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
Carl-Arndt Krapp, Sven Krüppel, Ansgar Schlei...
96
Voted
ICDAR
2011
IEEE
14 years 2 days ago
Script-Free Text Line Segmentation Using Interline Space Model for Printed Document Images
—This paper proposes a model-based text line segmentation algorithm for machine-printed document images. The model is based on geometric configuration which uses the interline sp...
Minwoo Kim, Il-Seok Oh
99
Voted
MTA
2000
112views more  MTA 2000»
15 years 7 days ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...
125
Voted
DSRT
2008
IEEE
15 years 2 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...