897 search results - page 92 / 180 » Reuse, Validation and Verification of System Development Pro... |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. An experimental system and interface that indicate the likelihood of deep venous thrombosis using objective measures was developed, based on ultrasound image processing u...
DAGSTUHL
2006
13 years 9 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
SIGMETRICS
1992
ACM
13 years 12 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
MM
2005
ACM
14 years 1 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...