2748 search results - page 297 / 550 » Generating Object-Z Specifications from Use Cases |
168
click to vote
PROMISE
2010
14 years 11 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
146
click to vote
JIIS
2000
15 years 3 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
121
click to vote
AAAI
2010
15 years 2 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
131
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The pan-genome of a bacterial species consists of a core and an accessory gene pool. The accessory genome is thought to be an important source of genetic variability i...
124
click to vote
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
The performance of an ontology alignment technique largely depends on the amount of information that can be leveraged for the alignment task. On the Semantic Web, end-users may ex...