Sciweavers

8486 search results - page 431 / 1698
» Ordered Enumeration Method
Sort
View
ADC
2009
Springer
133views Database» more  ADC 2009»
16 years 2 months ago
Information Retrieval in Structured Domains
In this work, we investigate utilizing the structure of a website to increase the effectiveness of document retrieval within a structured domain. In particular we examine various ...
Vincent W. L. Tam, John Shepherd
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
16 years 1 months ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
ACSD
2006
IEEE
118views Hardware» more  ACSD 2006»
16 years 1 months ago
Strategies for Optimised STG Decomposition
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...
Mark Schäfer, Walter Vogler, Ralf Wollowski, ...
ISMIR
2004
Springer
78views Music» more  ISMIR 2004»
16 years 1 months ago
Extracting the perceptual tempo from music
The study presented here outlines a procedure for measuring and quantitatively representing the perceptual tempo of a musical excerpt. We also present a method for applying such m...
Martin McKinney, Dirk Moelants
SSIAI
2002
IEEE
16 years 19 days ago
Automatic Referencing of Multi-Spectral Images
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
Roberto Araiza, Hongjie Xie, Scott A. Starks, Vlad...