Sciweavers

8723 search results - page 195 / 1745
» A New Analysis of Co-Training
Sort
View
CADE
2009
Springer
16 years 7 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
COST
2009
Springer
121views Multimedia» more  COST 2009»
16 years 1 months ago
Vulnerability Assessment of Fingerprint Matching Based on Time Analysis
A time analysis of a reference minutiae-based fingerprint matching system is presented. We study the relation between the score generated by the system (NFIS2 from NIST) and the t...
Javier Galbally, Sara Carballo, Julian Fiér...
ICC
2007
IEEE
216views Communications» more  ICC 2007»
16 years 29 days ago
Window-Based and Rate-Based Congestion Controls: a Local Stability Analysis under Variable RTT Conditions and the Proposal of an
— This paper mathematically frames the relation between window-based and rate-based congestion control algorithms, when the assumption of variable round-trip time conditions is i...
Michele Borri, Adriano Ferrarini, Maria Luisa Mera...
SAMT
2007
Springer
113views Multimedia» more  SAMT 2007»
16 years 22 days ago
Camera Motion Analysis Towards Semantic-Based Video Retrieval in Compressed Domain
To reduce the semantic gap between low-level visual features and the richness of human semantics, this paper proposes new algorithms, by virtue of the combined camera motion descri...
Ying Weng, Jianmin Jiang
ICCS
2005
Springer
16 years 4 days ago
Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issue
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
Yannis Kalfoglou, W. Marco Schorlemmer