Sciweavers

3504 search results - page 316 / 701
» Computational Aspects of Equilibria
Sort
View
CVPR
2004
IEEE
16 years 9 months ago
Shape Representation and Classification Using the Poisson Equation
Silhouettes contain rich information about the shape of objects that can be used for recognition and classification. We present a novel approach that allows us to reliably compute...
Lena Gorelick, Meirav Galun, Eitan Sharon, Ronen B...
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
Real-time Realistic Ocean Lighting using Seamless Transitions from Geometry to BRDF
Realistic animation and rendering of the ocean is an important aspect for simulators, movies and video games. By nature, the ocean is a difficult problem for Computer Graphics: i...
Eric Bruneton, Fabrice Neyret, Nicolas Holzschuch
CSL
2009
Springer
16 years 2 months ago
Enriching an Effect Calculus with Linear Types
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
ICRA
2008
IEEE
157views Robotics» more  ICRA 2008»
16 years 2 months ago
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning
Abstract— We have recently proposed DSLX, a motion planner that significantly reduces the computational time for solving challenging kinodynamic problems by interleaving continu...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
NSPW
2006
ACM
16 years 1 months ago
Sanitization models and their limitations
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lis...