11484 search results - page 605 / 2297 » Modeling in the Large and Modeling in the Small |
198
click to vote
ISMIR
2005
Springer
16 years 23 days ago
2005
Springer
We observed that for multimedia data – especially music - collaborative similarity measures perform much better than similarity measures derived from content-based sound feature...
232
click to vote
EGC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
219
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
268
click to vote
CHARME
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
182
click to vote
DATE
2010
IEEE
16 years 11 days ago
2010
IEEE
Abstract—We present a set of modeling constructs accompanied by a high performance simulation kernel for accuracy adaptive transaction level models. In contrast to traditional, ...