Sciweavers

5232 search results - page 257 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
LCTRTS
2010
Springer
16 years 1 months ago
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
Ines Viskic, Lochi Lo Chi Yu Lo, Daniel Gajski
IROS
2006
IEEE
204views Robotics» more  IROS 2006»
16 years 19 days ago
Distributed Sensing and Prediction of Obstacle Motions for Mobile Robot Motion Planning
— This work recommends an architecture and its fundamental components for motion planning for mobile robots in dynamic environments. An adaptive behavior to typical motion patter...
Thorsten Rennekamp, Kai Homeier, Torsten Kroeger
EDUTAINMENT
2008
Springer
15 years 8 months ago
Efficient Method for Point-Based Rendering on GPUs
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
La-mei Yan, You-wei Yuan
INLG
2010
Springer
15 years 4 months ago
Towards a Programmable Instrumented Generator
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
Chris Mellish
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Implication of assertion graphs in GSTE
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu S...