1804 search results - page 119 / 361 » On set systems with a threshold property |
225
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper we introduce a novel image descriptor enabling accurate object categorization even with linear models. Akin to the popular attribute descriptors, our feature vector ...
155
click to vote
ISVLSI
2007
IEEE
16 years 28 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
168
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
167
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
149
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Quality goals have to be under a special consideration during software architectural design. Evolvability constitutes a quality goal with a special relevance for business...