Sciweavers

3271 search results - page 227 / 655
» Controlled Multicast Framework
Sort
View
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
15 years 5 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
IJNSEC
2006
112views more  IJNSEC 2006»
15 years 4 months ago
An Access Control System with Time-constraint Using Support Vector Machines
Access control is an important issue in information security. It is a necessary mechanism for protecting data in a computer system. In this paper, we apply support vector machines...
Chin-Chen Chang, Iuon-Chang Lin, Chia-Te Liao
TCAD
2008
97views more  TCAD 2008»
15 years 4 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
MIG
2010
Springer
15 years 3 months ago
Full-Body Hybrid Motor Control for Reaching
Abstract. In this paper, we present a full-body motor control mechanism that generates coordinated and diverse motion during a reaching action. Our framework animates the full huma...
Wenjia Huang, Mubbasir Kapadia, Demetri Terzopoulo...
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
15 years 11 months ago
Continuous control law from unilateral constraints
— The control approaches based on tasks, and particularly based on a hierarchy of tasks, enable to build complex behaviors with some nice properties of robustness and portability...
Nicolas Mansard, Oussama Khatib