Sciweavers

4872 search results - page 605 / 975
» CBR for Modeling Complex Systems
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
FLAIRS
2006
15 years 8 months ago
Focusing Strategies for Multiple Fault Diagnosis
Diagnosing multiple faults for a complex system is often very difficult. It requires not only a model which adequately represents the diagnostic aspect of a complex system, but al...
Tsai-Ching Lu, K. Wojtek Przytula
DC
2001
15 years 8 months ago
Mixing and Mapping Metadata to Provide Integrated Access to Digital Library Collections: An Activity Report
This paper provides a report of work in progress to implement integrated access to multiple digital collections that are described using a variety of metadata formats. Using the e...
Karen Calhoun, Tom Turner, Meryl Brodsky, George K...
UIST
2010
ACM
15 years 4 months ago
Eden: supporting home network management through interactive visual tools
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
Jeonghwa Yang, W. Keith Edwards, David Haslem
KI
2010
Springer
15 years 1 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer