Search results for "demonstrable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Antoni Torrens	An Approach to Glivenko's Theorem in Algebraizable Logics.	Stud Logica	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.	ACM Trans. Design Autom. Electr. Syst.	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.	ISNCC	2023	DBLP DOI BibTeX RDF
36	Simon Colton, Jon McCormack, Michael Cook 0001, Sebastian Berns	Creativity Theatre for Demonstrable Computational Creativity.	ICCC	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.	Tiny Trans. Comput. Sci.	2016	DBLP BibTeX RDF
36	Song Sun, Zijun Yan, Joseph Zambreno	Demonstrable differential power analysis attacks on real-world FPGA-based embedded systems.	Integr. Comput. Aided Eng.	2009	DBLP DOI BibTeX RDF
36	Alex K. Jones, Robert Walker	Introduction to the special section on demonstrable software systems and hardware platforms II.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF
36	Sung Kyu Lim, Massoud Pedram	Introduction to special issue on demonstrable software systems and hardware platforms.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF
36	Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn	Demonstrable Fault Tolerance for Distributed Ada.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
19	Gilbert Cockton	Design situations and methodological innovation in interaction design.	CHI Extended Abstracts	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.	IEEE Trans. Neural Networks	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.	GIS	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.	ICSP	2009	DBLP DOI BibTeX RDF	AI search, Software Reuse, COCOMO, COQUALMO
19	Scott Duke Kominers	Dynamic Position Auctions with Consumer Search.	AAIM	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.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	privacy, data collection
19	Ian Barland	Some methods for teaching functions first using Java.	ACM Southeast Regional Conference	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.	CASEMANS	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?	Commun. ACM	2007	DBLP DOI BibTeX RDF
19	Albert T. Corbett, Angela Z. Wagner, Sharon Lesgold, Harry Ulrich, Scott M. Stevens	Modeling Students' Natural Language Explanations.	User Modeling	2007	DBLP DOI BibTeX RDF
19	Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi	Using model checking to find serious file system errors.	ACM Trans. Comput. Syst.	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.	XP	2006	DBLP DOI BibTeX RDF
19	Philippe Golle, Frank McSherry, Ilya Mironov	Data collection with self-enforcing privacy.	CCS	2006	DBLP DOI BibTeX RDF	privacy, data collection
19	John K. Debenham, Simeon J. Simoff	An e-market framework for informed trading.	WWW	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.	EC-Web	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.	CIVR	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.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
19	Gordon S. Blair, Geoff Coulson, Michael Clarke, Nikos Parlavantzas	Performance and Integrity in the OpenORB Reflective Middleware.	Reflection	2001	DBLP DOI BibTeX RDF
19	Lawrence J. Rosenblum	Virtual and Augmented Reality 2020.	IEEE Computer Graphics and Applications	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.	DG.O	2000	DBLP BibTeX RDF
19	Dinkar N. Bhat, Shree K. Nayar	Ordinal Measures for Image Correspondence.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	Euro-Par	1997	DBLP DOI BibTeX RDF
19	K. P. Lam	UHC - A Massively Parallel and Distributed Realisation of Hierarchical Classifier Networks.	ISPAN	1997	DBLP DOI BibTeX RDF
19	Dinkar N. Bhat, Shree K. Nayar	Ordinal Measures for Visual Correspondence.	CVPR	1996	DBLP DOI BibTeX RDF
19	Peter E. Lauer, Roy H. Campbell	A Description of Path Expressions by Petri Nets.	POPL	1975	DBLP DOI BibTeX RDF
19	J. P. R. Tootill, W. D. Robinson, D. J. Eagle	An Asymptotically Random Tausworthe Sequence.	J. ACM	1973	DBLP DOI BibTeX RDF