Sciweavers

2059 search results - page 351 / 412
» A Directed Threshold - Signature Scheme
Sort
View
JAR
2000
90views more  JAR 2000»
15 years 4 months ago
Resolution versus Search: Two Strategies for SAT
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
Irina Rish, Rina Dechter
JCNS
2000
168views more  JCNS 2000»
15 years 4 months ago
Integrating Top-Down and Bottom-Up Sensory Processing by Somato-Dendritic Interactions
The classical view of cortical information processing is that of a bottom-up process in a feedforward hierarchy. However, psychophysical, anatomical, and physiological evidence sug...
Markus Siegel, Konrad P. Körding, Peter K&oum...
JAR
2002
83views more  JAR 2002»
15 years 3 months ago
Mathematical Programming Embeddings of Logic
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter
JCISE
2002
117views more  JCISE 2002»
15 years 3 months ago
Memory Analysis of Solid Model Representations for Heterogeneous Objects
Methods to represent and exchange parts consisting of Functionally Graded Material (FGM) for Solid Freeform Fabrication (SFF) with Local Composition Control (LCC) are evaluated ba...
Todd R. Jackson, Wonjoon Cho, Nicholas M. Patrikal...
NN
2002
Springer
226views Neural Networks» more  NN 2002»
15 years 3 months ago
Data visualisation and manifold mapping using the ViSOM
The self-organising map (SOM) has been successfully employed as a nonparametric method for dimensionality reduction and data visualisation. However, for visualisation the SOM requ...
Hujun Yin