522 search results - page 40 / 105 » Real-time Logics: Complexity and Expressiveness |
148
click to vote
MEMICS
2010
15 years 26 days ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
161
click to vote
JAPLL
2010
15 years 4 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
183
Voted
KI
2009
Springer
16 years 19 days ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
170
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
179
click to vote
PAM
2012
Springer
14 years 1 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...