1061 search results - page 115 / 213 » Dependently Sorted Logic |
138
click to vote
ICCS
2009
Springer
16 years 23 days ago
2009
Springer
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
132
click to vote
IOLTS
2006
IEEE
16 years 6 days ago
2006
IEEE
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
134
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— We present analytical formulas for the calculation of the memory requirements for a system using the Complex Logarithmic Number System (CLNS). Certain properties of the CLNS ad...
165
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
113
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...