9405 search results - page 1041 / 1881 » Computing a Model of Set Theory |
197
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
221
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
The major scientific problem for content-based video retrieval is the semantic gap. Generally speaking, there are two appropriate ways to bridge the semantic gap: the first one is...
243
click to vote
IJON
2006
15 years 7 months ago
2006
In this paper, we first design a more generalized network model, Improved CBP, based on the same structure as Circular BackPropagation (CBP) proposed by Ridella et al. The novelty ...
256
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
209
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We conducted a preliminary field study to understand the current state of personal digital archiving in practice. Our aim is to design a service for the long-term storage, preserv...