Sciweavers

8008 search results - page 1225 / 1602
» Computer-Aided Language Processing
Sort
View
3DIM
2003
IEEE
15 years 9 months ago
Human Figure Reconstruction and Modeling from Single Image or Monocular Video Sequence
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...
Fabio Remondino, Andreas Roditakis
FDL
2003
IEEE
15 years 9 months ago
Platform-independent Design for Embedded Real-time Systems
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems an...
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Le...
FDL
2003
IEEE
15 years 9 months ago
Dynamic Power Management of an AMBA-based Platform in SystemC
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
Massimo Conti, Marco Caldari, Simone Orcioni
FDL
2003
IEEE
15 years 9 months ago
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
Tom J. Kazmierski, Hessa Al-Junaid
FDL
2003
IEEE
15 years 9 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
« Prev « First page 1225 / 1602 Last » Next »