Sciweavers

2797 search results - page 44 / 560
» Control Structures
Sort
View
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
12 years 1 days ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
ACL
1990
13 years 10 months ago
Mixed Initiative in Dialogue: An Investigation into Discourse Segmentation
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
Marilyn A. Walker, Steve Whittaker
TROB
2002
169views more  TROB 2002»
13 years 9 months ago
Constructing reconfigurable software for machine control systems
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
Shige Wang, Kang G. Shin
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
14 years 4 months ago
An LMI framework for analysis and design of multi-dimensional haptic systems
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
Gianni Bianchini, Marcello Orlandesi, Domenico Pra...
EUROGP
2003
Springer
122views Optimization» more  EUROGP 2003»
14 years 2 months ago
Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming
Teleo-reactive programs and the triple tower architecture have been proposed as a framework for linking perception and action in agents. The triple tower architecture continually u...
Mykel J. Kochenderfer