5128 search results - page 305 / 1026 » When Abstraction Fails |
193
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
165
Voted
COMPLEXITY
2004
15 years 7 months ago
2004
nical Abstract Optimization is to find the "best" solution to a problem where the quality of a solution can be measured by a given criterion. Estimation of Distribution A...
184
Voted
JUCS
2002
15 years 7 months ago
2002
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...
206
Voted
IANDC
2010
15 years 6 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
185
click to vote
IJCSA
2010
15 years 6 months ago
2010
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...