Stem intern$ (all stems)

160 papers:

CASE-2015-LuSJSX #approach #multi #nondeterminism #programming

A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.

SFM-2015-CastegrenOW #fine-grained

Refined Ownership: — Fine-Grained Controlled Internal Sharing (EC, JÖ, TW), pp. 179–210.

CSCW-2015-GonzalesFB #lessons learnt #towards

Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.

HIMI-IKD-2015-SakuraiNKTH #image #integration

Basic Study of Evoking Emotion Through Extending One’s Body Image by Integration of Internal Sense and External Sense (SS, TN, TK, TT, MH), pp. 433–444.

ICEIS-v1-2015-GrabisSS #collaboration #education #enterprise

Collaborative Teaching of ERP Systems in International Context (JG, KS, DS), pp. 196–205.

ICEIS-v1-2015-NevesFGNAV #perspective #standard

International Standard ISO 9001 an Artificial Intelligence View (JN, AF, GG, MN, AA, HV), pp. 421–428.

ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml

A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.

ICML-2015-IoffeS #network #normalisation

Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (SI, CS), pp. 448–456.

ESEC-FSE-2015-XiongH0ZZL

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.

ICSE-v1-2015-SiegmundSA #empirical #re-engineering

Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.

PPoPP-2015-RamachandranM #concurrent #named #performance #using

CASTLE: fast concurrent internal binary search tree using edge-based locking (AR, NM), pp. 281–282.

DRR-2014-RaphaelJ #library #music #recognition

Optical music recognition on the International Music Score Library Project (CR, RJ), p. ?–12.

CSMR-WCRE-2014-BaggeZ #problem

International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.

ICALP-v1-2014-BringmannKPPT #performance #physics #simulation

Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.

CSCW-2014-GavilanesMQ #bound #communication #social #twitter

Twitter ain’t without frontiers: economic, social, and cultural boundaries in international communication (ROGG, YM, DQ), pp. 1511–1522.

SCSM-2014-Scheiner #dependence #identification #social #social media

The Importance of Social Media as Source of Information in the Technology Identification in Dependence of External and Internal Factors (CWS), pp. 103–112.

ICEIS-v2-2014-LiuDT #network #reliability

Auditing Data Reliability in International Logistics — An Application of Bayesian Networks (LL, HAMD, RT), pp. 707–712.

KEOD-2014-TakahashiTTL #automation #industrial #standard #web

An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.

BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala

Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.

MoDELS-2014-KrikavaCF #domain-specific language #named #scala

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.

MoDELS-2014-KrikavaCF #domain-specific language #named #scala

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.

SAC-2014-KrikavaCF14a #domain-specific language #modelling #using

Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.

FSE-2014-SchultisEL #architecture #case study #challenge #ecosystem #industrial #scalability

Architecture challenges for internal software ecosystems: a large-scale industry case study (KBS, CE, DL), pp. 542–552.

ICDAR-2013-MouchereVZGK #contest #online #recognition

ICDAR 2013 CROHME: Third International Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, RZ, UG, DHK), pp. 1428–1432.

ITiCSE-2013-HeinesJ #education

Teaching internationalization: internationally (JMH, KJ), pp. 93–98.

CHI-2013-YooLNUABNRUUF #information management #multi

Envisioning across generations: a multi-lifespan information system for international justice in rwanda (DY, ML, TTN, MEU, RA, TB, LPN, MR, EJU, RFU, BF), pp. 2527–2536.

DUXU-PMT-2013-KangS #case study #design #how #process

How to Observe, Share and Apply in Design Process? — Focusing on International Design Workshops as a Case Study (NK, HS), pp. 498–505.

HCI-AS-2013-WebbC #gamification

Building Internal Enthusiasm for Gamification in Your Organization (ENW, AC), pp. 316–322.

ICML-c1-2013-GolubCY #learning

Learning an Internal Dynamics Model from Control Demonstration (MG, SC, BY), pp. 606–614.

RE-2013-Mead #requirements

A history of the international requirements engineering conference (RE)RE@21 (NRM), pp. 215–221.

RE-2013-NcubeLD #challenge #identification #requirements #research

Identifying top challenges for international research on requirements engineering for systems of systems engineering (CN, SLL, HD), pp. 342–344.

ICSE-2013-GivensCSY #grammar inference #user interface

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.

CSL-2013-KrishnaswamiD #calculus #parametricity #relational

Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.

LICS-2013-Colcombet #logic #monad #set #word

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory (TC), p. 123.

CIKM-2012-NoroziAV #documentation #using #wiki

Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents (MAN, PA, APdV), pp. 734–743.

ECMFA-2012-GoldschmidtM #domain-specific language #query

An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.

ICMT-2012-GeorgeWS #domain-specific language #model transformation #scala #type safety

Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.

ICSE-2012-Ressin #development #empirical #research

Empirically researching development of international software (MR), pp. 1551–1554.

PPoPP-2012-BlellochFGS #algorithm #parallel #performance

Internally deterministic parallel algorithms can be fast (GEB, JTF, PBG, JS), pp. 181–192.

CASE-2011-NishiYI #approach #generative #problem #scheduling

Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.

DocEng-2011-Davis #how

Google’s international bloopers... and how we fixed one (MD), pp. 101–102.

ICDAR-2011-AbedWM #analysis #bibliography #contest #documentation #perspective #recognition

International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.

VLDB-2012-RohPKSL11 #optimisation #parallel

B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives (HR, SP, SK, MS, SWL), pp. 286–297.

CSEET-2011-GimenesBB #distance #learning #re-engineering #source code

International workshop on distance learning support for postgraduate programs in software engineering (e-gradSE) (IMdSG, LB, EFB), pp. 517–519.

ITiCSE-2011-MarkhamB #bound #twitter #using

Collaborating across international boundaries: using twitter as a tool in the classroom (SM, SB), p. 382.

DUXU-v1-2011-BiesterfeldtC #research #user interface

Leading International UX Research Projects (JB, MC), pp. 368–377.

DUXU-v1-2011-Maguire #design #guidelines

Guidelines on Website Design and Colour Selection for International Acceptance (MCM), pp. 162–171.

DUXU-v1-2011-OhgiS #case study #enterprise #standard #using

ISO Standards and Enterprise Software: A Case Study Using SUMI and SUS in an International Sale (JO, JS), pp. 178–184.

HIMI-v2-2011-LeeCT #comparison #process #re-engineering

ICT-Enabled Business Process Re-engineering: International Comparison (YCL, PYC, HLT), pp. 278–284.

ICEIS-v3-2011-Zang #development #multimodal #research

Research on International Multimodal Transport Development Strategy in China (XZ), pp. 333–336.

ICEIS-v4-2011-CuiZH

The Impact of the Concentration Rate of the International Container Liner Market on Chinese Container Freight Index (LC, YZ, MH), pp. 611–616.

ICEIS-v4-2011-WangX #empirical #multi #performance

Is Internal Capital Market of China Listed Companies Efficient? — Empirical Evidences from Listed Companies Which Have Multiple Divisions in H-stock (FW, ZX), pp. 600–605.

ICSE-2011-CurtisSS #evaluation #matter #quality #question

An evaluation of the internal quality of business applications: does size matter? (BC, JS, JS), pp. 711–715.

HPCA-2011-ChenLZ #memory management #parallel #performance

Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.

CASE-2010-FantiSU #constraints #scheduling

Scheduling the internal operations in distribution centers with buffer constraints (MPF, GS, WU), pp. 75–80.

SIGMOD-2010-TaranovSKNKPBTAFPVZGGL #bibliography #database #named #xml

Sedna: native XML database management system (internals overview) (IT, IS, AK, LN, SDK, RP, AB, DT, KA, AF, PP, PV, NZ, MG, MPG, DL), pp. 1037–1046.

ITiCSE-2010-RouthLMD #education #social #student

International sustainable exchange: student projects to teach social responsibility (CRR, CL, LM, ND), p. 317.

FLOPS-2010-BerardiT #compilation #decompiler #normalisation

Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.

ICEIS-ISAS-2010-EliceguiVM #data mining #mining #semantics

Combining Semantic Technologies and Data Mining to Endow BSS/OSS Systems with Intelligence — Particularization to an International Telecom Company Tariff System (JME, GTdV, MdFM), pp. 350–355.

ICML-2010-SorgSL #bound

Internal Rewards Mitigate Agent Boundedness (JS, SPS, RLL), pp. 1007–1014.

KEOD-2010-MollerSBEDS #classification #owl #representation

Representing the International Classification of Diseases Version 10 in OWL (MM, MS, RB, PE, AD, DS), pp. 50–59.

KR-2010-BaralHS #information management #reasoning #representation

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).

KR-2010-MouraLSN #information management #reasoning #representation #tutorial

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).

CASE-2009-Srinidhi #development

Development of an airline traffic forecasting model on international sectors (SS), pp. 322–327.

