1022 search results - page 119 / 205 » Relators and Metric Bisimulations |
176
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
162
click to vote
APAQS
2000
IEEE
15 years 10 months ago
2000
IEEE
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
173
click to vote
VISUALIZATION
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, general relativistic ray tracing is presented as a tool for gravitational physics. It is shown how standard three-dimensional ray tracing can be extended to allow f...
157
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
151
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...