Sciweavers

3630 search results - page 384 / 726
» Fast Marching Methods
Sort
View
137
Voted
TPHOL
2000
IEEE
15 years 8 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
ESA
2008
Springer
137views Algorithms» more  ESA 2008»
15 years 6 months ago
Flexible Path Planning Using Corridor Maps
Path planning is a central problem in virtual environments and games. When computer-controlled characters move around in virtual worlds they have to plan their paths to desired loc...
Mark H. Overmars, Ioannis Karamouzas, Roland Gerae...
108
Voted
WSCG
2000
93views more  WSCG 2000»
15 years 6 months ago
Real-time Animation Technique for Flexible and Thin Objects
In this paper, we propose an e cient technique for the animation of exible thin objects. Massspring model was employed to represent the exible objects. Many techniques have used t...
Young-Min Kang, Jeong-Hyeon Choi, Hwan-Gue Cho, Do...
171
Voted
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
15 years 6 months ago
Towards memoryless model building
Probabilistic model building methods can render difficult problems feasible by identifying and exploiting dependencies. They build a probabilistic model from the statistical prope...
David Iclanzan, Dumitru Dumitrescu
ICASSP
2010
IEEE
15 years 5 months ago
On the use of speaker superfactors for speaker recognition
We propose a new method to characterize a speaker within the Joint Factor Analysis (JFA) framework. Scoring within the JFA framework can be costly and a new method was proposed to...
Nicolas Scheffer, Robbie Vogt