3229 search results - page 346 / 646 » Theories with the Independence Property |
208
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
196
click to vote
CCL
1994
Springer
15 years 11 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
202
click to vote
ISMIS
1994
Springer
15 years 11 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
202
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
176
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...