Sciweavers

1684 search results - page 108 / 337
» The lexicographic decision function
Sort
View
126
Voted
INAP
2001
Springer
15 years 8 months ago
A Framework for the Search And Rescue Domain
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...
Abraham Rodríguez-Rodríguez, Miguel ...
128
Voted
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 8 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
125
Voted
ICTAI
1996
IEEE
15 years 7 months ago
Incremental Markov-Model Planning
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
Richard Washington
124
Voted
EUSFLAT
2003
115views Fuzzy Logic» more  EUSFLAT 2003»
15 years 5 months ago
A hierarchical fuzzy rule-based learning system based on an information theoretic
This paper proposes a new novel method for the online construction of a Hierarchical Fuzzy Rule Based System (FRBS) to accurately model a function while retaining a level of human...
Antony Waldock, Brian Carse, Chris Melhuish
119
Voted
IJCAI
2003
15 years 5 months ago
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
We propose a generalization of expected utility that we call generalized EU (GEU), where a deci­ sion maker's beliefs are represented by plausibil­ ity measures and the dec...
Francis C. Chu, Joseph Y. Halpern