Sciweavers

206 search results - page 2 / 42
» Automated neuron model optimization techniques: a review
Sort
View
CCE
2006
13 years 7 months ago
State-of-the-art review of optimization methods for short-term scheduling of batch processes
There has been significant progress in the area of short-term scheduling of batch processes, including the solution of industrial-sized problems, in the last 20 years. The main go...
Carlos A. Méndez, Jaime Cerdá, Ignac...
CAEPIA
2003
Springer
13 years 11 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...
AMAI
2000
Springer
13 years 11 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
ECAI
2000
Springer
13 years 11 months ago
Search Pruning Conditions for Boolean Optimization
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
Vasco M. Manquinho, João P. Marques Silva
ISLPED
1999
ACM
236views Hardware» more  ISLPED 1999»
13 years 11 months ago
Modeling and automating selection of guarding techniques for datapath elements
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
William E. Dougherty, Donald E. Thomas