Sciweavers

6514 search results - page 223 / 1303
» Low-Knowledge Algorithm Control
Sort
View
CSCW
1996
ACM
15 years 6 months ago
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzen...
AAAI
2004
15 years 3 months ago
Using Performance Profile Trees to Improve Deliberation Control
Performance profile trees have recently been proposed as a theoretical basis for fully normative deliberation control. In this paper we conduct the first experimental study of the...
Kate Larson, Tuomas Sandholm
JSAC
2006
147views more  JSAC 2006»
15 years 2 months ago
Smart pay access control via incentive alignment
We use game theorectic models to show the lack of incentives in the TCP congestion avoidance algorithm and the consequential systemwide network problems. We then propose a Vickery-...
Jun Shu, Pravin Varaiya
IROS
2008
IEEE
92views Robotics» more  IROS 2008»
15 years 8 months ago
Underactuated point stabilization using predictive models with application to marine vehicles
— Point stabilization of an underactuated vehicle is most often accomplished using a periodic time-varying control law, resulting in oscillatory trajectories. We present a two-st...
Matthew Greytak, Franz Hover
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 6 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong