2954 search results - page 314 / 591 » Beyond |
141
click to vote
SEW
2006
IEEE
16 years 20 days 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...
181
click to vote
SIBGRAPI
2006
IEEE
16 years 20 days ago
2006
IEEE
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...
183
click to vote
SUTC
2006
IEEE
16 years 20 days ago
2006
IEEE
Amidst the numerous active research efforts in wireless sensor networks which aim to push beyond the limits, we aim to significantly enhance the effectiveness of wireless sensors ...
190
click to vote
TABLETOP
2006
IEEE
16 years 20 days ago
2006
IEEE
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
151
click to vote
ACMDIS
2006
ACM
16 years 19 days ago
2006
ACM
The History Tablecloth is a flexible substrate screen-printed with electroluminescent material forming a grid of lace-like elements. When objects are left on the table, cells bene...