Sciweavers

1064 search results - page 47 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
59
Voted
ICRA
2007
IEEE
118views Robotics» more  ICRA 2007»
15 years 6 months ago
3D reconstruction of a femoral shape using a parametric model and two 2D fluoroscopic images
Ryo Kurazume, Kaori Nakamura, Toshiyuki Okada, Yos...
163
Voted
VRCAI
2006
ACM
15 years 6 months ago
A parametric model for oriented, navigable surfaces in virtual environments
Hongling Wang, Joseph K. Kearney
88
Voted
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 5 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...
93
Voted
TIME
2005
IEEE
15 years 6 months ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia
TACS
1991
Springer
15 years 4 months ago
An Extension of System F with Subtyping
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
Luca Cardelli, Simone Martini, John C. Mitchell, A...