Sciweavers

3570 search results - page 200 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
IJSYSC
2000
67views more  IJSYSC 2000»
15 years 4 months ago
Incorporating prior knowledge in fuzzy model identification
This paper presents an algorithm for incorporating a priori knowledge into data-driven identification of dynamic fuzzy models of the Takagi-Sugeno type. Knowledge about the modell...
János Abonyi, Robert Babuska, Henk B. Verbr...
ICASSP
2011
IEEE
14 years 8 months ago
Polyphonic audio-to-score alignment based on Bayesian Latent Harmonic Allocation Hidden Markov Model
This paper presents a Bayesian method for temporally aligning a music score and an audio rendition. A critical problem in audio-toscore alignment is in dealing with the wide varie...
Akira Maezawa, Hiroshi G. Okuno, Tetsuya Ogata, Ma...
GLVLSI
2007
IEEE
173views VLSI» more  GLVLSI 2007»
15 years 4 months ago
Modeling and estimating leakage current in series-parallel CMOS networks
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
Paulo F. Butzen, André Inácio Reis, ...
158
Voted
TSE
2010
123views more  TSE 2010»
14 years 11 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 4 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...