11484 search results - page 469 / 2297 » Modeling in the Large and Modeling in the Small |
252
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
223
click to vote
QEST
2005
IEEE
16 years 18 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
159
click to vote
ICNC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Humans have the ability to flexibly adjust their information processing strategy according to situational characteristics. However, such ability has been largely overloo...
177
click to vote
ISCIS
2004
Springer
16 years 12 days ago
2004
Springer
Web sites have become increasingly complex and offer a large variety of services and contents. The proliferation of dynamic Web contents opens up new challenging performance and s...
184
click to vote
ISMIR
2004
Springer
16 years 12 days ago
2004
Springer
In this paper we evaluate two methods for key estimation from polyphonic audio recordings. Our goal is to compare between a strategy using a cognition-inspired model and several m...