16843 search results - page 331 / 3369 » On Generalized Authorization Problems |
198
click to vote
KR
2010
Springer
16 years 6 days ago
2010
Springer
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
217
click to vote
AISC
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
198
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...
194
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
178
click to vote
MCSS
2006
Springer
15 years 7 months ago
2006
Springer
Within a lattice approach, the purpose of this paper is to give general necessary and sufficient conditions for internal stabilizability and for the existence of (weakly) left-/rig...