Sciweavers

2797 search results - page 200 / 560
» Control Structures
Sort
View
DAM
2010
66views more  DAM 2010»
15 years 3 months ago
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width
Rank-width is a structural graph measure introduced by Oum and Seymour and aimed at better handling of graphs of bounded clique-width. We propose a formal mathematical framework an...
Robert Ganian, Petr Hlinený
RAS
2000
115views more  RAS 2000»
15 years 3 months ago
Architectures for a biomimetic hexapod robot
This paper describes a six-legged robot based on the features of an agile insect, the American cockroach, Periplaneta americana. The robot is designed with insect-like leg structu...
Fred Delcomyn, Mark E. Nelson
AIS
1998
Springer
15 years 2 months ago
The Synergy of Learning Organisations and Flexible Information Technology
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
George Rzevski, Kumkum Prasad
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
16 years 2 days ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 9 months ago
A hopf-algebraic formula for compositions of noncommuting flows
Abstract— The Chen-Fliess series is known to be an exponential Lie series. Previously explicit formulas for the iterated integral coefficients were known only for its factorizat...
Eric Gehrig, Matthias Kawski