3317 search results - page 464 / 664 » Strategies in Rigid-Variable Methods |
183
click to vote
AAAI
1993
15 years 8 months ago
1993
learning (EBL) component. In this paper we provide a brief review of FOIL and FOCL, then discuss how operationalizing a domain theory can adversely affect the accuracy of a learned...
174
click to vote
CCE
2008
15 years 6 months ago
2008
Administration of certain drugs at a steady rate results in deterioration of drug effect, also known as drug tolerance. Periodic delivery is an attractive option for minimizing to...
156
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- This work aims to pave the way for high availability in high-performance computing (HPC) by focusing on efficient redundancy strategies for head and service nodes. These...
165
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
169
click to vote
ISMVL
1998
IEEE
15 years 11 months ago
1998
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a...