Sciweavers

3273 search results - page 160 / 655
» types 2007
Sort
View
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
15 years 4 months ago
Adaptive boundary control for unstable parabolic PDEs - Part II: Estimation-based designs
The certainty equivalence approach to adaptive control is commonly used with two types of identifiers: passivity-based identifiers and swapping identifiers. The “passive” (...
Andrey Smyshlyaev, Miroslav Krstic
CN
2007
110views more  CN 2007»
15 years 4 months ago
Stability of FIFO networks under adversarial models: State of the art
Network stability is an important issue that has attracted the attention of many researchers in recent years. Such interest comes from the need to ensure that, as the system runs ...
Vicent Cholvi, Juan Echagüe
POPL
2007
ACM
16 years 5 months ago
Generative unbinding of names
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
Andrew M. Pitts, Mark R. Shinwell
CHI
2007
ACM
16 years 5 months ago
Understanding and developing models for detecting and differentiating breakpoints during interactive tasks
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
Shamsi T. Iqbal, Brian P. Bailey
CHI
2007
ACM
16 years 5 months ago
Web page revisitation revisited: implications of a long-term click-stream study of browser usage
This paper presents results of an extensive long-term clickstream study of Web browser usage. Focusing on character and challenges of page revisitation, previous findings from sev...
Hartmut Obendorf, Harald Weinreich, Eelco Herder, ...