Sciweavers

10 search results - page 1 / 2
» Diagnosis as Semiring-Based Constraint Optimization
Sort
View
ECAI
2004
Springer
13 years 10 months ago
Diagnosis as Semiring-Based Constraint Optimization
Martin Sachenbacher, Brian C. Williams
ENTCS
2007
84views more  ENTCS 2007»
13 years 5 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
JSS
2010
136views more  JSS 2010»
13 years 4 days ago
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
Jules White, David Benavides, Douglas C. Schmidt, ...
SIAMAM
2011
13 years 9 days ago
Modeling and Design Optimization of a Resonant Optothermoacoustic Trace Gas Sensor
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
Noemi Petra, John Zweck, Susan E. Minkoff, Anatoli...
KI
2009
Springer
13 years 12 months ago
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
Paul Maier, Martin Sachenbacher, Thomas Rühr,...