5205 search results - page 323 / 1041 » Tilings and model theory |
117
Voted
SIGIR
2011
ACM
14 years 3 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
93
Voted
ENTCS
2006
15 years 24 days ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
83
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present a case study of humaninformation interaction in the online realm of politics. The case study consists of a participant observed while searching and brows...
85
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
100
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...