Sciweavers

865 search results - page 124 / 173
» Uncertainty Reduction Using Dynamics
Sort
View
COMPGEOM
2006
ACM
15 years 8 months ago
Minimum weight triangulation is NP-hard
A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum weight triangulation (MWT) problem, we are looking for a triangula...
Wolfgang Mulzer, Günter Rote
IPPS
2005
IEEE
15 years 8 months ago
NUMA-Aware Java Heaps for Server Applications
We introduce a set of techniques to both measure and optimize memory access locality of Java applications running on cc-NUMA servers. These techniques work at the object level and...
Mustafa M. Tikir, Jeffrey K. Hollingsworth
IFIP
2004
Springer
15 years 7 months ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
IV
1999
IEEE
209views Visualization» more  IV 1999»
15 years 6 months ago
Continuous Field Visualization with Multi-Resolution Textures
A method of using a texture mapping approach to color scales is described, for the purpose of visualizing continuous field scalar quantities. The technique is most appropriate whe...
Ian Curington
JMLR
2006
115views more  JMLR 2006»
15 years 2 months ago
Structured Prediction, Dual Extragradient and Bregman Projections
We present a simple and scalable algorithm for maximum-margin estimation of structured output models, including an important class of Markov networks and combinatorial models. We ...
Benjamin Taskar, Simon Lacoste-Julien, Michael I. ...