Stem schemat$ (all stems)

33 papers:

LCT-2015-HasegawaSSHSO #comprehension #gesture

The Effect of Metaphoric Gestures on Schematic Understanding of Instruction Performed by a Pedagogical Conversational Agent (DH, SS, NS, TH, HS, KO), pp. 361–371.

RTA-2013-TushkanovaRGK #automation #calculus #decidability

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (ET, CR, AG, OK), pp. 303–318.

CAiSE-2009-MaoBPF #automation #generative #using

Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.

DATE-v1-2004-BoseN #array #memory management #modelling

Extraction of Schematic Array Models for Memory Circuits (SB, AN), pp. 570–577.

CADE-2003-Lynch #problem #unification

Schematic Saturation for Decision and Unification Problems (CL), pp. 427–441.

IJCAR-2001-Peltier #automation #deduction #using

A General Method for Using Schematizations in Automated Deduction (NP), pp. 578–592.

CADE-2000-Slind

Wellfounded Schematic Definitions (KS), pp. 45–63.

ICDAR-1999-TakatsukaCWV #distributed #representation

Symbolic Representation and Distributed Matching Strategies for Schematics (MT, TC, GAWW, SV), pp. 693–696.

SIGMOD-1998-Miller #using

Using Schematically Heterogeneous Structures (RJM), pp. 189–200.

ITiCSE-WGR-1997-Anderson #education #effectiveness #web

Effective organization and management of computer science curriculum with World Wide Web — schematic model presentation (demonstration) (DA), p. 144.

ICDAR-1993-Hamada #analysis #diagrams

A new system for the analysis of schematic diagrams (AHH), pp. 369–372.

ALP-1992-Hermann #on the #recursion

On the Relation Between Primitive Recursion, Schematization and Divergence (MH), pp. 115–127.

SIGMOD-1991-KrishnamurthyLK #database

Language Features for Interoperability of Databases with Schematic Discrepancies (RK, WL, WK), pp. 40–49.

DAC-1989-BamjiA #grammarware #named #parsing

GRASP: A Grammar-based Schematic Parser (CB, JA), pp. 448–453.

DAC-1989-Jones #compilation #online #performance

Fast Online/Offline Netlist Compilation of Hierarchical Schematics (LGJ), pp. 822–825.

DAC-1989-LueM

Extracting Schematic-like Information from CMOS Circuit Net-lists (WJL, LPM), pp. 690–693.

DAC-1988-BaltusA #generative #named #performance

SOLO: A Generator of Efficient Layouts from Optimized MOS Circuit Schematics (DGB, JA), pp. 445–452.

DAC-1988-BarthMS #layout #named

Patchwork: Layout from Schematic Annotations (RB, LM, BS), pp. 250–255.

DAC-1988-BarthSS

Parameterized Schematics (RB, BS, PSS), pp. 243–249.

DAC-1987-ChunCM #named

VISION: VHDL Induced Schematic Imaging on Net-Lists (RKC, KJC, LPM), pp. 436–442.

DAC-1987-TouKFH #approach #automation #database #knowledge base #verification

Knowledge Based Approach for the Verification of CAD Database Generated by an Automated Schematic Capture System (JYT, WHK, KCF, CLH), pp. 713–720.

RTA-1987-Kirchner #infinity #process #set

Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes (HK), pp. 180–191.

DAC-1986-VenkataramanW #automation #layout #named

GEMS: an automatic layout tool for MIMOLA schematics (VVV, CDW), pp. 131–137.

DAC-1985-AryaKSM #automation #diagrams #generative

Automatic generation of digital system schematic diagrams (AA, AK, VVS, AM), pp. 388–395.

DAC-1985-NgJ #approach #generative #graph

Generation of layouts from MOS circuit schematics: a graph theoretic approach (TKN, SLJ), pp. 39–45.

DAC-1985-Rosenberg #layout

Auto-interactive schematics to layout translation (JBR), pp. 82–87.

DAC-1984-KaoMS #design #named

ARIES: A workstation based, schematic driven system for circuit design (WHK, MHME, MLS), pp. 301–307.

DAC-1978-BayeganA #design #editing #interactive #layout #logic #simulation

An integrated system for interactive editing of schematics, logic simulation and PCB layout design (HMB, EJA), pp. 1–8.

DAC-1977-Bayegan #named

CASS: Computer aided schematic system (HMB), pp. 396–404.

DAC-1975-Brennan #algorithm #automation

An algorithm for automatic line routing on Schematic Drawings (RJB), pp. 324–330.

DAC-1974-Hays

Computer aided schematics (GGH), pp. 143–148.

DAC-1972-MancusiW #editing #interactive

Interactive graphics for schematic editing, a working tool (MDM, JCW), pp. 301–304.

SHARE-1966-DeHaan #automation

The Bell Telephone Laboratories automatic graphic schematic drawing program (WRD).