3394 search results - page 130 / 679 » A Modal Model of Memory |
171
click to vote
ITA
2007
15 years 6 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...
168
click to vote
MMM
2012
Springer
14 years 2 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...
163
click to vote
SPAA
2003
ACM
15 years 11 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...
151
click to vote
PC
2007
15 years 6 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 ...
138
click to vote
ICMCS
2006
IEEE
16 years 14 days 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...