Sciweavers

2200 search results - page 122 / 440
» The Generalized Pignistic Transformation
Sort
View
VRML
2005
ACM
16 years 1 days ago
Web-based progressive geometry transmission using subdivision-surface wavelets
Web-based geometry transmission profits from a transmission system, which is both progressive and compressive. For this application, the wavelet transform has emerged as a suitab...
Jens Jessl, Martin Bertram, Hans Hagen
GG
2004
Springer
15 years 12 months ago
Adhesive High-Level Replacement Categories and Systems
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulri...
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
15 years 10 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
FASE
1999
Springer
15 years 10 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
ICFP
1998
ACM
15 years 10 months ago
Recycling Continuations
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
Jonathan Sobel, Daniel P. Friedman