Sciweavers

4418 search results - page 125 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
TREC
2007
15 years 5 months ago
University of Twente at the TREC 2007 Enterprise Track: Modeling Relevance Propagation for the Expert Search Task
This paper describes several approaches which we used for the expert search task of the TREC 2007 Enterprise track. We studied several methods of relevance propagation from docume...
Pavel Serdyukov, Henning Rode, Djoerd Hiemstra
FTDCS
1997
IEEE
15 years 8 months ago
Toward globally optimal resource management in large-scale real-time distributed computer systems
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
K. H. Kim
EUROMICRO
1998
IEEE
15 years 8 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
16 years 4 months ago
From run-time behavior to usage scenarios: an interaction-pattern mining approach
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...
ICDAR
2009
IEEE
15 years 2 months ago
Italic or Roman: Word Style Recognition without A Priori Knowledge for Old Printed Documents
This paper presents an Italic/Roman word type recognition system without a priori knowledge on the characters' font. This method aims at analyzing old documents in which char...
Loris Eynard, Hubert Emptoz