365 search results - page 57 / 73 » First-order logical filtering |
IJCAI
2003
13 years 9 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
CSREAESA
2004
13 years 9 months ago
2004
To perform digital logic in CMOS in a truly adiabatic (asymptotically thermodynamically reversible) fashion requires that logic transitions be driven by a quasitrapezoidal (flat-t...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper, we propose a novel vertical handoff decision algorithm for overlay wireless networks consisting of cellular and wireless local area networks (WLANs). The target n...
CAINE
2003
13 years 9 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
CSCLP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...