Sciweavers

4270 search results - page 250 / 854
» A Permutation Approach to Validation
Sort
View
ECOOPW
1999
Springer
15 years 10 months ago
Understanding Object Oriented Software Systems without Source Code Inspection
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...
Gerd Köhler, Heinrich Rust, Frank Simon
SIGCOMM
1996
ACM
15 years 10 months ago
Adaptive Resource Management Algorithms for Indoor Mobile Computing Environments
Emerging indoor mobile computing environments seek to provide a user with an advanced setofcommunication-intensive applications, which require sustained quality of service in the ...
Songwu Lu, Vaduvur Bharghavan
ACCV
2007
Springer
15 years 10 months ago
Sports Classification Using Cross-Ratio Histograms
The paper proposes a novel approach for classification of sports images based on the geometric information encoded in the image of a sport's field. The proposed approach uses ...
Balamanohar Paluri, S. Nalin Pradeep, Hitesh Shah,...
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 10 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
ICPR
2010
IEEE
15 years 9 months ago
Topic-Sensitive Tag Ranking
Social tagging is an increasingly popular way to describe and classify documents on the web. However, the quality of the tags varies considerably since the tags are authored freel...
Yan'An Jin, Ruixuan Li, Zhengding Lu, Kunmei Wen, ...