DAC-2009-StapletonT #component #design #problem #reuse #verification

Verification problems in reusing internal design components (WS, PT), pp. 209–211.

DATE-2009-BildBD #performance #using

Minimization of NBTI performance degradation using internal node control (DRB, GEB, RPD), pp. 148–153.

ICPC-2009-KarumuriR #automation #detection

Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.

HIMI-DIE-2009-Doyo #aspect-oriented

Internal Aspects of the Relationship between Pressing Force and Training Difficulty (DD), pp. 475–484.

HIMI-DIE-2009-KumarRHA #design #enterprise

Designing International Enterprise Software (JK, DR, PH, MA), pp. 104–112.

IDGD-2009-Rampoldi-HniloWSS #case study #enterprise #future of #mobile

The Future of Enterprise Is with the Mobile Workforce: An International Field Study (LRH, BKW, MS, ACS), pp. 308–315.

CIKM-2009-HuSZC #clustering #semantics #using

Exploiting internal and external semantics for the clustering of short texts using world knowledge (XH, NS, CZ, TSC), pp. 919–928.

ICEIS-AIDSS-2008-JansLV #case study #data mining #mining #reduction

Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.

REFSQ-2008-PaechR #quality #requirements

REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality (BP, CR), pp. 1–5.

VMCAI-2008-Schmidt #abstract interpretation #logic

Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.

CSEET-2007-TilleyWS #re-engineering

Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006) (SRT, KW, SS), pp. 237–246.

HCI-IPT-2007-SongKPPJ #design

Designing Input Method of Hand-Held Device with International User Studies (SS, JK, WP, BP, HJ), pp. 480–485.

HIMI-MTT-2007-MiyakeT #coordination #realtime

Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.

REFSQ-2007-SawyerPH #quality #requirements

REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.

ATEM-2007-FavreGLW

4th International Workshop on Language Engineering (ATEM 2007) (JMF, DG, RL, AW), pp. 28–33.

CSEET-2006-TilleyWHS #re-engineering

Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005) (SRT, KW, SH, SS), pp. 87–94.

ICEIS-J-2006-TrienekensKVKMS06a #aspect-oriented #development #process

Improvement of Software Development Processes, Balancing Internal and External Organizational Aspects (JJMT, RJK, FvV, DK, DM, PS), pp. 75–85.

SAC-2006-MorimotoSGC #security #specification #standard #verification

A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.

ICSE-2006-ThompsonE #education #industrial #re-engineering

Third international summit on software engineering education (SSEE III): bridging the university/industry gap (JBT, HME), pp. 1011–1012.

ICSE-2006-ZannierMM #empirical #on the #re-engineering

On the success of empirical studies in the international conference on software engineering (CZ, GM, FM), pp. 341–350.

ATEM-2006-FavreGLW #metamodelling #ontology

3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies (JMF, DG, RL, AW), pp. 52–55.

SCAM-2005-EnglishBCL #impact analysis

Measuring the Impact of Friends on the Internal Attributes of Software Systems (ME, JB, TC, KL), pp. 151–160.

ICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation

A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.

CHI-2004-LawH #analysis #combinator #testing #usability

Analysis of combinatorial user effect in international usability tests (ELCL, EÞH), pp. 9–16.

ASE-2003-ArevaloDN #comprehension

XRay Views: Understanding the Internals of Classes (GA, SD, ON), pp. 267–270.

DATE-2003-MolinaMH #hardware

High-Level Allocation to Minimize Internal Hardware Wastage (MCM, JMM, RH), pp. 10264–10269.

CSEET-2003-EdwardsT #re-engineering

Reflections on a UK Masters Level Software Engineering Programme Intended for the Home and International Market (HME, JBT), p. 166–?.

CSEET-2003-LandC04 #contest #design

Preparing for the 2004 IEEE Computer Society International Design Competition (CSIDC) (SKL, AC), p. 326.

CSEET-2003-ZuserG #performance

Reflecting Skills and Personality Internally as Means for Team Performance Improvement (WZ, TG), pp. 234–241.

WCRE-2003-FavreGW #metamodelling #reverse engineering

First International Workshop on Meta-Models and Schemas for Reverse Engineering — ateM 2003 (JMF, MWG, AW), pp. 366–367.

CSEET-2002-Modesitt #collaboration #future of #industrial #re-engineering

International Software Engineering University Consortium (ISEUC): A Glimpse into the Future of University and Industry Collaboration (KLM), p. 32–?.

