9067 search results - page 621 / 1814 » Adaptive Model Checking |
164
click to vote
JNW
2007
15 years 7 months ago
2007
Abstract— We propose a new delay-constrained minimumhop distributed routing algorithm (DCMH) for unicastrouting. DCMH uses a novel path feasibility prediction (PFP) model that is...
213
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
A method for the analysis of prosodic-level temporal structure is introduced. The method is based on measured phase angles of an oscillator as that oscillator is made to synchroni...
208
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
237
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
240
click to vote
MSWIM
2005
ACM
16 years 23 days ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...