1941 search results - page 269 / 389 » Reasoning about Computations Using Two-Levels of Logic |
137
Voted
SRDS
2006
IEEE
15 years 9 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
175
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
140
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
140
Voted
MFCS
2001
Springer
15 years 8 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
117
Voted
ISSAC
1997
Springer
15 years 7 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...