Sciweavers

13717 search results - page 515 / 2744
» Control Systems
Sort
View
POPL
2003
ACM
16 years 6 days ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke
ICRA
2008
IEEE
105views Robotics» more  ICRA 2008»
16 years 1 months ago
A new framework for microrobotic control of motile cells based on high-speed tracking and focusing
— We propose a new framework and novel visual control system for motile cells in three-dimensional (3-D) space. Our goal is to utilize microorganisms as micro-robots in various a...
Takeshi Hasegawa, Naoko Ogawa, Hiromasa Oku, Masat...
EMO
2001
Springer
132views Optimization» more  EMO 2001»
15 years 11 months ago
Multi-objective Evolutionary Design of Fuzzy Autopilot Controller
Abstract. A multi-objective evolutionary algorithm is used to determine the membership function distribution within the outer loop control system of a non-linear missile autopilot ...
Anna L. Blumel, Evan J. Hughes, Brian A. White
CCS
2007
ACM
15 years 11 months ago
Efficient techniques for realizing geo-spatial access control
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...
Mikhail J. Atallah, Marina Blanton, Keith B. Frikk...
ECRTS
2004
IEEE
15 years 10 months ago
Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
Dag Nyström, Mikael Nolin, Aleksandra Tesanov...