1045 search results - page 117 / 209 » Process Improvement - The Way Forward |
187
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
152
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Case-based reasoning systems solve new problems by retrieving and adapting the solutions to similar previously solved problems. The success and performance of any case-based reason...
198
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
177
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
167
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...