13717 search results - page 465 / 2744 » Control Systems |
150
Voted
MFCS
2007
Springer
16 years 14 days ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
187
click to vote
DBSEC
2006
15 years 7 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
174
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
163
click to vote
GAMEON
2003
15 years 7 months ago
2003
We introduce a real-time character animation system which is currently used in an augmented reality environment for the fast creation of simple character behaviour. By placing and...
145
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider a special class of integral delay systems arising in several stability problems of time-delay systems. For these integral systems we derive stability and ...