Sciweavers

2904 search results - page 80 / 581
» Number Forms in the Brain
Sort
View
CP
2000
Springer
15 years 10 months ago
Algebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
João P. Marques Silva
NIPS
2001
15 years 7 months ago
Kernel Machines and Boolean Functions
We give results about the learnability and required complexity of logical formulae to solve classification problems. These results are obtained by linking propositional logic with...
Adam Kowalczyk, Alex J. Smola, Robert C. Williamso...
DICTA
2009
15 years 4 months ago
Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition
Local features are gaining popularity due to their robustness to occlusion and other variations such as minor deformation. However, using local features for recognition of biometri...
Syed M. S. Islam, Rowan Davies
JCIT
2010
144views more  JCIT 2010»
15 years 1 months ago
A Model for Software Selection with Fuzzy Linguistic Information
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...
Juchi Hou
GLOBECOM
2007
IEEE
16 years 21 days ago
On the MIMO Channel Capacity for the Nakagami-m Channel
— This paper presents the MIMO channel capacity over the Nakagami-m fading channel. The joint eigenvalue density function of W = HH† , where H is the channel matrix, is derived...
Gustavo Fraidenraich, Olivier Lévêque...