|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Prabhat Kumar Bharti, Tirthankar Ghosal, Mayank Agarwal, Asif Ekbal |
BetterPR: A Dataset for Estimating the Constructiveness of Peer Review Comments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPDL ![In: Linking Theory and Practice of Digital Libraries - 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20-23, 2022, Proceedings, pp. 500-505, 2022, Springer, 978-3-031-16801-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien |
Sequential Constructiveness, SCCharts for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering & Management ![In: Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, pp. 116-117, 2015, GI, 978-3-88579-633-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
39 | Norihiro Kamide, Heinrich Wansing |
Combining linear-time temporal logic with constructiveness and paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 8(1), pp. 33-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Hammad Majeed, Conor Ryan |
On the constructiveness of context-aware crossover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1659-1666, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
context-aware crossover, cache, context, fitness, crossover, constructive |
36 | Stephen A. Edwards |
Making cyclic circuits acyclic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 159-162, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
acyclic circuits, cyclic circuits, constructiveness, resynthesis |
28 | Simone Bova, Franco Montagna |
Proof search in Hájek's basic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 21:1-21:26, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
countermodel building, Fuzzy logic, automated deduction |
28 | Jens Brandt 0001, Klaus Schneider 0001 |
Formal Reasoning About Causality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 118-133, 2008, Springer, 978-3-540-71065-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Norbert Michael Mayer, J. Michael Herrmann, Theo Geisel |
Shaping of Receptive Fields in the Visual Cortex During Retinal Maturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 15(3), pp. 307-320, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
neural maps, receptive field development, retinal filter, visual cortex, natural images |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|