Sciweavers

2871 search results - page 130 / 575
» An Auxiliary Variational Method
Sort
View
PLANX
2007
15 years 7 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
CGF
2010
148views more  CGF 2010»
15 years 6 months ago
Hardware-Assisted Projected Tetrahedra
We present a flexible and highly efficient hardware-assisted volume renderer grounded on the original Projected Tetrahedra (PT) algorithm. Unlike recent similar approaches, our me...
André Maximo, Ricardo Marroquim, Ricardo C....
ICRA
2010
IEEE
135views Robotics» more  ICRA 2010»
15 years 5 months ago
Implicit nonlinear complementarity: A new approach to contact dynamics
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...
Emanuel Todorov
BMVC
2010
15 years 4 months ago
Unifying Planar and Point Mapping in Monocular SLAM
Mapping planar structure in vision-based SLAM can increase robustness and significantly improve efficiency of map representation. However, previous systems have implemented planar...
José Martínez-Carranza, Andrew Calwa...
CVGIP
2011
15 years 1 months ago
Procedural function-based modelling of volumetric microstructures
We propose a new approach to modelling heterogeneous objects containing internal volumetric structures with size of details orders of magnitude smaller than the overall size of th...
Alexander A. Pasko, Oleg Fryazinov, Turlif Vilbran...