2573 search results - page 463 / 515 » Combinations of Modal Logics |
143
click to vote
ACHI
2009
IEEE
15 years 7 months ago
2009
IEEE
We present in this paper a web-based version of a Scrabble game, describing its architecture and some implementation details. This architecture makes possible a high degree of int...
134
click to vote
DLOG
2007
15 years 6 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
155
click to vote
AVI
2008
15 years 6 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
145
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
164
click to vote
AUSDM
2008
Springer
15 years 6 months ago
2008
Springer
Accurate and less invasive personalized predictive medicine can spare many breast cancer patients from receiving complex surgical biopsies, unnecessary adjuvant treatments and its...