Sciweavers

5232 search results - page 662 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
CSSE
2008
IEEE
16 years 1 months ago
Web Services Composition Method Based on OWL
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
Jike Ge, Yuhui Qiu, Shiqun Yin
AIED
2007
Springer
16 years 1 months ago
Relating Machine Estimates of Students' Learning Goals to Learning Outcomes: A DBN Approach
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...
Carole R. Beal, Lei Qu
189
Voted
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
ANSS
2004
IEEE
15 years 10 months ago
A Self Manageable Infrastructure for Supporting Web-based Simulations
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
Yingping Huang, Xiaorong Xiang, Gregory R. Madey
CGF
1998
213views more  CGF 1998»
15 years 6 months ago
Interactive Construction and Animation of Layered Elastically Deformable Characters
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...
Russell Turner, Enrico Gobbetti