21430 search results - page 330 / 4286 » Abstract Effective Models |
186
click to vote
ICECCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
147
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
183
click to vote
CONCUR
2005
Springer
16 years 5 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
209
click to vote
GCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
193
click to vote
CIS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...