Sciweavers

5232 search results - page 439 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
FDL
2007
IEEE
15 years 10 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
ICTAI
2007
IEEE
16 years 1 months ago
Enriching OWL Ontologies with Linguistic and User-Related Annotations: The ELEON System
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
Dimitris Bilidas, Maria Theologou, Vangelis Karkal...
ATAL
2010
Springer
15 years 8 months ago
Narrative generation through characters' point of view
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
Julie Porteous, Marc Cavazza, Fred Charles
ICIP
2000
IEEE
16 years 8 months ago
Combustion Analysis by Image Processing of Premixed Flames
We describe a three-step algorithm for the analysis of color images of flames, with the objective of analyzing the combustion process and its control parameters indirectly. The al...
Gaetano Baldini, Paola Campadelli, Raffaella Lanza...
SACI
2007
IEEE
16 years 1 months ago
Haptic Human Interfaces for Robotic Telemanipulation
–This paper proposes that there are ultimately only two topical tactile feedback generation modalities for haptic human interfaces which allow the human operator to handle either...
Emil M. Petriu, Pierre Payeur, Ana-Maria Cretu