3828 search results - page 380 / 766 » Proof-Based System Engineering Using a Virtual System Model |
177
click to vote
SIMPRA
2010
15 years 5 months ago
2010
In this paper we derive the singularity-free dynamic equations of vehiclemanipulator systems using a minimal representation. These systems are normally modeled using Euler angles,...
167
click to vote
IS4TH
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents the haptic interaction method when the interaction occurs at several points simultaneously. In many virtual training systems that interact with a virtual object...
181
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
16 years 1 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
161
click to vote
AOSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper develops a model for precisely defining how an agent interacts with objects in its environment through the use of its capabilities. Capabilities are recursively defined ...
192
click to vote
IAT
2005
IEEE
16 years 10 days ago
2005
IEEE
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...