Search results for "bloom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Leon J. Bloom	Discussion of An Analysis of the Market for Systems Reliability Assurance Services.	J. Inf. Syst.	2000	DBLP DOI BibTeX RDF
22	Mihály Bencze, Dan Saracino, Allen Stenger, S. Amghibech, Jean Anglesio, R. Bauer, A. Siegel, David M. Bloom, G. L. Body, David Callan, Robin J. Chapman, Kevin Ford, Stephen M. Gagola Jr., N. Gauthier, W. V. Grounds, T. Hagedorn, R. T. Koether, N. Komanda, R. N. Krishnan, K.-W. Lau, John H. Lindsey II, L. E. Mattics, C. A. Minh, H. N. Ozsoylev, C. Y. Yildirim, P. G. Poonacha, N. R. Sanjeev, C. Popescu, J. Robertson, H.-J. Sieffert, Jeffrey O. Shallit, N. C. Singer, Albert Stadler, D. C. Terr, T. V. Triff, T. Trimble, Pavel Trojovský	A Recurrence Generating Multiples of Primes: 10655.	Am. Math. Mon.	2000	DBLP BibTeX RDF
22	Jeffrey A. Bloom, Todd R. Reed	Examining the Effects of Basis Function Truncation in the DGT.	ICIP	2000	DBLP DOI BibTeX RDF
22	Matthew L. Miller, Ingemar J. Cox, Jeffrey A. Bloom	Informed Embedding: Exploiting Image and Detector Information During Watermark Insertion.	ICIP	2000	DBLP DOI BibTeX RDF
22	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence Formats for Decorated Trace Preorders.	LICS	2000	DBLP DOI BibTeX RDF	semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
22	D. Aaronson, B. Findley, B. Bloom, B. Burgess, B. Merchant, W. Reed III	A Component-based Hierarchical Rule System for Business Applications.	Artificial Intelligence and Soft Computing	2000	DBLP BibTeX RDF
22	Ingemar J. Cox, Matthew L. Miller, Jeffrey A. Bloom	Watermarking applications and their properties.	ITCC	2000	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract.	LATIN	2000	DBLP DOI BibTeX RDF
22	Ching-Yung Lin, Min Wu 0001, Jeffrey A. Bloom, Ingemar J. Cox, Matthew L. Miller, Yui Man Lui	Rotation-, scale-, and translation-resilient public watermarking for images.	Security and Watermarking of Multimedia Contents	2000	DBLP DOI BibTeX RDF
22	Jefferey A. Bloom, Ingemar J. Cox, Ton Kalker, Jean-Paul M. G. Linnartz, Matthew L. Miller, C. Brendan S. Traw	Copy protection for DVD video.	Proc. IEEE	1999	DBLP DOI BibTeX RDF
22	Min Wu 0001, Matthew L. Miller, Jeffrey A. Bloom, Ingemar J. Cox	A rotation, scale and translation resilient public watermark.	ICASSP	1999	DBLP DOI BibTeX RDF
22	Brian Bloom, F. Carter Bancroft	Liposome mediated biomolecular computation.	DNA Based Computers	1999	DBLP DOI BibTeX RDF
22	L. Ivanov, R. Nunna, S. Bloom	Modeling and analysis of noniterated systems: an approach based upon series-parallel posets.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
22	Matthew L. Miller, Jeffrey A. Bloom	Computing the Probability of False Watermark Detection.	Information Hiding	1999	DBLP DOI BibTeX RDF
22	Anthony S. Acampora, Scott H. Bloom, Srikanth V. Krishnamurthy	UniNet: a hybrid approach for universal broadband access using small radio cells interconnected by free-space optical links.	IEEE J. Sel. Areas Commun.	1998	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Shuffle binoids.	RAIRO Theor. Informatics Appl.	1998	DBLP DOI BibTeX RDF
22	Jeffrey A. Bloom, Todd R. Reed	On the Compression of Still Images using the Derivative of Gaussian Transform.	ICIP (3)	1998	DBLP BibTeX RDF
22	David A. Bloom	Using Internet Technology to Assist Parental Involvement in Education.	WebNet	1998	DBLP BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Varieties Generated by Languages with Poset Operations.	Math. Struct. Comput. Sci.	1997	DBLP BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	The Equational Logic of Fixed Points (Tutorial).	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
22	Bard Bloom, Allan Cheng, Ashvin Dsouza	Using a Protean Language to Enhance Expressiveness in Specification.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	model checking, verification, Formal methods, specification, process algebra, structured operational semantics
22	Thomas Bloom, Jean-Paul Calvi	A continuity property of multivariate Lagrange interpolation.	Math. Comput.	1997	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Axiomatizing Shuffle and Concatenation in Languages.	Inf. Comput.	1997	DBLP DOI BibTeX RDF
22	Jeffrey A. Bloom, Todd R. Reed	An uncertainty analysis of some real functions for image processing applications.	ICIP (3)	1997	DBLP DOI BibTeX RDF	real functions, analyzing functions, joint locality, local function families, Gabor's joint uncertainty, numerical basis, Hermite function, Gabor cosine, image processing, image compression, uncertainty analysis, Gaussian derivative, uncertainty principle, image processing applications, visual applications
22	Mary E. S. Loomis, Toby Bloom, A. Michael Berman (eds.)	Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997.	OOPSLA	1997	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes	Iteration 2-Theories: Extended Abstract.	AMAST	1997	DBLP DOI BibTeX RDF
22	H. M. Bloom	Enterprise Integration - A United States View.	ICEIMT	1997	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters	Matrices, machines and behaviors.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
22	Floyd E. Bloom	The Multidimensional Database and Neuroinformatics Requirements for Molecular and Cellular Neuroscience.	NeuroImage	1996	DBLP BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Free Shuffle Algebras in Language Varieties.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Fixed-Point Operations on ccc's. Part I.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Two Axiomatizations of a Star Semiring Quasi-Variety.	Bull. EATCS	1996	DBLP BibTeX RDF
22	Jeffrey A. Bloom, Todd R. Reed	A Gaussian derivative-based transform.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
22	Charles P. Bloom	Promoting the Transfer of Advanced Training Technologies.	Intelligent Tutoring Systems	1996	DBLP DOI BibTeX RDF
22	Charles Bloom	New Techniques in Context Modeling and Arithmetic Encoding.	Data Compression Conference	1996	DBLP DOI BibTeX RDF
22	Charles Bloom	LZP: A New Data Compression Algorithm.	Data Compression Conference	1996	DBLP DOI BibTeX RDF
22	Bard Bloom	Structural Operational Semantics for Weak Bisimulations.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
22	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't be Traced.	J. ACM	1995	DBLP DOI BibTeX RDF	process algebra, bisimulation, CCS, CCS, structural operational semantics
22	Stephen L. Bloom, Zoltán Ésik	Some Equational Laws of Initiality in 2CCC's.	Int. J. Found. Comput. Sci.	1995	DBLP DOI BibTeX RDF
22	Bard Bloom, Robert Paige	Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem.	Sci. Comput. Program.	1995	DBLP DOI BibTeX RDF
22	Chris Clifton, Hector Garcia-Molina, David Bloom	HyperFile: A Data and Query Model for Documents	VLDB J.	1995	DBLP BibTeX RDF
22	Ashvin Dsouza, Bard Bloom	Generating BDD Models for Process Algebra Terms.	CAV	1995	DBLP DOI BibTeX RDF
22	Scott Wolff, Charles Bloom, Anoosh Shahidi	Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring.	SEKE	1995	DBLP BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Nonfinite Axiomatizability of Shuffle Inequalities.	TAPSOFT	1995	DBLP DOI BibTeX RDF
22	Bard Bloom	Structured Operational Semantics as a Specification Language.	POPL	1995	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Free Shuffle Algebras in Language Varieties (Extended Abstract).	LATIN	1995	DBLP DOI BibTeX RDF
22	Ashvin Dsouza, Bard Bloom	On the Expressive Power of CCS.	FSTTCS	1995	DBLP DOI BibTeX RDF
22	Bard Bloom, Alan D. Fekete	Self-sufficiency and critical thinking in the programming languages course.	ACM SIGCSE Bull.	1994	DBLP DOI BibTeX RDF
22	Gary S. Bloom, Sergio Ruiz	Decompositions into Linear Forests and Difference Labelings of Graphs.	Discret. Appl. Math.	1994	DBLP DOI BibTeX RDF
22	Bard Bloom	When is Partial Trace Equivalence Adequate?	Formal Aspects Comput.	1994	DBLP DOI BibTeX RDF
22	Luca Aceto, Bard Bloom, Frits W. Vaandrager	Turning SOS Rules into Equations	Inf. Comput.	1994	DBLP DOI BibTeX RDF
22	Bard Bloom	CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.	POPL	1994	DBLP DOI BibTeX RDF
22	Dan Bloom	Selection criterion and implementation of a trouble tracking system: what's in a paradigm?	SIGUCCS	1994	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Solving Polynomial Fixed Point Equations.	MFCS	1994	DBLP DOI BibTeX RDF
22	Yoram Moses, Ben Bloom	Knowledge, Timed Precedence and Clocks (Preliminary Report).	PODC	1994	DBLP DOI BibTeX RDF
22	Toby Bloom, Mark Day	Reconfiguration and module replacement in Argus: theory and practice.	Softw. Eng. J.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Equational Axioms for Regular Sets.	Math. Struct. Comput. Sci.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Matrix and Matricial Iteration Theories, Part II.	J. Comput. Syst. Sci.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Matrix and Matricial Iteration Theories, Part I.	J. Comput. Syst. Sci.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Erratum: Iteration Algebras.	Int. J. Found. Comput. Sci.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik, Dirk Taubner	Iteration Theories of Synchronization Trees	Inf. Comput.	1993	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Iteration Theories - The Equational Logic of Iterative Processes		1993	DOI RDF
22	Stephen L. Bloom, Zoltán Ésik	Some Quasi-Varieties of Iteration Theories.	MFPS	1993	DBLP DOI BibTeX RDF
22	Jeffrey A. Bloom, Todd R. Reed, Chang Y. Choo	An image representation based on planar patches and the local adjustment technique.	ISCAS	1993	DBLP BibTeX RDF
22	Bard Bloom	Structured Operational Sematics for Process Algebras and Equational Axiom Systems.	CONCUR	1993	DBLP DOI BibTeX RDF
22	Bard Bloom, Albert R. Meyer	Experimenting with Process Equivalence.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
22	Thomas Bloom, Doron S. Lubinsky, H. Stahl	Interpolatory integration rules and orthogonal polynomials with varying weights.	Numer. Algorithms	1992	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Iteration Algebras.	Int. J. Found. Comput. Sci.	1992	DBLP DOI BibTeX RDF
22	Luca Aceto, Bard Bloom, Frits W. Vaandrager	Turning SOS Rules into Equations	LICS	1992	DBLP DOI BibTeX RDF
22	Sam Weber, Bard Bloom, Geoffrey Brown	Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.	REX Workshop	1992	DBLP DOI BibTeX RDF
22	Bard Bloom, Robert Paige	Computing Ready Simulations Efficiently.	NAPAW	1992	DBLP DOI BibTeX RDF
22	Toby Bloom, Mark Day	Reconfiguration in Argus.	CDS	1992	DBLP BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Floyd-Hoare Logic in Iteration Theories.	J. ACM	1991	DBLP DOI BibTeX RDF	correction assertions, Hoare logic
22	Olav Solgaard, Asif A. Godil, B. Roe Hemenway, David M. Bloom	All-Silicon Integrated Optical Modulator.	IEEE J. Sel. Areas Commun.	1991	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Cayley iff Stone.	Bull. EATCS	1991	DBLP BibTeX RDF
22	Gary S. Bloom, D. Frank Hsu	Foreword.	Discret. Math.	1991	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Iteration Algebras (Extended Abstract).	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
22	Fred B. Schneider, Bard Bloom, Keith Marzullo	Putting Time into Proof Outlines.	REX Workshop	1991	DBLP DOI BibTeX RDF	concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
22	Bard Bloom, Marta Z. Kwiatkowska	Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.	MFPS	1991	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Program Correctness and Matricial Iteration Theories.	MFPS	1991	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik, Dirk Taubner	Iteration theories of synchronization trees	Forschungsberichte, TU Munich	1990	RDF
22	Stephen L. Bloom	A Note on Guarded Theories.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
22	Bard Bloom	Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus	Inf. Comput.	1990	DBLP DOI BibTeX RDF
22	Jeffrey A. Bloom, Chang Y. Choo, William I. Kwak	Model-Based Recognition of Arbitrary Surfaces from Range Data.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
22	Stephen L. Bloom, Zoltán Ésik	Equational Logic of Circular Data Type Specification.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
22	Bard Bloom, Albert R. Meyer	A Remark on Bisimulation Between Probabilistic Processes.	Logic at Botik	1989	DBLP DOI BibTeX RDF
22	Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing	Panel on Transactions in Object-Oriented Systems.	OOPSLA	1989	DBLP BibTeX RDF
22	Stephen L. Bloom, Klaus Sutner	Shuffle Equations, Parallel Transition Systems and Equational Petri Nets.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
22	Stephen L. Bloom	The Equational Logic of Iterative Processes.	FCT	1989	DBLP DOI BibTeX RDF
22	Charles P. Bloom	Procedures for Obtaining and Testing User-Selected Terminologies.	ACM SIGCHI Bull.	1988	DBLP DOI BibTeX RDF
22	Bard Bloom	Constructing Two-Writer Atomic Registers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	two-writer, memory register, two-writer protocol, protocols, computer architecture, atomic registers, proof of correctness
22	Stephen L. Bloom, Zoltán Ésik	Varieties of Iteration Theories.	SIAM J. Comput.	1988	DBLP DOI BibTeX RDF
22	Bard Bloom	Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report)	LICS	1988	DBLP DOI BibTeX RDF
22	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't Be Traced. (long version: JACM 42(1): 232-268 (1995))	POPL	1988	DBLP DOI BibTeX RDF
22	P. Jeffrey Bloom	Application of digital signal processing in professional audio.	ICASSP	1988	DBLP DOI BibTeX RDF
22	Paul D. Bloom, Pat Donnelly	A network solution for improved security for computer access.	ICCC	1988	DBLP BibTeX RDF
22	Stephen L. Bloom, Ralph Tindell	A note on zero-congruences.	Acta Cybern.	1987	DBLP BibTeX RDF
22	Hau L. Lee, William P. Pierskalla, William L. Kissick, Joanne H. Levy, Henry A. Glick, Bernard S. Bloom	OR Practice - Policy Decision Modeling of the Costs and Outputs of Education in Medical Schools.	Oper. Res.	1987	DBLP DOI BibTeX RDF
22	Charles P. Bloom	Procedures for Obtaining and Testing User-Selected Terminologies.	Hum. Comput. Interact.	1987	DBLP DOI BibTeX RDF
22	Gary S. Bloom, Stefan A. Burr	On unavoidable digraphs in orientations of graphs.	J. Graph Theory	1987	DBLP DOI BibTeX RDF