ITiCSE-2002-LastDHW #collaboration #learning #student

Learning from students: continuous improvement in international collaboration (MZL, MD, MLH, MW), pp. 136–140.

ITiCSE-2002-VoracekK #education

International education in information technology (JV, NKV), p. 245.

IWPC-2002-VestdamN #aspect-oriented #documentation #perspective

Aspects of Internal Program Documentation — An Elucidative Perspective (TV, KN), pp. 43–52.

EDOC-2002-YanoHU #collaboration #framework #process

Collaboration Management Framework for Integrating B-to-B and Internal Processes (KY, HH, SU), pp. 75–83.

ICEIS-2002-ZairiA #benchmark #maturity #metric

An International Study of Benchmarking Spread and Maturity (MZ, MAM), pp. 708–715.

ICML-2002-AberdeenB #scalability

Scalable Internal-State Policy-Gradient Methods for POMDPs (DA, JB), pp. 3–10.

SPLC-2002-JolleyKK #product line

Governance Polarities of Internal Product Lines (TMJ, DJK, CEK), pp. 284–298.

HPCA-2002-BrownP #pipes and filters #using

Using Internal Redundant Representations and Limited Bypass to Support Pipelined Adders and Register Files (MDB, YNP), pp. 289–298.

DATE-2001-ChandraC #performance #testing #using

Efficient test data compression and decompression for system-on-a-chip using internal scan chains and Golomb coding (AC, KC), pp. 145–149.

ICDAR-2001-GatosMA #contest #segmentation

First International Newspaper Segmentation Contest (BG, SLM, AA), p. 1190–?.

VLDB-2001-Shmueli #architecture #deployment #web #web service

Architectures for Internal Web Services Deployment (OS), pp. 641–644.

CSEET-2001-SobelBCMRT #re-engineering

SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel) (AEKS, DJB, DAC, YM, PNR, JBT), p. 293.

ITiCSE-2001-AzadeganL #implementation

An international common project: implementation phase (SA, CL), pp. 125–128.

ITiCSE-2001-CoverCK #adaptation #education #implementation

An international model for curriculum adaptation and implementation (CFC, RDC, KJK), p. 179.

ITiCSE-2001-VoracekK #information management

International master’s program in information processing and telecommunications (JV, NKV), p. 181.

CHI-2001-TsukaharaW

Responding to subtle, fleeting changes in the user’s internal state (WT, NW), pp. 77–84.

ICEIS-v2-2001-CunhaCN

The Dialectics of International Internet-Based Teams (MPeC, JVdC, ÂLN), pp. 1094–1100.

ICEIS-v2-2001-PetersH

Introducing Common Systems in International Financial Firms (SCAP, MSHH), pp. 859–863.

OOPSLA-2001-LanzaD #categorisation #visualisation

A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint (ML, SD), pp. 300–311.

ICSE-2001-ModesittBW #bibliography #re-engineering #source code #what

Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (KLM, DJB, LHW), pp. 643–652.

ITiCSE-2000-LastDAEK #collaboration #student

An international student/faculty collaboration: the Runestone project (MZL, MD, VLA, CE, BJK), pp. 128–131.

ICML-2000-TellerV #evolution #learning #performance #programming

Efficient Learning Through Evolution: Neural Programming and Internal Reinforcement (AT, MMV), pp. 959–966.

ITiCSE-1999-Gerhardt-PowalsP #question

The digital millennium copyright act: an international assault on fair use? (JGP, MHP), p. 191.

ITiCSE-1999-ZoltowskiBD #education

Curriculum and teaching delivery change in an international context (BZ, RDB, JD), pp. 33–35.

DLT-1999-Holzer #on the

On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.

HCI-EI-1999-PiamonteOA #empirical #evaluation

An Empirical Evaluation of Videophone Symbols: An International Study (TPDP, KO, JDAA), pp. 798–802.

ICEIS-1999-Salameh #enterprise #process #re-engineering

Role of ERP Systems in International Business Process Re-Engineering (ZS), p. 785.

ICEIS-1999-SolimanP #process

Strategic Role of IT Leader in International Business Process Change (FS, JP), p. 784.

ECOOP-1999-Kuhne

Internal Iteration Externalized (TK), pp. 329–350.

ITiCSE-1998-Wolfer #bound #re-engineering

Graduate software engineering across international boundaries (poster): the first courses (JW), p. 311.

WRLA-1998-BruniMM #implementation

Internal strategies in a rewriting implementation of tile systems (RB, JM, UM), pp. 263–284.

