5451 search results - page 916 / 1091 » Typed Operational Semantics |
131
click to vote
SIBGRAPI
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional mesh segmentation methods normally operate on geometrical models with no image information. On the other hand, 2D image-based mesh generation and segmentation counterp...
140
click to vote
SUTC
2006
IEEE
15 years 9 months ago
2006
IEEE
Taking advantage of the delay tolerance for objects tracking sensor networks, we propose delay-tolerant trajectory compression (DTTC) technique, an efficient and accurate algorit...
155
Voted
ACNS
2006
Springer
15 years 9 months ago
2006
Springer
The visual secret sharing (VSS for short) scheme is a secret image sharing scheme. A secret image is visually revealed from overlapping shadow images without additional computation...
145
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
113
click to vote
CF
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...