4418 search results - page 540 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
214
click to vote
AMT
2010
Springer
15 years 7 months ago
2010
Springer
One of the fundamental challenges in designing an image retrieval system is choosing a method by which the images that match a given query are presented to the searcher. Traditiona...
176
click to vote
DSOM
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
197
click to vote
SIGIR
2004
ACM
16 years 5 days ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
236
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
228
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...