EDTC-1997-TurgisDPA #modelling

Internal power modelling and minimization in CMOS inverters (ST, JMD, JMP, DA), pp. 603–608.

ITiCSE-1997-JawaryBV

International initiative (AJ, CB, SSV), pp. 85–87.

HCI-CC-1997-Blanchard #how #human-computer #interactive #question #standard #what

International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.

HCI-CC-1997-DainoffAHTC

Results from the International Cooperative Study: Impact of Ergonomic Interventions on Musculoskeletal, Eyestrain, and Psychosocial Stress (MEPS) (MJD, AA, GH, MT, BGFC), pp. 583–586.

HCI-CC-1997-Marcus97a #design #interface #standard

International User-Interface Standards for Information Superhighways: Some Design Issues (AM), pp. 189–192.

HCI-CC-1997-SmithBSA #interface

Ergonomic Systems Engineering: The Human Interface and the Management of International Relations in the 21st Century (JHS, ADB, MJS, GAF), pp. 185–188.

SIGMOD-1996-CherniackZ #algebra #rule-based

Rule Languages and Internal Algebras for Rule-Based Optimizers (MC, SBZ), pp. 401–412.

SEKE-1996-CutilloV #consistency #evolution

Managing a Software System and Keeping it Internally Consistent During its Evolution (FC, GV), pp. 230–237.

CADE-1996-MelisW #proving #theorem proving

Internal Analogy in Theorem Proving (EM, JW), pp. 92–105.

ICALP-1995-Sangiorgi #calculus

Internal Mobility and Agent-Passing Calculi (DS), pp. 672–683.

CHI-1995-HarperS #collaboration #tool support

Collaborative Tools and the Practicalities of Professional Work at the International Monetary Fund (RHRH, AS), pp. 122–129.

TRI-Ada-1994-Duncan #ada #implementation

Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.

KDD-1994-Kaufman #development #learning #multi #tool support #using

Comparing International Development Patterns Using Multi-Operator Learning and Discovery Tools (KAK), pp. 431–440.

SIGMOD-1993-MuthR #database #transaction #visualisation

VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.

SIGMOD-1993-Tgieman #information management #network #research

The International Directory Network and Connected Data Information Systems for Research in the Earth and Space Sciences (JRT), pp. 475–478.

HCI-ACS-1993-Hinman-Sweeney #communication #network

Developing an Electronic International Network for Space Communication (EMHS), pp. 161–166.

INTERCHI-1993-RussoB #design #how #interface

How fluent is your interface?: designing for international users (PR, SB), pp. 342–347.

AdaEurope-1993-Mathis #ada #standard

Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.

ICSE-1993-WohlwendR

Software Improvements in an International Company (HW, SR), pp. 212–220.

AdaEurope-1992-Raines #ada #realtime

Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.

CHI-1991-Cohen

Computer dialogue laboratory SRI International (PRC), pp. 469–470.

ML-1991-JordanR #learning #modelling

Internal World Models and Supervised Learning (MIJ, DER), pp. 70–74.

ML-1991-Tan #learning #representation

Learning a Cost-Sensitive Internal Representation for Reinforcement Learning (MT), pp. 358–362.

ICSE-1991-Gerhart #formal method #perspective

Formal Methods: An International Perspective (SLG), pp. 36–37.

STOC-1985-FaginV #logic #semantics

An Internal Semantics for Modal Logic: Preliminary Report (RF, MYV), pp. 305–315.

PODS-1984-Batory #concept #database

Conceptual-To-Internal Mappings in Commercial Database Systems (DSB), pp. 70–78.

DAC-1983-Chuquillanqui #problem #scalability

Internal connection problem in large optimized PLAs (SC), pp. 795–802.

PODS-1982-GonnetL

External Hashing with Limited Internal Storage (GHG, PÅL), pp. 256–261.

SIGMOD-1982-Missikoff #database #relational

A Domain Based Internal Schema for Relational Database Machines (MM), pp. 215–224.

POPL-1981-Scherlis

Program Improvement by Internal Specialization (WLS), pp. 41–49.

VLDB-1978-Gerritsen #concept

Conceptual and Internal Schemas in CODASYL (RG), p. 131.

VLDB-1978-Stocker #performance

Efficient Organization of Internal DBMS Structure (PMS), p. 136.

VLDB-1976-Tompa #performance

Choosing an Efficient Internal Schema (FWT), pp. 65–77.

DAC-1973-BoehmA #design #parametricity

Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.