Sciweavers

5234 search results - page 578 / 1047
» Method Components - Rationale Revealed
Sort
View
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
15 years 4 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
ICIP
2010
IEEE
15 years 4 months ago
A view-dependent adaptivity metric for real time mesh tessellation
Real-time tessellation methods offer the ability to upsample 3D surface meshes on the fly during rendering. This upsampling relies on 3 major steps. First, it requires a tessellat...
Tamy Boubekeur
CVPR
2011
IEEE
15 years 3 months ago
An Analysis of Using High-Frequency Sinusoidal Illumination to Measure the 3D Shape of Translucent Objects
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
Michael Holroyd, Jason Lawrence
JMLR
2011
187views more  JMLR 2011»
15 years 2 months ago
Exploitation of Machine Learning Techniques in Modelling Phrase Movements for Machine Translation
We propose a distance phrase reordering model (DPR) for statistical machine translation (SMT), where the aim is to learn the grammatical rules and context dependent changes using ...
Yizhao Ni, Craig Saunders, Sándor Szedm&aac...
INTERSPEECH
2010
15 years 1 months ago
Excitation modeling based on waveform interpolation for HMM-based speech synthesis
It is generally known that a well-designed excitation produces high quality signals in hidden Markov model (HMM)-based speech synthesis systems. This paper proposes a novel techni...
June Sig Sung, Doo Hwa Hong, Kyung Hwan Oh, Nam So...