Search results for "analogies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Gabor Fichtinger, Dan Stoianovici, Russell H. Taylor	The Surgical CAD/CAM Paradigm and an Implementation for Robotically-Assisted Percutaneous Local Therapy.	AIPR	2001	DBLP DOI BibTeX RDF
11	Wenxin Jiang 0003	Some Results on Weakly Accurate Base Learners for Boosting Regression and Classification.	Multiple Classifier Systems	2000	DBLP DOI BibTeX RDF
11	Keith V. Nesbitt	Designing Multi-sensory Models for Finding Patterns in Stock Market Data.	ICMI	2000	DBLP DOI BibTeX RDF
11	Oliver E. Theel	Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms.	DISC	2000	DBLP DOI BibTeX RDF
11	Scott Moss	Applications-Centered Multi Agent Systems Design (with Special Reference to Markets and Rational Agency).	ICMAS	2000	DBLP DOI BibTeX RDF
11	Marina Resta	ATA: the Artificial Technical Analyst. Building intra-day market strategies.	KES	2000	DBLP DOI BibTeX RDF
11	Eike Mühlenfeld	An expert system acquires and generalises experiences.	KES	2000	DBLP DOI BibTeX RDF
11	Oliver E. Theel	A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
11	Carmen L. R. Santos, Celso R. Souza, Pedro Paulo Balbi de Oliveira, Phil Husbands	Using the GasNet Model in Discrete Domains.	SBRN	2000	DBLP DOI BibTeX RDF
11	Edward E. E. Frietman, Ramon J. Ernst, Roy E. Crosbie, Masao Shimoji	Prospects for Optical Interconnects in Distributed, Shared-Memory Organized MIMD Architectures.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	free space data distributing system, fully connected topology, multi-stage interconnection scheme, opto electronic logic elements, photonic integrated circuits, distributed-shared memory systems
11	Luc Florack, Robert Maas, Wiro J. Niessen	Pseudo-Linear Scale-Space Theory.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	fuzzy dilation/erosion, linear scale-space, morphological scale-space, reaction-diffusion
11	Marc Proesmans, Luc Van Gool	Grouping Based on Coupled Diffusion Maps.	Shape, Contour and Grouping in Computer Vision	1999	DBLP DOI BibTeX RDF
11	Yukio Ohsawa, Masahiko Yachida	Discover Risky Active Faults by Indexing an Earthquake Sequence.	Discovery Science	1999	DBLP DOI BibTeX RDF
11	Bart J. A. Mertens, David J. Hand	Adjusted Estimation for the Combination of Classifiers.	IDA	1999	DBLP DOI BibTeX RDF
11	Yukio Ohsawa	Get timely files from visualized structure of your working history.	KES	1999	DBLP DOI BibTeX RDF
11	Alan Cameron Wills	Catalysis: Precision Modeling and Design for Components.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
11	Antony Galton	The Mereotopology of Discrete Space.	COSIT	1999	DBLP DOI BibTeX RDF	Discrete Space, Artificial Intelligence, Connection, Regions, Adjacency, Mereotopology
11	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Code Motion and Code Placement: Just Synonyms?	ESOP	1998	DBLP DOI BibTeX RDF
11	David G. Kay	Computer scientists can teach writing: an upper division course for computer science majors.	SIGCSE	1998	DBLP DOI BibTeX RDF	advanced courses, writing, communications skills, technical writing
11	Juan Ramón Hernández, Fernando Pérez-González	Shedding More Light on Image Watermarks.	Information Hiding	1998	DBLP DOI BibTeX RDF
11	Erica Melis	Beweisen durch Analogie.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
11	Rainer Westermann, Friedrich W. Hesse, Gerald Kauer, Anette Hiemisch	Zur Repräsentation systematischer Ähnlichkeiten zwischen analogen Problemen nach zielgerichteten Elaborationen.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
11	Jens Knoop, Eduard Mehofer	Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques.	IEEE PACT	1997	DBLP DOI BibTeX RDF	interprocedural distribution assignment placement, intraprocedural placing techniques, unnecessary run-time remappings, partially redundant distribution assignment elimination, partially dead distribution assignment elimination, algorithm hierarchy, user-customized solutions, dynamic data redistribution, optimization, parallel programming, High Performance Fortran, anomalies, distributed-memory architectures, data-parallel programs, interprocedural data-flow analysis, run-time efficiency
11	Reinhold Heckmann, Michael Huth 0001	A Duality Theory for Quantitative Semantics.	CSL	1997	DBLP DOI BibTeX RDF
11	Edward E. E. Frietman, Ramon J. Ernst, Roy E. Crosbie, Masao Shimoji	Features of Optical Interconnects in Distributed-Shared Memory Organized MIMD Architectures: The Ultimate Goal.	ISPAN	1997	DBLP DOI BibTeX RDF	free space data distributing system, fully connect topology, multi-stage interconnection scheme, opto electronic logic elements, photonic integrated circuits, distributed-shared memory systems
11	Mary Lou Maher, Andrés Gómez de Silva Garza	Developing Case-Based Reasoning for Structural Design.	IEEE Expert	1996	DBLP DOI BibTeX RDF
11	Yair I. Friedman, Dror G. Feitelson, Iaakov Exman	The Parallel Break Construct, or How to Kill an Activity Tree.	IPPS	1996	DBLP DOI BibTeX RDF	parallel constructs, forced termination, kill, abort, ParC, break
11	Filippo Mignosi, Antonio Restivo, Sergio Salemi	A Periodicity Theorem on Words and Applications.	MFCS	1995	DBLP DOI BibTeX RDF
11	Jay K. Adams, John Alan Miller, Donald E. Thomas	Execution-time profiling for multiple-process behavioral synthesis.	ICCD	1995	DBLP DOI BibTeX RDF	execution-time profiling, multiple-process behavioral synthesis, back-annotating, source description, behavioral simulation model, annotated behavioral simulation, high level synthesis, high-level synthesis, timing, timing, logic CAD, digital simulation, circuit analysis computing, hardware design, software profiling, register-transfer level model
11	Alexander Repenning	Bending the Rules: Steps Toward Semantically Enriched Graphical Rewrite Rules.	VL	1995	DBLP DOI BibTeX RDF	graphical rewrite rules, syntactic properties, semantically enriched graphical rewrite rules, rewrite rule based programming, Agentsheets, graphical user interfaces, computer graphics, visual programming, visual programming, visual languages, end user programming
11	Juan Vicente Sánchez-Andrés, Bernat Soria	The Pancreatic B-Cell as a Voltage-Controlled Oscillator.	IWANN	1993	DBLP DOI BibTeX RDF
11	Bo Yi, Jiafu Xu	Analogical Type Theory.	DISCO	1993	DBLP DOI BibTeX RDF
11	Thierry Boy de la Tour, Christoph Kreitz	Building Proofs by Analogy via the Curry-Horward Isomorphism.	LPAR	1992	DBLP DOI BibTeX RDF
11	Witold Pedrycz	Neurocomputations in Relational Systems.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	learning procedures, optimized performance index, neural networks, complexity, neural nets, fuzzy set theory, learning systems, neurocomputations, composition operators, relational systems
11	Eugene Pinsky	Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
11	Andrew Howes, Stephen J. Payne	Semantic analysis during exploratory learning.	CHI	1990	DBLP DOI BibTeX RDF
11	Stephanie E. August, Lawrence P. McNamee	Integrating Analogical Reasoning in a Natural Language Understander.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
11	Aris M. Ouksel, Fillia Makedon	The Anatomy of an Object Oriented Visualization System for Algorithm Design.	ICCAL	1989	DBLP DOI BibTeX RDF
11	Anthony I. Wasserman	CASE Environments for Design Automation.	DAC	1989	DBLP DOI BibTeX RDF
11	Thanasis Hadzilacos, Vassos Hadzilacos	Transaction Synchronisation in Object Bases.	PODS	1988	DBLP DOI BibTeX RDF
11	Ingrid Zukerman, Yee Han Cheong	Contradictions and Revisions as Explanatory Aids in the Delivery of Technical Information.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	Discourse Generation, Listener Model, Natural Language, Intelligent Tutoring Systems
11	Elizabeth S. Adams, Mary W. Gray	Liability for malfunction of medical expert systems - why an expert system is like a power saw (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Henry Stewart Austin	Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Pascal
11	Seth R. Goldman, Michael G. Dyer, Margot Flowers	Precedent-Based Legal Reasoning and Knowledge Acquisition in Contract Law: A Process Model.	ICAIL	1987	DBLP DOI BibTeX RDF
11	Makoto Haraguchi, Setsuo Arikawa	A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs.	LP	1986	DBLP DOI BibTeX RDF
11	Nachum Dershowitz	Program Abstraction and Instantiation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
11	Roger Segelken	A Case History of a Computer Media Event - Introducing a Supercomputer Center.	SIGDOC	1985	DBLP DOI BibTeX RDF
11	B. Kumar, Timothy A. Gonsalves	Modelling and Analysis of Distributed Software Systems.	SOSP	1979	DBLP DOI BibTeX RDF
11	Peter Naur	Programming Languages, Natural Languages, and Mathematics.	POPL	1975	DBLP DOI BibTeX RDF