308 search results - page 28 / 62 » Making Abstract Domains Condensing |
CLA
2007
14 years 11 months ago
2007
Abstract. In this paper, we present and detail a multifunctional itemset mining algorithm called Zart, which is based on the Pascal algorithm. Zart shows a number of additional fea...
SE
2010
14 years 11 months ago
2010
Abstract: Recommender systems have become increasingly popular. Most of the research on recommender systems has focused on recommendation algorithms. There has been relatively litt...
100
click to vote
AAAI
1998
14 years 11 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
PPSC
1997
14 years 11 months ago
1997
Abstract. Standard benchmark suites are a popular way to measure and compare computers performance. The Honeywell Technology Center has developed two benchmarking suites for parall...
112
click to vote
IGPL
2006
14 years 10 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...