Sciweavers

3680 search results - page 32 / 736
» cases 2010
Sort
View
ICCBR
2010
Springer
15 years 1 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
DM
2010
103views more  DM 2010»
14 years 8 months ago
The hyperplanes of DQ-(7, k) arising from embedding
We determine all hyperplanes of the dual polar space DQ−(7, K) which arise from embedding. This extends one of the results of [5] to the infinite case.
Bart De Bruyn
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 3 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
COR
2010
129views more  COR 2010»
14 years 8 months ago
Flexible solutions in disjunctive scheduling: General formulation and study of the flow-shop case
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
Mohamed Ali Aloulou, Christian Artigues
JAISE
2010
124views Algorithms» more  JAISE 2010»
14 years 4 months ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...