399 search results - page 28 / 80 » Combining the Animation and Testing of Abstract Data Types |
CORR
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
DAWAK
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
ICDM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Randomization is a general technique for evaluating the significance of data analysis results. In randomizationbased significance testing, a result is considered to be in...