8540 search results - page 1627 / 1708 » The Dynamic Servers Problem |
92
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
128
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...
111
Voted
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Discovery of sequential patterns is an essential data mining task with broad applications. Among several variations of sequential patterns, closed sequential pattern is the most u...
99
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Dimension reduction is a critical data preprocessing step for many database and data mining applications, such as efficient storage and retrieval of high-dimensional data. In the ...
90
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
In-vehicle navigation has changed substantially in recent years, due to the advent of computer generated maps and directions. However, these maps are still problematic, due to a m...