Search results for "circularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Margarida Silveira	Antibacterial Activity Detection and Evaluation Based on the Detection of Multiple Concentric Circles with the Hough Transform.	CRV	2004	DBLP DOI BibTeX RDF
15	Estelle Glory, A. Faure, Vannary Meas-Yedid, Florence Cloppet, Christian Pinset, Georges Stamon, Jean-Christophe Olivo-Marin	A Quantification Tool to Analyse Stained Cell Cultures.	ICIAR (2)	2004	DBLP DOI BibTeX RDF
15	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
15	Vincent T. Y. Ng, Tim K. Lee, Benny Y. M. Fung	Determining the Asymmetries of Skin Lesions with Fuzzy Borders.	BIBE	2003	DBLP DOI BibTeX RDF
15	Patrick Maier 0001	Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.	FoSSaCS	2003	DBLP DOI BibTeX RDF
15	Susumu Nishimura	Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.	APLAS	2003	DBLP DOI BibTeX RDF
15	Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski	Forwarding in Attribute Grammars for Modular Language Design.	CC	2002	DBLP DOI BibTeX RDF
15	Kevin Backhouse	A Functional Semantics of Attribute Grammars.	TACAS	2002	DBLP DOI BibTeX RDF
15	Bryan W. Scotney, Sonya A. Coleman, Madonna G. Herron	A systematic design procedure for scalable near-circular Gaussian operators.	ICIP (3)	2001	DBLP DOI BibTeX RDF
15	Patrick Maier 0001	A Set-Theoretic Framework for Assume-Guarantee Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
15	Steven W. Zucker	Computing in Cortical Columns: Curve Inference and Stereo Correspondence.	Biologically Motivated Computer Vision	2000	DBLP DOI BibTeX RDF
15	Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang	A New Approach to Verify Rule-Based Systems Using Petri Nets.	COMPSAC	1999	DBLP DOI BibTeX RDF	Structural Error Detection, Petri Nets, Rule-Based Systems
15	Kenneth L. McMillan	Circular Compositional Reasoning about Liveness.	CHARME	1999	DBLP DOI BibTeX RDF
15	Dov Dori, Liu Wenyin	Stepwise recovery of arc segmentation in complex line environments.	Int. J. Document Anal. Recognit.	1998	DBLP DOI BibTeX RDF	Engineering drawings interpretation, Vectorization, Graphics recognition, Arc segmentation, Document analysis and recognition
15	Anna E. Frid	On Uniform DOL Words.	STACS	1998	DBLP DOI BibTeX RDF
15	Uwe Oestermeier	Begriffliche und empirische Fragen der Kausalkognition.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
15	Dov Dori, Liu Wenyin	Arc Segmentation from Complex Line Environments: A Vector-Based Stepwise Recovery Algorithm.	ICDAR	1997	DBLP DOI BibTeX RDF	Page Segmentation Using Document Model, Vectorization, Line Drawings, Graphics Recognition, Arc Segmentation
15	John Boyland	Conditional Attribute Grammars.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	demand evaluation, language processor generators, nonstrict evaluation, static analysis, functional dependencies, attribute grammars, conditionals
15	George Christopher, Martin Farach, Michael A. Trick	The Structure of Circular Decomposable Metrics.	ESA	1996	DBLP DOI BibTeX RDF
15	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
15	Ole Agesen, Jens Palsberg, Michael I. Schwartzbach	Type Inference of SELF.	ECOOP	1993	DBLP DOI BibTeX RDF	Languages and their implementation, tools and environments
15	Bryan S. Todd, Richard Stamper	Formal Specification of a Rule-Based Expert System.	SEKE	1992	DBLP DOI BibTeX RDF
15	Martín Abadi, Leslie Lamport	An Old-Fashioned Recipe for Real Time.	REX Workshop	1991	DBLP DOI BibTeX RDF
15	Martin Jourdan, Didier Parigot	Techniques for Improving Grammar Flow Analysis.	ESOP	1990	DBLP DOI BibTeX RDF
15	Donald H. Berman	Cutting Legal Loops.	ICAIL	1989	DBLP DOI BibTeX RDF
15	Karoline Malmkjær	On Some Semantic Issues in the Reflective Tower.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
15	Olivier Danvy, Karoline Malmkjær	Intensions and Extensions in a Reflective Tower.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
15	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF