Sciweavers

3154 search results - page 177 / 631
» Computing Closed Skycubes
Sort
View
GD
2009
Springer
15 years 10 months ago
4-Labelings and Grid Embeddings of Plane Quadrangulations
We show that each quadrangulation on n vertices has a closed rectangle of influence drawing on the (n − 2) × (n − 2) grid. Further, we present a simple algorithm to obtain a...
Lali Barrière, Clemens Huemer
LCTRTS
2001
Springer
15 years 10 months ago
ILP-based Instruction Scheduling for IA-64
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
Daniel Kästner, Sebastian Winkel
LSSC
2001
Springer
15 years 10 months ago
Boundary Integral Method for 3D Simulation of Foam Dynamics
A Boundary Integral Method (BIM) for simulation of foam formation and dynamics in viscous flows is presented. The main features of the numerical method are: Nonsingular contour in...
Ivan B. Bazhlekov, Frans N. van de Vosse, Han E. H...
MFCS
2001
Springer
15 years 10 months ago
Characterization of Context-Free Languages with Polynomially Bounded Ambiguity
Abstract. We prove that the class of context-free languages with polynomially bounded ambiguity (PCFL) is the closure of the class of unambiguous languages (UCFL) under projections...
Klaus Wich
149
Voted
STACS
2001
Springer
15 years 10 months ago
Small PCPs with Low Query Complexity
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
Prahladh Harsha, Madhu Sudan