225 search results - page 32 / 45 » A New Framework for Dynamic Adaptations and Actions |
ICFP
2005
ACM
14 years 8 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...
CEC
2009
IEEE
14 years 19 min ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
With the acceleration of technological development we are reaching the point where our systems and their user interfaces become to some degree outdated 'legacy systems' ...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we propose a general framework for fusing bottom-up segmentation with top-down object behavior classification over an image sequence. This approach is beneficial fo...