1033 search results - page 55 / 207 » The Relative History Heuristic |
ICFEM
1997
Springer
15 years 3 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
Because digital images can be modified with relative ease, considerable effort has been spent developing image forensic algorithms capable of tracing an image's processing hi...
119
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
WWW
2009
ACM
16 years 16 days ago
2009
ACM
Click Through Rate (CTR) is an important metric for ad systems, job portals, recommendation systems. CTR impacts publisher's revenue, advertiser's bid amounts in "p...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— A predictive outage compensator co-located with the actuator node in a networked control system can be used to counteract unpredictable losses of data in the feedback control l...