Sciweavers

469 search results - page 56 / 94
» Physical Search Problems Applying Economic Search Models
Sort
View
SIGIR
1999
ACM
15 years 6 months ago
Content-Based Retrieval for Music Collections
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...
Yuen-Hsien Tseng
AIPS
2006
15 years 3 months ago
Optimal Rectangle Packing: A Meta-CSP Approach
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...
Michael D. Moffitt, Martha E. Pollack
HYBRID
2007
Springer
15 years 8 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
IEEEMSP
2002
IEEE
117views Multimedia» more  IEEEMSP 2002»
15 years 6 months ago
Hidden Markov model for automatic transcription of MIDI signals
— This paper describes a Hidden Markov Model (HMM)-based method of automatic transcription of MIDI (Musical Instrument Digital Interface) signals of performed music. The problem ...
Haruto Takeda, Naoki Saito, Tomoshi Otsuki, Mitsur...
ENTCS
2007
115views more  ENTCS 2007»
15 years 1 months ago
A Global Algorithm for Model-Based Test Suite Generation
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
Anders Hessel, Paul Pettersson