Sciweavers

2075 search results - page 50 / 415
» aims 2007
Sort
View
FORTE
1994
13 years 11 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
CLEIEJ
2007
94views more  CLEIEJ 2007»
13 years 10 months ago
A Version Control Tool for Framework-based Applications
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
Maria Istela Cagnin, Rosana T. V. Braga, Rosangela...
CVIU
2007
121views more  CVIU 2007»
13 years 10 months ago
Vision-based hand pose estimation: A review
Direct use of the hand as an input device is an attractive method for providing natural human–computer interaction (HCI). Currently, the only technology that satisfies the adva...
Ali Erol, George Bebis, Mircea Nicolescu, Richard ...
JMM2
2007
120views more  JMM2 2007»
13 years 9 months ago
A Rate Estimation Framework for Matching Pursuits Video Coding
— The Bath University Matching Pursuit (BUMP) project aims at developing new matching pursuit (MP) algorithms for still image and video compression. Compared to traditional MP co...
Haoxiang Zhang, Adrian N. Evans, Donald M. Monro
JTAER
2007
101views more  JTAER 2007»
13 years 9 months ago
The National Livestock Identification System: The Importance of Traceability in E-Business
This paper aims to explore how Radio Frequency Identification (RFID) can be utilized on dairy farms to enhance total farm management. There is a growing worldwide trend for countr...
Adam Trevarthen