Sciweavers

1578 search results - page 63 / 316
» Induction of Stable Models
Sort
View
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
13 years 11 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre
DAC
1998
ACM
14 years 8 months ago
Figures of Merit to Characterize the Importance of On-Chip Inductance
- A closed form solution for the output signal of a CMOS inverter driving an RLC transmission line is presented. This solution is based on the alpha power law for deep submicromete...
Yehea I. Ismail, Eby G. Friedman, José Luis...
IEEEICCI
2002
IEEE
14 years 18 days ago
Quasi-Morphism and Comprehensibility of Rules in Inductive Learning
We present a model of creating a hierarchical set of rules that encode generalizations and exceptions derived from induction learning. The rules use the input features directly an...
Wiphada Wettayaprasit, Chidchanok Lursinsap, Chee-...
RSCTC
2000
Springer
146views Fuzzy Logic» more  RSCTC 2000»
13 years 11 months ago
An Algorithm for Induction of Decision Rules Consistent with the Dominance Principle
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
Salvatore Greco, Benedetto Matarazzo, Roman Slowin...
TVLSI
2002
144views more  TVLSI 2002»
13 years 7 months ago
On-chip inductance cons and pros
Abstract--This paper provides a high level survey of the increasing effects of on-chip inductance. These effects are classified into desirable and nondesirable effects. Among the u...
Yehea I. Ismail