4211 search results - page 481 / 843 » Types as Abstract Interpretations |
223
click to vote
ICAI
2009
15 years 4 months ago
2009
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...
195
click to vote
CORR
2011
Springer
15 years 1 months 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...
189
click to vote
SADM
2011
15 years 1 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
241
click to vote
INFOCOM
2011
IEEE
14 years 10 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...
264
click to vote
BTW
2011
Springer
14 years 10 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...