2748 search results - page 408 / 550 » Generating Object-Z Specifications from Use Cases |
126
Voted
KDD
2004
ACM
15 years 9 months ago
2004
ACM
Part numbers are widely used within an enterprise throughout the manufacturing process. The point of entry of such part numbers into this process is normally via a Bill of Materia...
154
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Identification of gene and protein names in biomedical text is a challenging task as the corresponding nomenclature has evolved over time. This has led to multiple syn...
145
Voted
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
106
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present a framework for online discovery of semantic links from relational data. Our framework is based on declarative specification of the linkage requirements ...
146
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...