4418 search results - page 121 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
151
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
127
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
This paper is about the reproduction of ancient texts with vectorised fonts. While for OCR only recognition rates count, a reproduction process does not necessarily require the re...
109
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes a simple clustering approach to person name disambiguation of retrieved documents. The methods are based on standard IR concepts and do not require any task-s...
129
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we present a procedure for removing ruling lines from a handwritten document image that does not break existing characters. We take advantage of common ruling line p...
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...