Sciweavers

2631 search results - page 186 / 527
» A Practical Method for the Sparse Resultant
Sort
View
180
Voted
JCIT
2008
94views more  JCIT 2008»
15 years 7 months ago
Finding Semantic Errors in the Rule-base of Production Systems, and Reasoning with Insufficient Input Data Petri-net-based Appro
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
Hong-Youl Lee
JELIA
2004
Springer
16 years 12 days ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
SIAMMAX
2010
146views more  SIAMMAX 2010»
15 years 1 months ago
A Comparison of Two-Level Preconditioners Based on Multigrid and Deflation
It is well-known that two-level and multi-level preconditioned conjugate gradient (PCG) methods provide efficient techniques for solving large and sparse linear systems whose coeff...
J. M. Tang, S. P. MacLachlan, Reinhard Nabben, C. ...
ICMCS
2006
IEEE
112views Multimedia» more  ICMCS 2006»
16 years 1 months ago
An New Coefficients Transform Matrix for the Transform Domain MPEG-2 TO H.264/AVC Transcoding
In this paper, a fast transform method is proposed to convert MPEG-2 8-tap discrete cosine transform (DCT) coefficients to H.264/AVC 4-tap integer transform coefficients directly ...
Gao Chen, Shouxun Lin, Yongdong Zhang, Gang Cao
ICES
2001
Springer
100views Hardware» more  ICES 2001»
15 years 11 months ago
Evolutionary Design Calibration
Abstract. Evolutionary methods are now beginning to be used routinely in design applications. However, even with computing speeds growing continuously, for many complex design prob...
Thorsten Schnier, Xin Yao