1925 search results - page 164 / 385 » Dynamic Typing |
160
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, a neural network controller for constrained robot manipulators is presented. A feedforward neural network is used to adaptively compensate for the uncertainties in ...
124
Voted
ICMCS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
177
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
162
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
131
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...