Sciweavers

1297 search results - page 15 / 260
» Large Model Visualization: Techniques and Applications
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 24 days ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
ECCV
1994
Springer
14 years 10 months ago
Visual Tracking of High DOF Articulated Structures: an Application to Human Hand Tracking
Passive sensing of human hand and limb motion is important for a wide range of applications from human-computer interaction to athletic performance measurement. High degree of free...
James M. Rehg, Takeo Kanade
PERVASIVE
2005
Springer
14 years 2 months ago
A Conceptual Framework for Camera Phone-Based Interaction Techniques
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
Michael Rohs, Philipp Zweifel
ESANN
2001
13 years 10 months ago
Applications of neuro-fuzzy classification, evaluation and forecasting techniques in agriculture
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
Elena Bellei, Diego Guidotti, Ruggero Petacchi, Le...
SEMWEB
2005
Springer
14 years 2 months ago
Towards Imaging Large-Scale Ontologies for Quick Understanding and Analysis
In many practical applications, ontologies tend to be very large and complicated. In order for users to quickly understand and analyze large-scale ontologies, in this paper we prop...
Kewei Tu, Miao Xiong, Lei Zhang, Haiping Zhu, Jie ...