Search results for "HAMLET"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	A. K. Jain, Mostafa I. H. Abd-El-Barr, R. J. Bolton	Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm.	ISMVL	1995	DBLP DOI BibTeX RDF	current-mode CMOS multiple-valued logic function realization, heuristic based programs, sum of product form expression, HAMLET, Gold heuristic, current mode CMOS, multiple valued logic function realization, direct cover algorithm, logic design, random sample, multivalued logic, CMOS logic circuits, heuristic programming, MVL function
78	Gertjan Keesman, Andrew Cotton, Damien Kessler, Jan de Lameillieure, Jean-Pierre Henot, André Nicoulin, Dimitris Kalivas	Study of the subjective performance of a range of MPEG-2 encoders.	ICIP	1995	DBLP DOI BibTeX RDF	subjective performance, MPEG-2 encoders, HAMLET subgroup WP2, Recommendation ITU-R 500-5, software encoder, hardware encoder, RACE project, optimized software encoder, SNR scalable encoder, base layer, enhancement layer, 4 Mbit/s, 3 Mbit/s, 7 Mbit/s, data compression, optimisation, video coding, telecommunication standards
68	Oren Etzioni, Rattapoom Tuchinda, Craig A. Knoblock, Alexander Yates	To buy or not to buy: mining airfare data to minimize ticket purchase price.	KDD	2003	DBLP DOI BibTeX RDF	airline price prediction, price mining, Internet, Web mining
68	Michael Schroeder 0001, Daniela Alina Plewe, Andreas Raab	ULTIMA RATIO - A Visual Language for Argumentation.	IV	1999	DBLP DOI BibTeX RDF	Argumentation, Reasoning, Visualisation, Conflict Resolution
68	Daniel Borrajo, Manuela M. Veloso	Incremental Learning of Control Knowledge for Nonlinear Problem Solving.	ECML	1994	DBLP DOI BibTeX RDF
45	Adriana Budura, Sebastian Michel 0001, Philippe Cudré-Mauroux, Karl Aberer	To tag or not to tag -: harvesting adjacent metadata in large-scale tagging systems.	SIGIR	2008	DBLP DOI BibTeX RDF	tag propagation, tagging systems, social communities
45	Rocío García-Durán, Fernando Fernández 0001, Daniel Borrajo	Combining Macro-operators with Control Knowledge.	ILP	2006	DBLP DOI BibTeX RDF
29	Alain Rakotomamonjy, Maxime Vono, Hamlet Jesse Medina Ruiz, Liva Ralaivola	Personalised Federated Learning On Heterogeneous Feature Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
29	Hamlet Humberto Castillo-Alvino, Marcos Marvá	Group defense promotes coexistence in interference competition: The Holling type IV competitive response.	Math. Comput. Simul.	2022	DBLP DOI BibTeX RDF
29	Ruben Ohana, Hamlet Jesse Medina Ruiz, Julien Launay, Alessandro Cappelli, Iacopo Poli, Liva Ralaivola, Alain Rakotomamonjy	Photonic Differential Privacy with Direct Feedback Alignment.	CoRR	2021	DBLP BibTeX RDF
29	Ruben Ohana, Hamlet Jesse Medina Ruiz, Julien Launay, Alessandro Cappelli, Iacopo Poli, Liva Ralaivola, Alain Rakotomamonjy	Photonic Differential Privacy with Direct Feedback Alignment.	NeurIPS	2021	DBLP BibTeX RDF
29	Thomas R. Martin, Hamlet Gasoyan, David J. Wierz	Error by omission: A lack of integration across implementation and use in structuring health information technology contracts.	Health Informatics J.	2020	DBLP DOI BibTeX RDF
29	James Obert, Sean Turner, Jason Hamlet	Graph Theory and IC Component Design Analysis.	AI4I	2020	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Jackson R. Mayo, Vivian Kammler	Targeted modification of hardware trojans.	J. Hardw. Syst. Secur.	2019	DBLP DOI BibTeX RDF
29	Christina L. Hamlet, Kathleen A. Hoffman, Eric D. Tytell, Lisa J. Fauci	The role of curvature feedback in the energetics and dynamics of lamprey swimming: A closed-loop model.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
29	David Devadze, Hamlet Meladze	Algorithm of Solution an Optimal Control Problem for Elliptic Differential Equations with m-Point Bitsadze-Samarski Conditions.	EWDTS	2018	DBLP DOI BibTeX RDF
29	Jonathan D. Suever, Gregory J. Wehner, Linyuan Jing, David K. Powell, Sean M. Hamlet, Jonathan D. Grabau, Dimitri Mojsejenko, Kristin N. Andres, Christopher M. Haggerty, Brandon K. Fornwalt	Right Ventricular Strain, Torsion, and Dyssynchrony in Healthy Subjects Using 3D Spiral Cine DENSE Magnetic Resonance Imaging.	IEEE Trans. Medical Imaging	2017	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Mitchell T. Martin, Nathan J. Edwards	Unique signatures from printed circuit board design patterns and surface mount passives.	ICCST	2017	DBLP DOI BibTeX RDF
29	Hamlet Medina Ruiz, Michel Kieffer, Béatrice Pesquet-Popescu	TCP and Network Coding: Equilibrium and Dynamic Properties.	IEEE/ACM Trans. Netw.	2016	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Christopher C. Lamb	Dependency Graph Analysis and Moving Target Defense Selection.	MTD@CCS	2016	DBLP DOI BibTeX RDF
29	Dick Hamlet	Theory of Software Testing With Persistent State.	IEEE Trans. Reliab.	2015	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Robert W. Brocato	Throughput-optimized implementations of QUAD.	J. Cryptogr. Eng.	2015	DBLP DOI BibTeX RDF
29	Joshua Templin, Jason R. Hamlet	A new power-aware FPGA design metric.	J. Cryptogr. Eng.	2015	DBLP DOI BibTeX RDF
29	Alan J. Hamlet, Carl D. Crane III	Joint Belief and Intent Prediction for Collision Avoidance in Autonomous Vehicles.	CoRR	2015	DBLP BibTeX RDF
29	Guido Zuccon, Sankalp Khanna, Anthony N. Nguyen, Justin R. Boyle, Matthew Hamlet, Mark A. Cameron	Automatic detection of tweets reporting cases of influenza like illnesses in Australia.	Health Inf. Sci. Syst.	2015	DBLP DOI BibTeX RDF
29	Connor Hamlet, Daniel Korn, Nikhil Prasad, Volodymyr Siedlecki, Eliezer Encarnacion, Jacob W. Bartel, Prasun Dewan	User-Interfaces for Incremental Recipient and Response Time Predictions in Asynchronous Messaging.	IUI Companion	2015	DBLP DOI BibTeX RDF
29	Luis E. Anza, Enrique D. Ferreira 0001, Hamlet E. Suarez	Design and construction of a prototype system for gait analysis for research in subjects with balance problems.	LASCAS	2015	DBLP DOI BibTeX RDF
29	Alan J. Hamlet, Carl D. Crane III	Robotic Behavior Prediction Using Hidden Markov Models.	CoRR	2014	DBLP BibTeX RDF
29	Todd Bauer, Jason R. Hamlet	Physical Unclonable Functions: A Primer.	IEEE Secur. Priv.	2014	DBLP DOI BibTeX RDF
29	Gio Kao, Han Lin, Brandon Eames, Jason J. Haas, Alexis Fisher, John Michalski, Jon Blount, Jason R. Hamlet, Erik Lee, John Gauthier, Gregory D. Wyss, Ryan Helinski, Dustin Franklin	Supply chain lifecycle decision analytics.	ICCST	2014	DBLP DOI BibTeX RDF
29	Alan J. Hamlet, Patrick Emami, Carl D. Crane III	A gesture recognition system for mobile robots that learns online.	IROS	2014	DBLP DOI BibTeX RDF
29	Fernando Bagalciague, Cecilia San Román, Mariana Arocena, Hamlet E. Suarez, Enrique D. Ferreira 0001, Nicolas Peña	Unstable gait assessment with a portable analysis system.	I2MTC	2014	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Robert W. Brocato	Speed Optimized Implementations of the QUAD Algorithm.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
29	Hamlet Medina Ruiz, Michel Kieffer, Béatrice Pesquet-Popescu	TCP and network coding equilibrium and dynamic properties.	NetCod	2013	DBLP DOI BibTeX RDF
29	Jason J. Haas, J. D. Doak, Jason R. Hamlet	Machine-oriented biometrics and cocooning for dynamic network defense.	CSIIRW	2013	DBLP DOI BibTeX RDF
29	Dick Hamlet	Science, Mathematics, Computer Science, Software Engineering.	Comput. J.	2012	DBLP DOI BibTeX RDF
29	Hamlet Medina Ruiz, Michel Kieffer, Béatrice Pesquet-Popescu	Redundancy adaptation scheme for network coding with TCP.	NetCod	2012	DBLP DOI BibTeX RDF
29	Hamlet Medina Ruiz, Lana Iwaza, Michel Kieffer, Béatrice Pesquet-Popescu, Khaldoun Al Agha	Evaluation of multicasting schemes based on joint multiple description and network coding.	WCNC	2012	DBLP DOI BibTeX RDF
29	Jason R. Hamlet, Kevin Eng, Tom Gurrieri, James Levy, Malcolm Carroll	Modeling of circuits with strongly temperature dependent thermal conductivities for cryogenic CMOS.	Microelectron. J.	2011	DBLP DOI BibTeX RDF
29	Dick Hamlet	Subdomain (Partition) Testing.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
29	Dick Hamlet	Tools and experiments supporting a testing-based theory of component composition.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	CAD tool support for CBSD, Experiments with composition of software components, synthesis of system properties, component-based software development (CBSD)
29	James E. Levy, Anand Ganti, Cynthia A. Phillips, Benjamin R. Hamlet, Andrew J. Landahl, Thomas M. Gurrieri, Robert D. Carr, Malcolm S. Carroll	Brief announcement: the impact of classical electronics constraints on a solid-state logical qubit memory.	SPAA	2009	DBLP DOI BibTeX RDF	classical electronics, logical qubit, quantum architecture, quantum information processsing
29	Borislav Nikolik, Dick Hamlet	Practical ultra-reliability for abstract data types.	Softw. Test. Verification Reliab.	2007	DBLP DOI BibTeX RDF
29	Dick Hamlet	Software component composition: a subdomain-based testing-theory foundation.	Softw. Test. Verification Reliab.	2007	DBLP DOI BibTeX RDF
29	Dick Hamlet	Test-Based Specifications of Components and Systems.	QSIC	2007	DBLP DOI BibTeX RDF	Component/system testing theory, test- based specification, persistent state
29	Dick Hamlet	Defining "Predictable Assembly".	CBSE	2006	DBLP DOI BibTeX RDF
29	Dick Hamlet	Subdomain testing of units and systems with state.	ISSTA	2006	DBLP DOI BibTeX RDF	persistent state, unit/system testing, testing theory
29	Dick Hamlet	When only random testing will do.	Random Testing	2006	DBLP DOI BibTeX RDF	random vs. systematic testing, testing theory
29	Dick Hamlet	Invariants and state in testing and formal methods.	PASTE	2005	DBLP DOI BibTeX RDF
29	Sharon Flynn, Dick Hamlet	On Formal Specification of Software Components and Systems.	MFCSIT	2004	DBLP DOI BibTeX RDF
29	Francisco Criado, Tamaz Gachechiladze, Nato Jorjiashvili, Teimuraz Mandjaparashvili, Hamlet Meladze, Gia Sirbiladze, Tamaz Tsilossani, Guram Tsertsvadze	Fuzzy Analysis (Image Construction) of the Language Structure on a Finite Set of Insufficient Data.	J. Quant. Linguistics	2004	DBLP DOI BibTeX RDF
29	Dick Hamlet	Report on the ICSE 2003 doctoral symposium.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
29	Francisco Criado, Tamaz Gachechiladze, Nato Jorjiashvili, Z. Khvedelidze, Hamlet Meladze, J. M. Sánchez, Gia Sirbiladze, Guram Tsertsvadze	Theory of connectivity and apportionment of representative activity chains in the problem of decision-making concerning earthquake possibility.	Int. J. Gen. Syst.	2003	DBLP DOI BibTeX RDF
29	Dick Hamlet, Mary Lou Soffa	Report on the ICSE 2003 Doctoral Symposium.	ICSE	2003	DBLP DOI BibTeX RDF
29	Francisco Criado, Tamaz Gachechiladze, Hamlet Meladze, Guram Tsertsvadze	The bag model in language statistics.	Inf. Sci.	2002	DBLP DOI BibTeX RDF
29	Francisco Criado Torralba, Tamaz Gachechiladze, Hamlet Meladze, Guram Tsertsvadze	Fuzzy models of language structures.	IEEE Trans. Fuzzy Syst.	2002	DBLP DOI BibTeX RDF
29	Dick Hamlet	Continuity in sofware systems.	ISSTA	2002	DBLP DOI BibTeX RDF
29	Richard G. Hamlet, David V. Mason, Denise M. Woit	Theory of Software Reliability Based on Components.	ICSE	2001	DBLP DOI BibTeX RDF
29	Francisco Criado, T. D. Davitashvili, Hamlet Meladze, Nugzar Skhirtladze	On one numerical method for solving some self-similarityproblems of gas-dynamics on a multiprocessor.	Int. J. Comput. Math.	2000	DBLP DOI BibTeX RDF
29	Dick Hamlet	Mathematics, Computer Science, Software Engineering.	MFCSIT	2000	DBLP DOI BibTeX RDF
29	Sergio Antoy, Richard G. Hamlet	Automatically Checking an Implementation against Its Formal Specification.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Self-checking code, object-oriented software testing, formal specification, rewriting
29	Richard G. Hamlet	On subdomains: Testing, profiles, and components.	ISSTA	2000	DBLP DOI BibTeX RDF
29	Francisco Criado, T. Gachechiladez, Hamlet Meladze	Inverse spline-interpolation for numerically solving a piston problem with isothermic gas compression and constant velocityIsothermic gas compression and constant velocity.	Int. J. Comput. Math.	1999	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Tribute: John Gannon.	Softw. Test. Verification Reliab.	1999	DBLP DOI BibTeX RDF
29	Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini	Evaluating Testing Methods by Delivered Reliability.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	statistical testing theory, Reliability, software testing, debugging
29	Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson	The Most Influential Papers from the ISSTA Research Community (Panel).	ISSTA	1998	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	An Essay on Software Testing for Quality Assurance - Editor's Introduction.	Ann. Softw. Eng.	1997	DBLP DOI BibTeX RDF
29	Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini	Choosing a Testing Method to Deliver Reliability.	ICSE	1997	DBLP DOI BibTeX RDF	statistical testing theory, reliability, debugging
29	Richard G. Hamlet	Predicting Dependability by Testing.	ISSTA	1996	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Software Quality, Software Process, and Software Testing.	Adv. Comput.	1995	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Implementing Prototype Testing Tools.	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
29	Dick Hamlet	Connecting test coverage to software dependability.	ISSRE	1994	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Foundations of Software Testing: Dependability Theory.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
29	Richard G. Hamlet, Jeffrey M. Voas	Faults on Its Sleeve: Amplifying Software Reliability Testing.	ISSTA	1993	DBLP DOI BibTeX RDF	software reliability, testability, failure, fault
29	Richard G. Hamlet, Bruce Gifford, Borislav Nikolik	Exploring Dataflow Testing of Arrays.	ICSE	1993	DBLP BibTeX RDF
29	Richard G. Hamlet	Are We Testing for True Reliability?	IEEE Softw.	1992	DBLP DOI BibTeX RDF
29	Sergio Antoy, Richard G. Hamlet	Self-Checking against Formal Specifications.	ICCI	1992	DBLP BibTeX RDF
29	Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet	Comparison of Program Testing Strategies.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	DEBUG
29	Richard G. Hamlet, Ross Taylor	Partition Testing Does Not Inspire Confidence.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models
29	Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet	Mathematical Principles for a First Course in Software Engineering.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	mathematical principles, first course, introductory computer science course, software engineering, software engineering, computer science education, mathematics computing, educational courses
29	Jim Hunter, Nick Gotts, Ian Hamlet, Ian K. Kirby	Qualitative Spatial and Temporal Reasoning in Cardiac Electrophysiology.	AIME	1989	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Theoretical Comparison of Testing Methods.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Special Section on Software Testing.	Commun. ACM	1988	DBLP DOI BibTeX RDF
29	I. M. Hamlet	Assumption based temporal reasoning in medicine.		1988	RDF
29	Richard G. Hamlet	Probable Correctness Theory.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
29	John D. Gannon, Richard G. Hamlet, Harlan D. Mills	Theory of Modules.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
29	Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet	Teaching principles of computer programming.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
29	John D. Gannon, Richard G. Hamlet, Harlan D. Mills	Functional Semantics of Modules.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
29	Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili	Software Engineering Practices in the US and Japan.	Computer	1984	DBLP DOI BibTeX RDF
29	Dick Hamlet	Debugging "level": step-wise debugging.	SIGSOFT	1983	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Reliability Theory of Program Testing.	Acta Informatica	1981	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Hard-to-use evaluation criteria for software engineering.	J. Syst. Softw.	1981	DBLP DOI BibTeX RDF
29	John D. Gannon, Paul R. McMullin, Richard G. Hamlet	Data-Abstraction Implementation, Specification, and Testing.	ACM Trans. Program. Lang. Syst.	1981	DBLP DOI BibTeX RDF
29	John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis	Testing traversable stacks.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
29	Richard G. Hamlet, Robert M. Haralick	Transportable Package Software.	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Report on Florida testing workshop.	ACM SIGSOFT Softw. Eng. Notes	1979	DBLP DOI BibTeX RDF
29	Richard G. Hamlet, Azriel Rosenfeld	Transportable image-processing software.	MARK	1979	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Test reliability and software maintenance.	COMPSAC	1978	DBLP DOI BibTeX RDF
29	Richard G. Hamlet	Ignorance of ALGOL 68 considered harmful.	ACM SIGPLAN Notices	1977	DBLP DOI BibTeX RDF