Sciweavers

1150 search results - page 56 / 230
» Specifying Information-Flow Controls
Sort
View
CGI
1997
IEEE
14 years 1 months ago
Controlling Fluid Animation
A methodology for controlling uid animations is developed using the concept of an embedded controller. A controller acts as an interface between the animator and a general tool fo...
Nick Foster, Dimitris N. Metaxas
ICRA
1994
IEEE
94views Robotics» more  ICRA 1994»
14 years 1 months ago
A Reinforcement-Learning Approach to Reactive Control Policy Design for Autonomous Robots
Within the field of robotics, much recent attention has been given to control techniques that have been termed reactive or behavior-based. The design of such control systems for e...
Andrew H. Fagg, David Lotspeich, George A. Bekey
AUTOMATICA
2005
108views more  AUTOMATICA 2005»
13 years 9 months ago
Robust optimal control of regular languages
This paper presents an algorithm for robust optimal control of regular languages under specified uncertainty bounds on the event cost parameters of the language measure that has b...
Constantino M. Lagoa, Jinbo Fu, Asok Ray
AUSAI
2005
Springer
14 years 2 months ago
A Controlled Natural Language Layer for the Semantic Web
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
Rolf Schwitter
C3S2E
2009
ACM
14 years 1 months ago
A verification framework for access control in dynamic web applications
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
Manar H. Alalfi, James R. Cordy, Thomas R. Dean