Sciweavers

Share
43 search results - page 1 / 9
» The Elimination of Nesting in SPCF
Sort
View
TLCA
2005
Springer
9 years 27 days ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird
FOCS
2010
IEEE
8 years 5 months ago
Solving Linear Systems through Nested Dissection
Abstract--The generalized nested dissection method, developed by Lipton, Rose, and Tarjan, is a seminal method for solving a linear system Ax = b where A is a symmetric positive de...
Noga Alon, Raphael Yuster
OTM
2009
Springer
9 years 1 months ago
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
Rania Khalaf, Dieter Roller, Frank Leymann
TABLEAUX
2009
Springer
9 years 1 months ago
Modular Sequent Systems for Modal Logic
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
Kai Brünnler, Lutz Straßburger
VR
2010
IEEE
167views Virtual Reality» more  VR 2010»
8 years 5 months ago
Dynamic control of multiple focal-plane projections for eliminating defocus and occlusion
This paper presents a novel dynamic control of multiple focal-plane projections. Our approach multiplexes the projectors’ focal-planes so that all the displayed images are focus...
Momoyo Nagase, Daisuke Iwai, Kosuke Sato
books