602 search results - page 73 / 121 » Efficient Model Checking of Applications with Input Output |
DMIN
2006
13 years 10 months ago
2006
- This paper deals with the application of a well-known data mining technique, multi-layer back-propagation neural network, for forecasting of an avalanche in Himalayan region. Met...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
The use of HMM (Hidden Markov Models) for speech recognition has been successful for various applications in the past decades. However, the use of continuous HMM (CHMM) for melody...
ENTCS
2006
13 years 9 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
EWIMT
2004
13 years 10 months ago
2004
We focus the attention on the area of generic and automatic audio classification and segmentation for audio-based multimedia indexing and retrieval applications. In particular, we ...
SOFSEM
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...