6598 search results - page 1096 / 1320 » Graph Theory with Applications |
151
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
154
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
The future of mobile telephony is expected to rely on mobile services and the use of mobile services will be an integral part of the revenues to be generated by third generation m...
145
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Prior research has demonstrated that the degrees and impact of customer trust on purchase intentions change with online experience. While online trust research has incorporated an...
158
click to vote
ICARCV
2006
IEEE
16 years 20 days ago
2006
IEEE
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
171
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...