Sciweavers

2117 search results - page 109 / 424
» A Metadata Model for Capturing Presentations
Sort
View
AUIC
2002
IEEE
14 years 1 months ago
The Tinmith System - Demonstrating New Techniques for Mobile Augmented Reality Modelling
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
Wayne Piekarski, Bruce H. Thomas
FGR
2000
IEEE
175views Biometrics» more  FGR 2000»
14 years 18 days ago
A Framework for Modeling the Appearance of 3D Articulated Figures
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...
Hedvig Sidenbladh, Fernando De la Torre, Michael J...
ECOOP
2000
Springer
14 years 16 days ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
DAC
1999
ACM
14 years 16 days ago
Model Order-Reduction of RC(L) Interconnect Including Variational Analysis
As interconnect feature sizes continue to scale to smaller dimensions, long interconnect can dominate the IC timing performance, but the interconnect parameter variations make it ...
Ying Liu, Lawrence T. Pileggi, Andrzej J. Strojwas
CAV
2010
Springer
173views Hardware» more  CAV 2010»
13 years 11 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...