1074 search results - page 155 / 215 » Rule sets based bilevel decision model |
196
click to vote
IJCAI
1997
15 years 7 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
162
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
140
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Ambient Inteligence aims to create smart spaces providing services in a transparent and non-intrusive fashion, so context awareness and user adaptation are key issues. Speech can ...
186
click to vote
FSS
2008
15 years 6 months ago
2008
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...
164
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...