|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 92 occurrences of 72 keywords
|
|
|
Results
Found 228 publication records. Showing 228 according to the selection in the facets
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 |
|
Displaying result #201 - #228 of 228 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|