Sciweavers

860 search results - page 22 / 172
» Podcasting made simple
Sort
View
ISMIR
2001
Springer
92views Music» more  ISMIR 2001»
14 years 3 months ago
A Technique for Regular Expression Style Searching in Polyphonic Music
This paper discussed some of the ongoing investigative work on integrating these two systems conducted as part of the NSF/JISC funded OMRAS (Online Music Retrieval and Searching) ...
Matthew J. Dovey
ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
14 years 3 months ago
Shape-based sequential machine analysis
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
A. Crews, F. Brewer
DFT
1997
IEEE
141views VLSI» more  DFT 1997»
14 years 3 months ago
Analysis of a Hybrid Defect-Tolerance Scheme for High-Density Memory ICs
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
Israel Koren, Zahava Koren
BIRTHDAY
1991
Springer
14 years 2 months ago
Modal Logic Should Say More Than It Does
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
Melvin Fitting
SERVICES
2008
109views more  SERVICES 2008»
14 years 10 days ago
Specifying Flexible Charging Rules for Composable Services
Where services are offered on a commercial basis, the manner in which charges for service usage are calculated is of key importance. Services typically have associated with them a...
Brendan Jennings, Lei Xu, Eamonn de Leastar