852 search results - page 87 / 171 » Functional Representation of Designs and Redesign Problem So... |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
WSC
2007
13 years 10 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
KI
2006
Springer
13 years 7 months ago
2006
Springer
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— To handle the mismatch problems of spatial-domain motion aligned temporal filtering (MATF) in providing spatial scalability, this paper presents a novel in-scale motion aligne...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...