Sciweavers

731 search results - page 97 / 147
» Interconnect modeling for improved system-level design optim...
Sort
View
WSC
2008
13 years 11 months ago
Using Operation Process Simulation for a Six Sigma project of Mining and Iron Production Factory
The use of the Operation Process Simulation (OPS) for Six Sigma Projects (SSP) can illustrate visual display of the process by enabling to define, measure, analyze and improve the...
Undram Chinbat, Soemon Takakuwa
FM
2008
Springer
152views Formal Methods» more  FM 2008»
13 years 10 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
NN
2008
Springer
143views Neural Networks» more  NN 2008»
13 years 8 months ago
A batch ensemble approach to active learning with model selection
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...
Masashi Sugiyama, Neil Rubens
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
14 years 3 months ago
Evolutionary hypernetwork models for aptamer-based cardiovascular disease diagnosis
We present a biology-inspired probabilistic graphical model, called the hypernetwork model, and its application to medical diagnosis of disease. The hypernetwork models are a way ...
JungWoo Ha, Jae-Hong Eom, Sung-Chun Kim, Byoung-Ta...
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
14 years 1 months ago
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel