1419 search results - page 85 / 284 » A Characterization of Constructive Dimension |
139
click to vote
JCIT
2010
14 years 11 months ago
2010
As an effective way to share corporate social responsibility, corporate donation comes forth rapidly and has become a tendency. Based on the relative study, we construct the theor...
121
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
152
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
145
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
112
click to vote
APAL
2007
15 years 4 months ago
2007
We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the first part we give some game characterizations for certain forms of Prikr...