4418 search results - page 129 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
172
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
151
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
123
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
We introduce a novel approach to combining rankings from multiple retrieval systems. We use a logistic regression model or an SVM to learn a ranking from pairwise document prefere...
139
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
142
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a system to locate, extract and recognize Telugu text. The circular nature of Telugu script is exploited for segmenting text regions using the Hough Trans...