7280 search results - page 96 / 1456 » Optimization Techniques |
108
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
94
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we describe CALM, a method for building statistical language models for the Web. CALM addresses several unique challenges dealing with the Web contents. First, CALM...
96
Voted
VTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
106
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Queries on XML documents typically combine selections on element contents, and, via path expressions, the structural relationships between tagged elements. Efficient support for ...
129
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...