1547 search results - page 31 / 310 » The Isabelle Collections Framework |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photographs from a large collection of geo-referenced photos. The summary algorithm is based on spatial patter...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
ICPP
1998
IEEE
13 years 12 months ago
1998
IEEE
Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and due...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
KDD
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...