Sciweavers

3432 search results - page 181 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
106
Voted
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
15 years 2 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
JUCS
2008
143views more  JUCS 2008»
14 years 10 months ago
Consequence of Two-handed Manipulation on Speed, Precision and Perception on Spatial Input Task in 3D Modelling Applications
Abstract: We developed a free form deformation application for an immersive environment in which users can interact freely using data gloves. To ensure better comfort and performan...
Manuel Veit, Antonio Capobianco, Dominique Bechman...
DEXAW
2004
IEEE
133views Database» more  DEXAW 2004»
15 years 1 months ago
ADUS: Indirect Generation of User Interfaces on Wireless Devices
Nowadays, there exists a great interest in wireless and mobile devices. However, the development of graphical user interfaces (GUIs) for applications in these environments must co...
Nikola Mitrovic, José A. Royo, Eduardo Mena
ISVC
2010
Springer
14 years 8 months ago
On Supervised Human Activity Analysis for Structured Environments
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...
Banafshe Arbab-Zavar, Imed Bouchrika, John N. Cart...
90
Voted
ENTCS
2008
94views more  ENTCS 2008»
14 years 10 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp