Sciweavers

3771 search results - page 209 / 755
» Subobject Transformation Systems
Sort
View
ECOOPW
1998
Springer
15 years 8 months ago
Program Restructuring to Introduce Design Patterns
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
Mel Ó Cinnéide, Paddy Nixon
WSCG
2004
168views more  WSCG 2004»
15 years 5 months ago
Efficient Trimmed NURBS Tessellation
Interactive rendering of trimmed NURBS models is of great importance for CAD systems. For this the model needs to be transformed into a polygonal representation. This transformati...
Ákos Balázs, Michael Guthe, Reinhard...
FLAIRS
1998
15 years 5 months ago
Generating Diagnoses from Conflict Sets
Many techniques of finding possible diagnoses of faulty technical systems involve two sequential steps. First compute the collection of all minimal conflict sets, then transform t...
Rolf Haenni
NAACL
1994
15 years 5 months ago
Microphone-Independent Robust Signal Processing Using Probabilistic Optimum Filtering
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...
Leonardo Neumeyer, Mitch Weintraub
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 4 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko