2702 search results - page 142 / 541 » Practically Applicable Formal Methods |
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
—One of the major concerns of cognitive radios when used for secondary spectrum access is the potential of interfering primary users, considering especially that cognitive radios...
GLVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
PR
2010
14 years 8 months ago
2010
: Dimensionality reduction methods (DRs) have commonly been used as a principled way to understand the high-dimensional data such as face images. In this paper, we propose a new un...
105
Voted
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
94
Voted
ACL
2010
14 years 8 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...