157 search results - page 23 / 32 » Incremental Compilation-to-SAT Procedures |
STEP
2003
IEEE
15 years 2 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
GRAPHITE
2003
ACM
15 years 2 months ago
2003
ACM
Freehand sketching is a natural and powerful means of interpersonal communication. But to date, it still cannot be supported effectively by human-computer interface. In this paper...
ICS
2003
Tsinghua U.
15 years 2 months ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
ICDM
2002
IEEE
15 years 2 months ago
2002
IEEE
The k-means algorithm with cosine similarity, also known as the spherical k-means algorithm, is a popular method for clustering document collections. However, spherical k-means ca...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...