497 search results - page 37 / 100 » On combinations of local theory extensions |
108
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
103
click to vote
CLEF
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
114
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
161
click to vote
ISCI
2008
15 years 1 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
111
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, we introduce a novel discriminative feature which is efficient for pose estimation. The multi-view face representation is based on Local Gabor Binary Patterns(LGBP)...