2781 search results - page 366 / 557 » System Modules |
154
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper1 describes a method for tracking regions in image sequences. Regions segmented from each frame by a motion segmentation technique are matched by using a relaxation proc...
183
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
149
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
171
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
153
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...