2514 search results - page 323 / 503 » The use of industrial-strength formal methods |
156
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
151
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract—Lithographic limitations and manufacturing uncertainties are resulting in fabricated shapes on wafer that are topologically equivalent, but geometrically different from ...
140
click to vote
ICMCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
172
click to vote
ICTAI
2007
IEEE
16 years 24 days ago
2007
IEEE
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...
160
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...