Sciweavers

1135 search results - page 125 / 227
» Interactive Problem Solving via Algorithm Visualization
Sort
View
IPPS
2007
IEEE
16 years 19 days 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
16 years 2 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 6 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 11 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 7 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