Sciweavers

3444 search results - page 312 / 689
» A Theory of Object-Oriented Design
Sort
View
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 7 months ago
Metastability, criticality and phase transitions in brain and its models
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
Gerhard Werner
EOR
2008
112views more  EOR 2008»
15 years 6 months ago
DEA based auctions
We discuss the design of multi-dimensional tender and auction mechanisms that combine Data Envelopment Analysis (DEA) and auction theory. The mechanisms select an agent to perform...
Peter Bogetoft, Kurt Nielsen
ENTCS
2006
161views more  ENTCS 2006»
15 years 6 months ago
Tool Building Requirements for an API to First-Order Solvers
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean Mc...
CAGD
2007
91views more  CAGD 2007»
15 years 6 months ago
Note on curve and surface energies
Energies of curves and surfaces together with their discrete variants play a prominent role as fairness functionals in geometric modeling and computer aided geometric design. This ...
Johannes Wallner
174
Voted
IJON
2006
111views more  IJON 2006»
15 years 6 months ago
Dynamic pruning algorithm for multilayer perceptron based neural control systems
Generalization ability of neural networks is very important and a rule of thumb for good generalization in neural systems is that the smallest system should be used to fit the tra...
Jie Ni, Qing Song