Sciweavers

3600 search results - page 104 / 720
» The settling-time reducibility ordering
Sort
View
ENTCS
2010
110views more  ENTCS 2010»
15 years 3 months ago
Formalizing Homogeneous Language Embeddings
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
Tony Clark, Laurence Tratt
LPNMR
2011
Springer
14 years 9 months ago
What Are the Necessity Rules in Defeasible Reasoning?
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
Ho-Pun Lam, Guido Governatori
DATE
2008
IEEE
170views Hardware» more  DATE 2008»
16 years 20 days ago
ETBR: Extended Truncated Balanced Realization Method for On-Chip Power Grid Network Analysis
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
Duo Li, Sheldon X.-D. Tan, Bruce McGaughy
CASC
2007
Springer
112views Mathematics» more  CASC 2007»
16 years 12 days ago
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors
A common way of implementing multivariate polynomial multiplication and division is to represent polynomials as linked lists of terms sorted in a term ordering and to use repeated ...
Michael B. Monagan, Roman Pearce
ACCV
2006
Springer
16 years 6 days ago
Fast Image Replacement Using Multi-resolution Approach
We developed a system including two modules: the texture analysis module and the texture synthesis module. The analysis module is capable of analyzing an input image and performing...
Chih-Wei Fang, James Jenn-Jier Lien