Sciweavers

11949 search results - page 220 / 2390
» Some results on (a:b)-choosability
Sort
View
ACCV
1998
Springer
15 years 5 months ago
Shape Modeling from Multiple View Images Using GAs
Shape modeling is a very important issue for many study, for example, object recognition for robot vision, virtual environment construction, and so on. In this paper, a new method...
Satoshi Kirihara, Hideo Saito
CRYPTO
1998
Springer
106views Cryptology» more  CRYPTO 1998»
15 years 5 months ago
New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications
Verifiable Signature Sharing (VS ) enables the recipient of a digital signature, who is not necessarily the original signer, to share such signature among n proxies so that a subse...
Dario Catalano, Rosario Gennaro
ATS
1997
IEEE
89views Hardware» more  ATS 1997»
15 years 5 months ago
Guaranteeing Testability in Re-encoding for Low Power
This paper considers the testability implications of low power design methodologies. Low power and high testability are shown to be highly contrasting requirements, and an optimiz...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Mau...
TARK
1998
Springer
15 years 5 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
DAC
1997
ACM
15 years 5 months ago
STARBIST: Scan Autocorrelated Random Pattern Generation
This paper presents a new scan-based BIST scheme which achieves very high fault coverage without the deficiencies of previously proposed schemes. This approach utilizes scan order...
Kun-Han Tsai, Sybille Hellebrand, Janusz Rajski, M...