3394 search results - page 130 / 679 » A Modal Model of Memory |
132
Voted
ITA
2007
15 years 3 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
131
Voted
MMM
2012
Springer
13 years 11 months ago
2012
Springer
In this paper, we present a novel PLSA-based aspect model and turn cross-media retrieval into two parts of multi-modal integration and correlation propagation. We first use multiva...
116
Voted
SPAA
2003
ACM
15 years 9 months ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
120
Voted
PC
2007
15 years 3 months ago
2007
In this paper, we study the problem of optimal matrix partitioning for parallel dense factorization on heterogeneous processors. First, we outline existing algorithms solving the ...
103
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a clustering-based method for representing semantic concepts on multimodal low-level feature spaces and study the evaluation of the goodness of such model...