690 search results - page 14 / 138 » Web-Based Support Systems with Rough Set Analysis |
109
click to vote
CC
2008
Springer
15 years 1 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
JLP
2008
14 years 11 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
103
click to vote
CASCON
1996
15 years 1 months ago
1996
Understanding the source, data, and documentation files associated with legacy systems in preparation for maintenance or reengineering is an increasingly important problem for man...
125
click to vote
ISM
2008
IEEE
14 years 11 months ago
2008
IEEE
We describe whiteboard content capture system from Presentations Automatically Organized from Lectures (PAOL) that captures content within the setting of a classroom environment. ...
FIMH
2005
Springer
15 years 5 months ago
2005
Springer
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...