Sciweavers

7118 search results - page 936 / 1424
» Electrical and Computer Engineering
Sort
View
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 4 months ago
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
Guizhen Yang, Michael Kifer
TCAD
2008
112views more  TCAD 2008»
15 years 4 months ago
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
Yu Hu, Victor Shih, Rupak Majumdar, Lei He
151
Voted
JUCS
2007
80views more  JUCS 2007»
15 years 4 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
CCE
2004
15 years 4 months ago
Part II. Future perspective on optimization
Following from part I, which presents a retrospective on optimization, we focus here on areas that are recent active research topics and are likely to strongly influence the futur...
Ignacio E. Grossmann, Lorenz T. Biegler
CORR
2004
Springer
88views Education» more  CORR 2004»
15 years 4 months ago
Unification of Fusion Theories
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
Florentin Smarandache