1115 search results - page 127 / 223 » An Abstract Look at Realizability |
144
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Condensation is a popular algorithm for sequential inference that resamples a sampled representation of the posterior. The algorithm is known to be asymptotically correct...
131
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
121
click to vote
CP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
205
click to vote
SEAAI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
142
click to vote
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...