3113 search results - page 200 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
222
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
On the Internet, the limited query-processing capabilities of sources make answering even the simplest queries challenging. In this paper, we present a scheme called GenCompact fo...
145
click to vote
MTV
2005
IEEE
15 years 10 months ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
135
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
159
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
133
click to vote
ACL
2010
15 years 2 months ago
2010
We propose a corpus-based probabilistic framework to extract hidden common syntax across languages from non-parallel multilingual corpora in an unsupervised fashion. For this purp...