2594 search results - page 221 / 519 » Stabilization of Systems with Changing Dynamics |
127
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
Opportunistic activity and context recognition systems do not presume a static sensor infrastructure that is defined at the design time of a system. They also do not have a fixed ...
128
click to vote
FLAIRS
2010
15 years 6 months ago
2010
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
141
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
110
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
159
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...