3775 search results - page 574 / 755 » Integrating Paper and Digital Music Information Systems |
165
click to vote
DSVIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
192
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
179
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
There are case-based recommender systems that generate personalized recommendations for users exploiting the knowledge contained in past recommendation cases. These systems assume ...
196
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper explains our research and implementations of manual, automatic and deep annotations of provenance logs for e-Science in silico experiments. Compared to annotating gener...
168
click to vote
CII
2008
15 years 6 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...