5107 search results - page 311 / 1022 » Design Issue Of ECTST |
148
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Sensing coverage is an important issue for sensor networks, since it is viewed as one of the critical measures of performance offered by a sensor network. The design of a routi...
118
Voted
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...
135
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper shows a way to speed up search by using an encoding at bit level to model a particular domain. A bitboard is an unsigned integer whose bits have been given an interpret...
115
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...