Sciweavers

2055 search results - page 151 / 411
» Generic Model Refactorings
Sort
View
3DPVT
2002
IEEE
186views Visualization» more  3DPVT 2002»
15 years 7 months ago
3D Shape Estimation Based on Density Driven Model Fitting
We introduce a generic and efficient method for 2D and 3D shape estimation via density Þelds. Our method models shape as a density map and uses the notion of density to Þt a mod...
Eugene Borovikov, Larry S. Davis
ACISP
2008
Springer
15 years 3 months ago
Efficient One-Round Key Exchange in the Standard Model
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
Colin Boyd, Yvonne Cliff, Juan Manuel Gonzá...
ICRA
2010
IEEE
139views Robotics» more  ICRA 2010»
15 years 14 days ago
Dynamic modelling and control of variable stiffness actuators
— After briefly summarizing the mechanical design of the two joint prototypes for the new DLR variable compliance arm, the paper exemplifies the dynamic modelling of one of the...
Alin Albu-Schäffer, Sebastian Wolf, Oliver Ei...
COLING
2010
14 years 9 months ago
EM-based Hybrid Model for Bilingual Terminology Extraction from Comparable Corpora
In this paper, we present an unsupervised hybrid model which combines statistical, lexical, linguistic, contextual, and temporal features in a generic EMbased framework to harvest...
Lianhau Lee, AiTi Aw, Min Zhang, Haizhou Li
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
14 years 1 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton