7991 search results - page 507 / 1599 » Using More Reasoning to Improve |
177
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
In possibility theory, the degree of inconsistency is commonly used to measure the level of conflict in information from multiple sources after merging, especially conjunctive merg...
201
click to vote
WSC
2007
15 years 9 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
167
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
179
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
229
click to vote
CL
2007
Springer
15 years 7 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...