Sciweavers

3680 search results - page 290 / 736
» cases 2010
Sort
View
CAV
2010
Springer
176views Hardware» more  CAV 2010»
15 years 9 months ago
Robustness in the Presence of Liveness
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
Roderick Bloem, Krishnendu Chatterjee, Karin Greim...
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
15 years 9 months ago
Defect aware X-filling for low-power scan testing
Various X-filling methods have been proposed for reducing the shift and/or capture power in scan testing. The main drawback of these methods is that X-filling for low power leads t...
S. Balatsouka, V. Tenentes, Xrysovalantis Kavousia...
DEON
2010
Springer
15 years 9 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
180
Voted
ICPR
2010
IEEE
15 years 8 months ago
Improved Blur Insensitivity for Decorrelated Local Phase Quantization
This paper presents a novel blur tolerant decorrelation scheme for local phase quantization (LPQ) texture descriptor. As opposed to previous methods, the introduced model can be a...
Janne Heikkilä, Ville Ojansivu, Esa Rahtu
CHI
2010
ACM
15 years 8 months ago
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions
We examine opportunities for ubiquitous technologies in retail shopping, jewelry shopping in this case, to supplement the unique information needs inherent to physical trials of t...
Maurice Chu, Brinda Dalal, Alan Walendowski, Bo Be...