Sciweavers

1626 search results - page 190 / 326
» Hybrid computing algorithm in representing solid model
Sort
View
SAC
2006
ACM
15 years 3 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
151
Voted
VW
2000
Springer
215views Virtual Reality» more  VW 2000»
15 years 7 months ago
A 3-D Biomechanical Model of the Salamander
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
Auke Jan Ijspeert
146
Voted
ICPP
2002
IEEE
15 years 8 months ago
Power Aware Scheduling for AND/OR Graphs in Multi-Processor Real-Time Systems
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
Dakai Zhu, Nevine AbouGhazaleh, Daniel Mossé...
CVIU
2007
120views more  CVIU 2007»
15 years 3 months ago
A comparison of Gaussian and mean curvature estimation methods on triangular meshes of range image data
Estimating intrinsic geometric properties of a surface from a polygonal mesh obtained from range data is an important stage of numerous algorithms in computer and robot vision, co...
Evgeni Magid, Octavian Soldea, Ehud Rivlin
147
Voted
AI
2002
Springer
15 years 3 months ago
The size distribution for Markov equivalence classes of acyclic digraph models
Bayesian networks, equivalently graphical Markov models determined by acyclic digraphs or ADGs (also called directed acyclic graphs or dags), have proved to be both effective and ...
Steven B. Gillispie, Michael D. Perlman