Sciweavers

1135 search results - page 125 / 227
» Interactive Problem Solving via Algorithm Visualization
Sort
View
IPPS
2007
IEEE
15 years 9 months ago
SimX meets SCIRun: A Component-based Implementation of a Computational Study System
This paper describes the ongoing implementation of the SimX system for multi-experiment computational studies within the SCIRun problem solving environment. The modular, component...
Siu-Man Yau, Eitan Grinspun, Vijay Karamcheti, Den...
CVPR
2010
IEEE
15 years 11 months ago
Surface Extraction from Binary Volumes with Higher-Order Smoothness
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
Victor Lempitsky
CAD
2005
Springer
15 years 2 months ago
Industrial geometry: recent advances and applications in CAD
Industrial Geometry aims at unifying existing and developing new methods and algorithms for a variety of application areas with a strong geometric component. These include CAD, CA...
Helmut Pottmann, Stefan Leopoldseder, Michael Hofe...
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
15 years 8 months ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
UAI
2008
15 years 4 months ago
Learning When to Take Advice: A Statistical Test for Achieving A Correlated Equilibrium
We study a multiagent learning problem where agents can either learn via repeated interactions, or can follow the advice of a mediator who suggests possible actions to take. We pr...
Greg Hines, Kate Larson