5232 search results - page 218 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
166
click to vote
AAAI
1994
15 years 7 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
160
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
We analyse data obtained from several collaborative tagging systems and discover that user interests can be very diverse. Traditional methods for representing interests of users a...
188
click to vote
SERP
2007
15 years 8 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
152
click to vote
ICRA
2006
IEEE
16 years 17 days ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
148
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a decentralized planning method for generating dynamic whole body motions of multilink robots including humanoids. First, a robotic system will be modeled a...