5122 search results - page 232 / 1025 » Comparing Consequence Relations |
132
click to vote
SLP
1997
15 years 6 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
164
click to vote
EUROSIM
1996
15 years 6 months ago
1996
This paper presents parallel algorithms for MPEG video compression by using the PVM library. Because of the huge amount of computation, a sequential software encoder is slow at th...
142
click to vote
UAI
1993
15 years 6 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
124
click to vote
AIS
2007
Springer
15 years 4 months ago
2007
Springer
Much working time is spent in meetings and as a consequence meetings have become the subject of multidisciplinary research. Virtual Meeting Rooms (VMRs) are 3D virtual replicas of ...
141
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...