1108 search results - page 149 / 222 » Making sense of sensemaking |
LATIN
2010
Springer
14 years 2 days ago
2010
Springer
In this paper we describe algorithms for computing the BWT and for building (compressed) indexes in external memory. The innovative feature of our algorithms is that they are light...
CANDC
2005
ACM
14 years 1 days ago
2005
ACM
In this paper, we discuss how a cognitive concept, causality, can be used for the conceptual underpinning of Virtual Reality Art installations. Causality plays an important role i...
ERSHOV
2006
Springer
14 years 1 days ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
CRYPTO
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...
EVOW
2008
Springer
13 years 12 months ago
2008
Springer
We introduce the concept of "minimal" search algorithm for a set of functions to optimize. We investigate the structure of closed under permutation (c.u.p.) sets and we c...