Sciweavers

153 search results - page 16 / 31
» From Philosophical to Industrial Logics
Sort
View
JTAER
2007
123views more  JTAER 2007»
13 years 8 months ago
Business Model Scenarios for Remote Management
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
Olivier Braet, Pieter Ballon
DAC
2006
ACM
14 years 9 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...
SEFM
2009
IEEE
14 years 3 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
FUZZIEEE
2007
IEEE
14 years 2 months ago
Self-Fuzzification Method According to Typicality Correlation for Classification on Tiny Data Sets
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
Emmanuel Schmitt, Vincent Bombardier, Patrick Char...
ANSS
2000
IEEE
14 years 25 days ago
An Analytic Method for Predicting Simulation Parallelism
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
Hong Wang, Yong Meng Teo, Seng Chuan Tay