2114 search results - page 262 / 423 » Practical Approaches for Software Adaptation |
117
click to vote
ATMOS
2010
15 years 3 months ago
2010
Calculating timetables that are insensitive to disturbances has drawn considerable research efforts due to its practical importance on the one hand and its hard tractability by c...
137
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
136
click to vote
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
118
click to vote
SMI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
127
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...