107 search results - page 12 / 22 » Implementing the Meta-Theory of Deductive Systems |
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
JMM2
2008
13 years 7 months ago
2008
-- In this paper, we propose a novel rate control system by applying the discrete linear quadratic rate control method (DLQ) to transmissions of MPEG2 streams in IP networks. We gi...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
AI
1998
Springer
13 years 7 months ago
1998
Springer
Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous eets of robotic explorers. Info...
ISMIS
1993
Springer
13 years 11 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...