Sciweavers

6308 search results - page 859 / 1262
» Modeling Urgency in Timed Systems
Sort
View
CCGRID
2006
IEEE
15 years 10 months ago
Compilation of XSLT into Dataflow Graphs for Web Service Composition
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
Peter M. Kelly, Paul D. Coddington, Andrew L. Wend...
WSCG
2000
93views more  WSCG 2000»
15 years 8 months ago
Real-time Animation Technique for Flexible and Thin Objects
In this paper, we propose an e cient technique for the animation of exible thin objects. Massspring model was employed to represent the exible objects. Many techniques have used t...
Young-Min Kang, Jeong-Hyeon Choi, Hwan-Gue Cho, Do...
184
Voted
CONCUR
2010
Springer
15 years 8 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu
138
Voted
CAD
2008
Springer
15 years 7 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
ENGL
2008
153views more  ENGL 2008»
15 years 7 months ago
Neural Network NARMA Control of a Gyroscopic Inverted Pendulum
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...
F. Chetouane, S. Darenfed