|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 11 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
195 | Benny Raphael, Ian F. C. Smith |
Global Search through Sampling Using a PDF. |
SAGA |
2003 |
DBLP DOI BibTeX RDF |
PGSL, genetic algorithms, optimization, stochastic search, Global search |
79 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
46 | Xovee Xu, Tangjiang Qian, Zhe Xiao, Ni Zhang, Jin Wu, Fan Zhou 0002 |
PGSL: A probabilistic graph diffusion model for source localization. |
Expert Syst. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
26 | P. Svenerudh, Benny Raphael, Ian F. C. Smith |
Lowering Costs of Timber Shear-Wall Design using Global Search. |
Eng. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Cost minimisation, Shear walls, Timber design, Genetic algorithms, Optimization, Object representation, Global search |
26 | Carroll Morgan |
The Generalised Substitution Language Extended to Probabilistic Programs. |
B |
1998 |
DBLP DOI BibTeX RDF |
GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|