2062 search results - page 75 / 413 » Derivatives of Logical Formulas |
102
click to vote
ICML
2009
IEEE
15 years 12 months ago
2009
IEEE
Standard inductive learning requires that training and test instances come from the same distribution. Transfer learning seeks to remove this restriction. In shallow transfer, tes...
107
click to vote
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
IANDC
2006
14 years 11 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
104
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...