MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Simplifying reductions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

82 documents found, showing 1 through 10. Next 10 →

ATOM

Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection
by Roel Bloo, Kristoffer H. Rose — 1995 — IN CSN-95: COMPUTER SCIENCE IN THE NETHERLANDS
…; this simplifies the reduction system. Second, it includes reduction rules for explicit garbage collection…
Cited by 50 (7 self) – Add To MetaCart

unknown title
by unknown authors — 2003
…, proposed by Gillespie [4, 5]) of a drastically simplified kinetic model of NO reduction by H2 on Pt…
Add To MetaCart

Order Reduction of Second Order Systems with
by Behnam Salimbahrami, Lehrstuhl Für, Rudy Eid, Boris Lohmann, Evgenii B. Rudnyi, Jan G. Korvink — University of Düsseldorf
…Order Reduction of Second Order Systems with Proportional Damping ALA 2006 Behnam Salimbahrami…
Cited by 1 (1 self) – Add To MetaCart

Efficient Resource Description and High Quality Selection for Virtual Grids
by Yang-suk Kee, Dionysios Logothetis, Richard Huang, Henri Casanova, Andrew A. Chien — 2005
…Of/TightBagOf { A far B } � ClusterOf/TightBagOf { A close B } Figure 6. Simplifying Reductions created…
Cited by 20 (4 self) – Add To MetaCart

Inductive Theorem Proving for Design Specifications
by Peter Padawitz — 1997 — J. Symbolic Computation
… be strongly terminating in the sense of [33] even if it is neither reductive (cf. [22]) nor simplifying (cf…
Cited by 8 (6 self) – Add To MetaCart

The Revised Report on the Syntactic Theories of Sequential Control and State
by Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb — 1992 — Theoretical Computer Science
… as the final value of the program. This abbreviation is used to simplify the reduction rules for C…
Cited by 210 (34 self) – Add To MetaCart

The Design and Development of a Fully Integrated Hospital Information System
by T.S. Chen, T.G. Gough — 1994
… access to historical data. The procedure for simplifying the reduction graph computed the required CPU…
Add To MetaCart

Andrei Sabelfeld (Editor)
by Andrei Sabelfeld (editor, Turku Centre Computer, Computer Science, Andrei Sabelfeld, Francisco Martins, António Ravara — 2004
… a congruence relation between processes and networks that simplifies the reduction relation…
Add To MetaCart

Assigning confidence to conditional branch predictions
by Erik Jacobsen, Eric Rotenberg, J. E. Smith, Erik Jacobsen, Eric Rotenberg, J. E. Smith — 1996 — In Proceedings of the 29th ACM/IEEE International Symposium on Microarchitecture
… compressed form of the CIRs in the CT along with a simplified reduction function. These will be discussed…
Cited by 144 (14 self) – Add To MetaCart

Three-Dimensional Robotic Mapping
by Ian Mahon, Stefan Williams — 2003 — In Proc. of the Australasian Conf. on Robotics and Automation
… to errors in the sensing process. Original Simplified Reduction Vertices 38485 12600 67.2% Edges 109006…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB