1129 search results - page 117 / 226 » Modular Ranking Abstraction |
126
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
122
Voted
SETN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
109
click to vote
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Multiply sectioned Bayesian networks (MSBNs) were originally proposed as a modular representation of uncertain knowledge by sectioning a large Bayesian network (BN) into ...
132
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
133
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...