Sciweavers

3233 search results - page 92 / 647
» Rule Modeling and Markup
Sort
View
LICS
2006
IEEE
16 years 6 days ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
SLIP
2000
ACM
15 years 10 months ago
Prediction of interconnect fan-out distribution using Rent's rule
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...
Payman Zarkesh-Ha, Jeffrey A. Davis, William Loh, ...
RSCTC
2000
Springer
146views Fuzzy Logic» more  RSCTC 2000»
15 years 9 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...
NAACL
2010
15 years 4 months ago
Generalizing Hierarchical Phrase-based Translation using Rules with Adjacent Nonterminals
Hierarchical phrase-based translation (Hiero, (Chiang, 2005)) provides an attractive framework within which both short- and longdistance reorderings can be addressed consistently ...
Hendra Setiawan, Philip Resnik
ICCAD
2001
IEEE
153views Hardware» more  ICCAD 2001»
16 years 3 months ago
The Sizing Rules Method for Analog Integrated Circuit Design
This paper presents the sizing rules method for analog CMOS circuit design that consists of: first, the development of a hierarchical library of transistor pair groups as basic b...
Helmut E. Graeb, Stephan Zizala, Josef Eckmueller,...