1670 search results - page 114 / 334 » On Skolemization in constructive theories |
174
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
It is shown in this paper that direct extensions of distributed greedy Interference Avoidance (IA) techniques for networks with centralized receivers to networks with multiple unc...
183
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
143
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
156
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
168
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...