4965 search results - page 2 / 993 » A Simple Abstraction for Data Modeling |
WADT
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Grouping and Abstraction Using Simple Part Models Pablo Sala and Sven Dickinson Department of Computer Science, University of Toronto, Toronto ON, Canada We address the problem of ...
MODELLIERUNG
2008
14 years 8 days ago
2008
INEX
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
ISAAC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...