4615 search results - page 367 / 923 » Virtual Classes and Their Implementation |
173
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
142
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Certain classes of problems amenable to description using Problem Frames, in particular ones intended to be implemented using a distributed architecture, can benefit by the additi...
152
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper shows that particular classes of linear combinations of the coefficients of the circular Chrestenson-Vilenkin spectrum of ternary functions characterize whether cofacto...
175
click to vote
DALT
2003
Springer
15 years 12 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
166
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...