4814 search results - page 100 / 963 » Combining abstract interpreters |
177
Voted
CORR
2011
Springer
15 years 16 days ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
201
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—This paper explores the behavior similarity of Internet end hosts in the same network prefixes. We use bipartite graphs to model network traffic, and then construct on...
237
Voted
BTW
2011
Springer
14 years 9 months ago
2011
Springer
Abstract: The rise of the Web 2.0 has made content publishing easier than ever. Yesterday’s passive consumers are now active users who generate and contribute new data to the web...
221
click to vote
CVIU
2011
14 years 9 months ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
177
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...