Sciweavers

3458 search results - page 209 / 692
» Abstracting Control
Sort
View
142
Voted
ENTCS
2008
135views more  ENTCS 2008»
15 years 3 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
ICRA
2005
IEEE
106views Robotics» more  ICRA 2005»
15 years 9 months ago
Goal-Directed Imitation in a Humanoid Robot
Abstract— Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely “what to...
Sylvain Calinon, Florent Guenter, Aude Billard
96
Voted
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 3 months ago
Coverage games in small cells networks
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
Mael Le Treust, Hamidou Tembine, Samson Lasaulce, ...
JACIII
2006
118views more  JACIII 2006»
15 years 3 months ago
Building Intelligent Robotics Systems with Distributed Components
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Federico Guedea-Elizalde, Rogelio Soto, Fakhreddin...
KES
2007
Springer
15 years 9 months ago
A Rewrite Based Approach for Enforcing Access Constraints for XML
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
Sriram Mohan, Arijit Sengupta, Yuqing Wu