13717 search results - page 438 / 2744 » Control Systems |
186
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
180
click to vote
SOFSEM
2000
Springer
15 years 9 months ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
161
click to vote
IMCSIT
2010
15 years 1 months ago
2010
Abstract--The paper is focused on NI Compact-RIO configured as a controller for the active magnetic levitation used here as a benchmark for time-critical systems. Three realtime co...
195
click to vote
SACMAT
2006
ACM
16 years 3 days ago
2006
ACM
In this paper we have addressed confidentiality and privacy for video surveillance databases. First we discussed our overall approach for suspicious event detection. Next we discu...
135
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...