Search For:

Displaying 1-3 out of 3 total
Alloy Meets the Algebra of Programming: A Case Study
Found in: IEEE Transactions on Software Engineering
By José N. Oliveira,Miguel A. Ferreira
Issue Date:March 2013
pp. 305-326
Relational algebra offers to software engineering the same degree of conciseness and calculational power as linear algebra in other engineering disciplines. Binary relations play the role of matrices with similar emphasis on multiplication and transpositio...
A Directional Texture Descriptor via 2D Walking Ant Histogram
Found in: Image Analysis for Multimedia Interactive Services, International Workshop on
By Serkan Kiranyaz, Miguel Ferreira, Moncef Gabbouj
Issue Date:June 2007
pp. 9
A novel texture descriptor, which can be extracted from the major object edges automatically and used for the content-based retrieval in multimedia databases, is presented. The proposed method is adopted from the 2D Walking Ant Histogram, which is in fact ...
Integrating compression and execution in column-oriented database systems
Found in: Proceedings of the 2006 ACM SIGMOD international conference on Management of data (SIGMOD '06)
By Daniel Abadi, Miguel Ferreira, Samuel Madden
Issue Date:June 2006
pp. 671-682
Column-oriented database system architectures invite a re-evaluation of how and when data in databases is compressed. Storing data in a column-oriented fashion greatly increases the similarity of adjacent records on disk and thus opportunities for compress...