Sciweavers

985 search results - page 138 / 197
» On the validity of digital signatures
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 25 days ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
CORR
2006
Springer
82views Education» more  CORR 2006»
13 years 9 months ago
Mapping the Bid Behavior of Conference Referees
The peer-review process, in its present form, has been repeatedly criticized. Of the many critiques ranging from publication delays to referee bias, this paper will focus specific...
Marko A. Rodriguez, Johan Bollen, Herbert Van de S...
ICPR
2000
IEEE
14 years 10 months ago
Automatic Video Scene Extraction by Shot Grouping
For more efficient organizing, browsing, and retrieving digital video content, it is important to extract video structure information at both scene and shot levels. This paper pre...
Tong Lin, HongJiang Zhang
ICIP
2009
IEEE
14 years 10 months ago
Color Image Dehazing Using The Near-infrared
In landscape photography, distant objects often appear blurred with a blue color cast, a degradation caused by atmospheric haze. To enhance image contrast, pleasantness and inform...
IEEEARES
2009
IEEE
14 years 3 months ago
Linking Privacy Solutions to Developer Goals
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...
Kim Wuyts, Riccardo Scandariato, Bart De Decker, W...