Sciweavers

14720 search results - page 2516 / 2944
» Interface
Sort
View
CORR
2007
Springer
90views Education» more  CORR 2007»
15 years 5 months ago
A New Six Degree-of-Freedom Haptic Device based on the Orthoglide and the Agile Eye
: The aim of this paper is to present a new six degree-of-freedom (dof) haptic device using two parallel mechanisms. The first one, called orthoglide, provides the translation moti...
Damien Chablat, Philippe Wenger
126
Voted
JDCTA
2008
83views more  JDCTA 2008»
15 years 5 months ago
Translation from GDMO/ASN.1 to tML/Schema
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...
Wenli Dong
158
Voted
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 5 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
135
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 5 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
IVC
2006
180views more  IVC 2006»
15 years 5 months ago
Active appearance models with occlusion
Active Appearance Models (AAMs) are generative parametric models that have been successfully used in the past to track faces in video. A variety of video applications are possible...
Ralph Gross, Iain Matthews, Simon Baker
« Prev « First page 2516 / 2944 Last » Next »