759 search results - page 37 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ICDM
2006
IEEE
15 years 3 months ago
2006
IEEE
The entity resolution (ER) problem, which identifies duplicate entities that refer to the same real world entity, is essential in many applications. In this paper, in particular,...
WSCG
2001
14 years 11 months ago
2001
Natural resources data is usually geo-referenced. It contains mostly 1-n dimension scalar or vector values, and can be associated with meteorology, geology, water, weather, etc. S...
CCL
1994
Springer
15 years 1 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...