3394 search results - page 131 / 679 » A Modal Model of Memory |
150
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
102
Voted
ENTCS
2007
15 years 3 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
163
Voted
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
139
Voted
TCS
2011
14 years 10 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
128
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...