1743 search results - page 112 / 349 » Generalized Modal Satisfiability |
95
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
102
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
108
Voted
CISS
2008
IEEE
15 years 2 months ago
2008
IEEE
A new outer bound on the capacity region of Gaussian interference channels is developed. The bound combines and improves existing genie-aided methods and is shown to give the sum-r...
99
Voted
SDM
2007
SIAM
15 years 2 months ago
2007
SIAM
We present an efficient dynamic algorithm for clustering undirected graphs, whose edge property is changing continuously. The algorithm maintains clusters of high quality in pres...
77
Voted
ACE
2004
15 years 2 months ago
2004
As part of a study of the teaching of Information and Communications Technology in Australian universities, employers were surveyed in 2001 to find out how satisfied they were wit...