Sciweavers

1020 search results - page 86 / 204
» Reconfigurable Object Consistency Model
Sort
View
ICIP
2009
IEEE
14 years 11 months ago
Lidar Waveform Modeling Using A Marked Point Process
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...
FDL
2005
IEEE
14 years 3 months ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
CEC
2009
IEEE
14 years 4 months ago
Towards creative design using collaborative interactive genetic algorithms
— We present a computational model of creative design based on collaborative interactive genetic algorithms. We test our model on floorplanning. We guide the evolution of floor...
Juan C. Quiroz, Sushil J. Louis, Amit Banerjee, Se...
EUROPAR
2005
Springer
14 years 3 months ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
ISMAR
2003
IEEE
14 years 3 months ago
The Great Buddha Project: Modeling Cultural Heritage for VR Systems through Observation
This paper overviews our research on digital preservation of cultural assets and digital restoration of their original appearance. Geometric models are digitally achieved through ...
Katsushi Ikeuchi, Atsushi Nakazawa, Kazuhide Haseg...