3954 search results - page 430 / 791 » Image-based Model Completion |
139
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
114
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
121
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
137
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
143
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The cognitive radio channel (CRC) refers to a communication model in which two senders attempt to communicate with their respective receivers simultaneously through a c...