326 search results - page 14 / 66 » Closing the Gap |
PAKM
1998
14 years 11 months ago
1998
This paper describes how AIAI has used the ideas and techniques behind Technology Road Maps in order to provide a framework for developing Knowledge Asset Road Maps to support kno...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The k-means method is a widely used clustering algorithm. One of its distinguished features is its speed in practice. Its worst-case running-time, however, is exponential, leaving...
ENTCS
2010
14 years 5 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
SAT
2009
Springer
15 years 4 months ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
EWSA
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...