6719 search results - page 1159 / 1344 » A Generalization of Automatic Sequences |
191
click to vote
OOPSLA
2004
Springer
16 years 14 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
185
click to vote
ICRA
2003
IEEE
16 years 11 days ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
224
Voted
SAC
2003
ACM
16 years 10 days ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
201
click to vote
CCS
2003
ACM
16 years 10 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
202
Voted
PLDI
2010
ACM
16 years 5 days ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...