3199 search results - page 218 / 640 » Variability in Automation System Models |
179
click to vote
TIME
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
157
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
166
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
175
click to vote
TRECVID
2007
15 years 7 months ago
2007
In this paper, we describe the IBM Research system for indexing, analysis, and retrieval of video as applied to the TREC-2007 video retrieval benchmark. This year, focus of the sy...
137
click to vote
GECCO
2005
Springer
16 years 10 hour ago
2005
Springer
The identification of mechanisms by which constraints on phenotypic variability are tuned in nature, and the implementation of these mechanisms in Evolutionary Algorithms (EAs) ca...