10072 search results - page 1490 / 2015 » Composition of Model Programs |
188
click to vote
ISMIR
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes a hierarchical approach for fast audio stream segmentation and classification. With this approach, the audio stream is firstly segmented into audio clips by M...
189
click to vote
MIDDLEWARE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
200
click to vote
TACAS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
195
click to vote
UM
2005
Springer
16 years 16 days ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
229
click to vote
WINE
2005
Springer
16 years 16 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...