475 search results - page 20 / 95 » Delft-Java Dynamic Translation |
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
JMLR
2010
13 years 2 months ago
2010
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...
ENTCS
2007
13 years 7 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
HAPTICS
2007
IEEE
13 years 11 months ago
2007
IEEE
Many high-degree-of-freedom haptic devices and teleoperator systems either do not have grippers or do not provide force feedback in the gripper degree of freedom (DOF). The purpos...
ICDCIT
2004
Springer
14 years 1 months ago
2004
Springer
The need to securely share information on an ad-hoc basis between collaborating entities is increasingly becoming important. We propose a coalition based access control model (CBAC...