1632 search results - page 84 / 327 » Topological Analysis of Refinement |
ICEIS
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a metadata-driven approach based on aspect-oriented requirements analysis. This approach has been defined in cooperation with the European Space Agency in the ...
ETRA
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
DEXA
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
CAV
2007
Springer
15 years 2 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
101
click to vote
BILDMED
2006
15 years 2 days 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...