3742 search results - page 468 / 749 » On the Use of Formal Techniques for Validation |
154
click to vote
IMC
2004
ACM
16 years 2 days ago
2004
ACM
Identifying elephant flows is very important in developing effective and efficient traffic engineering schemes. In addition, obtaining the statistics of these flows is also ver...
167
click to vote
ER
2004
Springer
16 years 1 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
195
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
A new calibration algorithm for multi-camera systems using a planar reference pattern is proposed. The algorithm is an extension of Sturm-Maybank-Zhang style plane-based calibrati...
191
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
187
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Using Boolean AND and OR functions to combine the responses of multiple one- or two-class classifiers in the ROC space may significantly improve performance of a detection system o...