Sciweavers

3281 search results - page 545 / 657
» Bases for parametrized iterativity
Sort
View
104
Voted
ECAI
2004
Springer
15 years 7 months ago
Using Constraints with Memory to Implement Variable Elimination
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...
Martí Sánchez, Pedro Meseguer, Javie...
GECCO
2004
Springer
15 years 7 months ago
Validating a Model of Colon Colouration Using an Evolution Strategy with Adaptive Approximations
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
Dzena Hidovic, Jonathan E. Rowe
106
Voted
ICFEM
2004
Springer
15 years 7 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
ISMIR
2004
Springer
138views Music» more  ISMIR 2004»
15 years 7 months ago
MusicBLAST - Gapped Sequence Alignment for MIR
We propose an algorithm, MusicBLAST, for approximate pattern search/matching on symbolic musical data. MusicBLAST is based on the BLAST algorithm, one of the most commonly used al...
Jürgen Kilian, Holger H. Hoos
111
Voted
PCM
2004
Springer
125views Multimedia» more  PCM 2004»
15 years 7 months ago
Semantic Analysis of Basketball Video Using Motion Information
Abstract. This paper presents a new method for extracting semantic information from basketball video. Our approach consists of three stages: shot and scene boundary detection, scen...
Song Liu, Haoran Yi, Liang-Tien Chia, Deepu Rajan,...