6020 search results - page 484 / 1204 » A New Approach to Model Counting |
200
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
167
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
192
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
201
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
173
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Conditional Random Fields (CRFs) are often estimated using an entropy based criterion in combination with Generalized Iterative Scaling (GIS). GIS offers, upon others, the immedi...