Sciweavers

3987 search results - page 341 / 798
» Ontology-Based Model Transformation
Sort
View
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 6 months ago
A CHAID Based Performance Prediction Model in Educational Data Mining
The performance in higher secondary school education in India is a turning point in the academic lives of all students. As this academic performance is influenced by many factors,...
M. Ramaswami, R. Bhaskaran
EWC
2000
94views more  EWC 2000»
15 years 6 months ago
A Model for the Flow of Design Information in Product Development
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
Steven B. Shooter, Walid Keirouz, Simon Szykman, S...
GRAPHICSINTERFACE
2009
15 years 4 months ago
Fast visualization of complex 3D models using displacement mapping
We present a simple method to render complex 3D models at interactive rates using real-time displacement mapping. We use an octree to decompose the 3D model into a set of height f...
The-Kiet Lu, Kok-Lim Low, Jianmin Zheng
I3E
2009
149views Business» more  I3E 2009»
15 years 4 months ago
Facilitating Business to Government Interaction Using a Citizen-Centric Web 2.0 Model
Modelling Business to Government (B2G) interaction is considered to be more complex than Citizen to Government (C2G) interaction, since the concept of authorized citizens, represen...
Alexandros Dais, Mara Nikolaidou, Dimosthenis Anag...