4341 search results - page 548 / 869 » Quantitative Model checking |
195
click to vote
BILDMED
2006
15 years 8 months ago
2006
This paper presents a new approach to automated muscle fiber analysis based on segmenting myofibers with combined region and edge based active contours. It provides reliable and fu...
160
click to vote
IADIS
2004
15 years 8 months ago
2004
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
150
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
156
click to vote
SERP
2003
15 years 8 months ago
2003
Current trends suggest future software systems will rely on service-discovery protocols to combine and recombine distributed services dynamically in reaction to changing condition...
126
Voted
WM
2003
15 years 8 months ago
2003
: Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based o...