Sciweavers

5101 search results - page 680 / 1021
» Analyzing medical processes
Sort
View
232
Voted
WOSP
2004
ACM
16 years 1 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
CIVR
2004
Springer
122views Image Analysis» more  CIVR 2004»
16 years 29 days ago
User Strategies in Video Retrieval: A Case Study
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
Laura Hollink, Giang P. Nguyen, Dennis Koelma, A. ...
DEXA
2004
Springer
70views Database» more  DEXA 2004»
16 years 29 days ago
How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
Mara Abel, Laura S. Mastella, Luís A. Lima ...
ISCIS
2004
Springer
16 years 28 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
TSD
2004
Springer
16 years 28 days ago
Acoustic and Linguistic Information Based Chinese Prosodic Boundary Labelling
The paper analyzes both acoustic and linguistic features with different Chinese prosodic boundaries. Then a rule-learning approach was used to do the prosodic boundary labelling. ...
Jianhua Tao