Sciweavers

4636 search results - page 146 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
3DPVT
2006
IEEE
154views Visualization» more  3DPVT 2006»
16 years 19 days ago
Hemispherical Harmonic Surface Description and Applications to Medical Image Analysis
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
Heng Huang, Lei Zhang 0002, Dimitris Samaras, Li S...
IJRR
2006
75views more  IJRR 2006»
15 years 6 months ago
Force Analysis of Connected Differential Mechanisms: Application to Grasping
In this paper, a methodology is proposed for the analysis of the force capabilities of connected differential mechanisms. These systems are the key elements used to extend the prin...
Lionel Birglen, Clément M. Gosselin
TIFS
2010
132views more  TIFS 2010»
15 years 5 months ago
JPEG error analysis and its applications to digital image forensics
JPEG is one of the most extensively used image formats. Understanding the inherent characteristics of JPEG may play a useful role in digital image forensics. In this paper, we int...
Weiqi Luo, Jiwu Huang, Guoping Qiu
CBSE
2005
Springer
16 years 3 days ago
Performance Prediction of J2EE Applications Using Messaging Protocols
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
Yan Liu, Ian Gorton