1357 search results - page 209 / 272 » Compositional analysis for linear systems |
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
METRICS
2003
IEEE
14 years 3 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
MM
2003
ACM
14 years 3 months ago
2003
ACM
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
ICDM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper addresses the special applications of data mining techniques in homeland defense. The problem targeted, which is frequently encountered in military/intelligence surveil...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...