4418 search results - page 125 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
140
click to vote
TREC
2007
15 years 5 months ago
2007
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...
150
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
129
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
166
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
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...
134
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
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...