Sciweavers

8838 search results - page 133 / 1768
» Generalizing Domain Theory
Sort
View
WSPI
2004
15 years 5 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
CORR
2007
Springer
194views Education» more  CORR 2007»
15 years 4 months ago
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
Markus Püschel, José M. F. Moura
IJCAI
1989
15 years 5 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
Peter Shell, Jaime G. Carbonell
SMA
2010
ACM
206views Solid Modeling» more  SMA 2010»
15 years 2 months ago
A generalization for stable mixed finite elements
Mixed finite element methods solve a PDE involving two or more variables. In typical problems from electromagnetics and electrodiffusion, the degrees of freedom associated to the ...
Andrew Gillette, Chandrajit L. Bajaj
ICASSP
2011
IEEE
14 years 8 months ago
A point target reference spectrum for general bistatic SAR processing
Focusing bistatic SAR data in frequency domain requires the two dimensional (2D) point target reference spectrum (PTRS). In this paper, a 2D PTRS is derived based on Loffeld’s b...
Junjie Wu, Jianyu Yang, Yulin Huang, Haiguang Yang...