2748 search results - page 201 / 550 » Generating Object-Z Specifications from Use Cases |
IJCAI
1997
15 years 2 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
152
click to vote
Publication
Identifying the percentage of the population being served by a transit system in a metropolitan region is a key performance measure. This performance measure depends mainly on the ...
JUCS
2002
15 years 12 days ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
114
Voted
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
Combining classifier methods have shown their effectiveness in a number of applications. Nonetheless, using simultaneously multiple classifiers may result in some cases in a reduc...
118
click to vote
TSE
2010
14 years 7 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...