Sciweavers

1591 search results - page 243 / 319
» Hybrid decision tree
Sort
View
WSC
2008
13 years 11 months ago
Emergence of simulations for manufacturing line designs in Japanese automobile manufacturing plants
The aim of this research is to introduce the reader to a new perspective on the framework for designing a manufacturing line project in Japanese automobile manufacturing plants. A...
Minh Dang Nguyen, Soemon Takakuwa
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
13 years 10 months ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
ECAI
2008
Springer
13 years 10 months ago
A BDD Approach to the Feature Subscription Problem
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O...
ARC
2010
Springer
154views Hardware» more  ARC 2010»
13 years 9 months ago
Perspectives on system identification
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
Lennart Ljung
ENGL
2007
168views more  ENGL 2007»
13 years 8 months ago
A Novel Star Field Approach for Shape Indexing in CBIR Systems
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
Oleg Starostenko, Alberto Chávez-Arag&oacut...