1010 search results - page 30 / 202 » A Database Approach to Distributed State Space Generation |
77
Voted
SAC
2004
ACM
15 years 3 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
72
Voted
NIPS
2004
14 years 11 months ago
2004
We provide a method for mass meta-analysis in a neuroinformatics database containing stereotaxic Talairach coordinates from neuroimaging experiments. Database labels are used to g...
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
106
click to vote
AAAI
2004
14 years 11 months ago
2004
A memory-based heuristic is a heuristic function that is stored in a lookup table. Very accurate heuristics have been created by building very large lookup tables, sometimes calle...
106
Voted
BMVC
2010
14 years 7 months ago
2010
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...