940 search results - page 104 / 188 » Local rely-guarantee reasoning |
103
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
114
Voted
ECLIPSE
2007
ACM
15 years 4 months ago
2007
ACM
In evolutionary software development, knowing how design evolves with features can be valuable in guiding future projects. It helps answer questions like "How much upfront de...
91
Voted
ICB
2007
Springer
15 years 4 months ago
2007
Springer
Performance of biometric systems is dependent on quality of acquired biometric samples. Poor sample quality is a main reason for matching errors in biometric systems and may be the...
100
click to vote
ASWC
2006
Springer
15 years 4 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
101
Voted
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...