Sciweavers

3299 search results - page 150 / 660
» A general mathematics of names
Sort
View
CORR
2010
Springer
241views Education» more  CORR 2010»
15 years 6 months ago
Haar Wavelet Based Approach for Image Compression and Quality Assessment of Compressed Image
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...
Kamrul Hasan Talukder, Koichi Harada
FAC
2008
97views more  FAC 2008»
15 years 6 months ago
A functional formalization of on chip communications
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
Julien Schmaltz, Dominique Borrione
DM
2006
83views more  DM 2006»
15 years 6 months ago
Language structure of pattern Sturmian words
Pattern Sturmian words introduced by Kamae and Zamboni KZ1, KZ2] are an analogy of Sturmian words for the maximal pattern complexity instead of the block complexity. So far, two k...
Teturo Kamae, Hui Rao, Bo Tan, Yu-Mei Xue
ENGL
2006
80views more  ENGL 2006»
15 years 6 months ago
Modelling, simulation and proportional integral control of a pneumatic motor
Researchers have shown a considerable amount of interest in the control of pneumatic drives over the past decade, for two main reasons, firstly, the response of the system is very ...
R. Marumo, M. O. Tokhi
IJCSA
2006
95views more  IJCSA 2006»
15 years 6 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan