|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings, pp. 71-82, 2003, Springer, 3-540-20103-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 240-259, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part C), pp. 122028, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | P. Svenerudh, Benny Raphael, Ian F. C. Smith |
Lowering Costs of Timber Shear-Wall Design using Global Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 18(2), pp. 93-108, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, pp. 9-25, 1998, Springer, 3-540-64405-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|