4418 search results - page 146 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
159
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
158
click to vote
RIAO
2007
15 years 6 months ago
2007
In this paper, we have considered a real world information synthesis task, generation of a fixed length multi document summary which satisfies a specific information need. This...
116
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
125
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Currently an abundance of historical manuscripts, journals, and scientific notes remain largely unaccessible in library archives. Manual transcription and publication of such docu...
168
click to vote
ACL
2011
14 years 8 months ago
2011
We present a first known result of high precision rare word bilingual extraction from comparable corpora, using aligned comparable documents and supervised classification. We in...