|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 34 keywords
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Antoni Torrens |
An Approach to Glivenko's Theorem in Algebraizable Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(3), pp. 349-383, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Glivenko’s Theorem, equivalential deductive system, compatible expansion, algebraic semantics, quasivariety, algebraizable logic |
36 | Gayatri Mehta, Justin Stander, Mustafa Baz, Brady Hunsaker, Alex K. Jones |
Interconnect customization for a hardware fabric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(1), pp. 11:1-11:32, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hardware fabric, architecture, computer-aided design, Reconfigurable, low-energy, demonstrable |
36 | Albert H. Carlson, Indira Kalyan Dutta, Bhaskar Ghosh |
A Demonstrable Break of PCBC Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNCC ![In: International Symposium on Networks, Computers and Communications, ISNCC 2023, Doha, Qatar, October 23-26, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3559-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Simon Colton, Jon McCormack, Michael Cook 0001, Sebastian Berns |
Creativity Theatre for Demonstrable Computational Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: Proceedings of the Eleventh International Conference on Computational Creativity, ICCC 2020, Coimbra, Portugal, September 7-11, 2020., pp. 288-291, 2020, Association for Computational Creativity (ACC), 978-989-54160-2-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
36 | Thomas F. J.-M. Pasquier, Jatinder Singh, Jean Bacon |
On Information Flow Control and Audit for Demonstrable Compliance in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tiny Trans. Comput. Sci. ![In: Tiny Trans. Comput. Sci. 4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
36 | Song Sun, Zijun Yan, Joseph Zambreno |
Demonstrable differential power analysis attacks on real-world FPGA-based embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. Comput. Aided Eng. ![In: Integr. Comput. Aided Eng. 16(2), pp. 119-130, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Alex K. Jones, Robert Walker |
Introduction to the special section on demonstrable software systems and hardware platforms II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(3), pp. 38:1-38:3, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Sung Kyu Lim, Massoud Pedram |
Introduction to special issue on demonstrable software systems and hardware platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 20:1-20:3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn |
Demonstrable Fault Tolerance for Distributed Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA., pp. 180-188, 1993, ACM, 0-89791-621-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Ada |
19 | Gilbert Cockton |
Design situations and methodological innovation in interaction design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 2745-2754, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
design situations, designing as connecting, interaction design and evaluation approaches (ideas)., situational ontology |
19 | Puya Ghasemi Afshar, Hong Wang 0001, Tianyou Chai |
An ILC-Based Adaptive Control for General Stochastic Systems With Strictly Decreasing Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(3), pp. 471-482, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Auroop R. Ganguly, Karsten Steinhaeuser, Alexandre Sorokine, Esther S. Parish, Shih-Chieh Kao, Marcia L. Branstetter |
Geographic analysis & visualization of climate extremes for the Quadrennial Defense Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 542-543, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GIS science, climate change |
19 | Andres S. Orrego, Tim Menzies, Oussama El-Rawas |
On the Relative Merits of Software Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 186-197, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
AI search, Software Reuse, COCOMO, COQUALMO |
19 | Scott Duke Kominers |
Dynamic Position Auctions with Consumer Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings, pp. 240-250, 2009, Springer, 978-3-642-02157-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Position auctions, dynamic auctions, consumer search, best-response bidding, convergence |
19 | Philippe Golle, Frank McSherry, Ilya Mironov |
Data Collection with Self-Enforcing Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 12(2), pp. 9:1-9:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
privacy, data collection |
19 | Ian Barland |
Some methods for teaching functions first using Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 256-259, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
functions first, fundamentals first, high school algebra, objects early, objects late, Java, CS1, syllabus |
19 | Marco Zimmerling, Waltenegus Dargie, Johnathan M. Reason |
Localized power-aware routing in linear wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASEMANS ![In: Proceedings of the 2nd ACM International Conference on Context-Awareness for Self-Managing Systems, CASEMANS 2008, May 19, 2008, Sydney, Australia, pp. 24-33, 2008, ACM, 978-1-60558-010-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linear topology, localized protocol, wireless sensor network, routing, energy efficiency |
19 | E. Sonny Butler, Cheryl Aasheim, Susan R. Williams |
Does telecommuting improve productivity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 50(4), pp. 101-103, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Albert T. Corbett, Angela Z. Wagner, Sharon Lesgold, Harry Ulrich, Scott M. Stevens |
Modeling Students' Natural Language Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Modeling ![In: User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007, Proceedings, pp. 117-126, 2007, Springer, 978-3-540-73077-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
Using model checking to find serious file system errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 24(4), pp. 393-423, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, file system, recovery, journaling, crash |
19 | Johanna Hunt, Pablo Romero, Judith Good |
Storytelling in Interaction: Agility in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings, pp. 196-197, 2006, Springer, 3-540-35094-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Golle, Frank McSherry, Ilya Mironov |
Data collection with self-enforcing privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, October 30 - November 3, 2006, pp. 69-78, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
privacy, data collection |
19 | John K. Debenham, Simeon J. Simoff |
An e-market framework for informed trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 651-658, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
market reliability, virtual institutions, data mining, electronic markets, trading agents |
19 | John K. Debenham, Simeon J. Simoff |
Making Informed Automated Trading a Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006, Proceedings, pp. 193-202, 2006, Springer, 3-540-37743-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Li-Qun Xu, Paulo Villegas, Mónica Díez, Ebroul Izquierdo, Stephan Herrmann 0002, Vincent Bottreau, Ivan Damnjanovic, Damien Papworth |
A User-Centred System for End-to-End Secure Multimedia Content Delivery: From Content Annotation to Consumer Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Image and Video Retrieval: Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004. Proceedings, pp. 656-664, 2004, Springer, 3-540-22539-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Czarn, Cara MacNish, Kaipillil Vijayan, Berwin A. Turlach |
Statistical Exploratory Analysis of Genetic Algorithms: The Influence of Gray Codes upon the Difficulty of a Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings, pp. 1246-1252, 2004, Springer, 3-540-24059-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Gordon S. Blair, Geoff Coulson, Michael Clarke, Nikos Parlavantzas |
Performance and Integrity in the OpenORB Reflective Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 268-269, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Lawrence J. Rosenblum |
Virtual and Augmented Reality 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 20(1), pp. 38-39, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Herbert Schorr, Salvatore J. Stolfo |
Towards the digital government of the 21st century: a report from the workshop on research and development opportunities in federal information services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 2000 National Conference on Digital Government Research, DG.O 2000, Los Angeles, CA, USA, May 15-17, 2000, 2000, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Dinkar N. Bhat, Shree K. Nayar |
Ordinal Measures for Image Correspondence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(4), pp. 415-423, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ordinal measures, correlation, Image matching, stereo, correspondence |
19 | K. P. Lam, A. Furness |
An Analytical Design of High-Speed Pixel Transformation for Object Boundary Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 807-814, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | K. P. Lam |
UHC - A Massively Parallel and Distributed Realisation of Hierarchical Classifier Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 186-189, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Dinkar N. Bhat, Shree K. Nayar |
Ordinal Measures for Visual Correspondence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 351-357, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Peter E. Lauer, Roy H. Campbell |
A Description of Path Expressions by Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pp. 95-105, 1975, ACM Press. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
19 | J. P. R. Tootill, W. D. Robinson, D. J. Eagle |
An Asymptotically Random Tausworthe Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(3), pp. 469-481, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|