Stem basi$ (all stems)

163 papers:

DATE-2015-JiRML #hardware #implementation #logic #network #probability #using

A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.

CHI-2015-BerardR #assessment #human-computer #learning #similarity #towards

The Transfer of Learning as HCI Similarity: Towards an Objective Assessment of the Sensory-Motor Basis of Naturalness (FB, ARC), pp. 1315–1324.

ICEIS-v1-2015-CoelhoC #network

Radial Basis Function Neural Network Receiver for Wireless Channels (PHGC, FMC), pp. 658–663.

POPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.

ECSA-2014-BennaceurI #architecture #distributed

Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.

LCT-TRE-2014-SzklannyW #learning #prototype

Prototyping M-Learning Course on the Basis of Puzzle Learning Methodology (KS, MW), pp. 215–226.

ICML-c2-2014-WangST #statistics

The Falling Factorial Basis and Its Statistical Applications (YXW, AJS, RJT), pp. 730–738.

ICPR-2014-RosaCJPFT #clustering #network #on the #using

On the Training of Artificial Neural Networks with Radial Basis Function Using Optimum-Path Forest Clustering (GHR, KAPC, LAPJ, JPP, AXF, JMRST), pp. 1472–1477.

ICSM-2013-GobertMCW #comprehension #database #evolution #re-engineering

Understanding Schema Evolution as a Basis for Database Reengineering (MG, JM, AC, JW), pp. 472–475.

HIMI-LCCB-2013-ShiTS #consistency #nondeterminism #online #recommendation

Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.

SEKE-2013-ShamsHK #estimation #network #using

Software Effort Estimation using Regularized Radial Basis Function Neural Networks (KMS, HSH, AK), pp. 473–478.

SAC-2013-TsukudaOYIT #analysis #coordination

Discovering unexpected information on the basis of popularity/unpopularity analysis of coordinate objects and their relationships (KT, HO, MY, HI, KT), pp. 878–885.

ICSE-2013-GoodenoughWK #induction

Eliminative induction: a basis for arguing system confidence (JBG, CBW, AZK), pp. 1161–1164.

DATE-2012-LvKE #multi #performance #reduction #verification

Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.

VLDB-2012-LiQSC #difference #mining #named #privacy

PrivBasis: Frequent Itemset Mining with Differential Privacy (NL, WHQ, DS, JC), pp. 1340–1351.

ICPR-2012-Kan #re-engineering

MEG source reconstruction with basis functions source model (JK), pp. 1791–1794.

KEOD-2012-GhezaielLA #concept #documentation #ontology

Ontology Enrichment based on Generic Basis of Association Rules for Conceptual Document Indexing (LBG, CCL, MBA), pp. 53–65.

SAC-2012-WauteletHK #ontology #representation

An ontological basis for resource representation (YW, SH, MK), pp. 765–766.

ICML-2011-SunGRS #difference #fault #incremental

Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.

KEOD-2011-Karbe #concept #formal method #implementation #information management #representation

Formalizing and Implementing Knowledge Representation on the Basis of Conceptions — Position Statement (TK), pp. 317–321.

ICPR-2010-DongSD #3d #estimation

Illumination Estimation of 3D Surface Texture Based on Active Basis (JD, LS, YD), pp. 870–873.

ICPR-2010-FaradjiWB #approach #classification #problem

A Simple Approach to Find the Best Wavelet Basis in Classification Problems (FF, RKW, GEB), pp. 641–644.

ICPR-2010-JammalamadakaJKM #matrix #using

Discriminative Basis Selection Using Non-negative Matrix Factorization (AJ, SJ, SK, BSM), pp. 1533–1536.

ICPR-2010-Vazquez-SantacruzB #geometry #network

A Geometric Radial Basis Function Network for Robot Perception and Action (EVS, EBC), pp. 2961–2964.

KDIR-2010-BalcazarTZ

Filtering Association Rules with Negations on the Basis of Their Confidence Boost (JLB, CT, MEZ), pp. 263–268.

CASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using

Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.

ESOP-2009-LeinoM #concurrent #multi #source code #thread #verification

A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.

MSR-2009-RastkarM #interactive #on the #question #recommendation #what

On what basis to recommend: Changesets or interactions? (SR, GCM), pp. 155–158.

HCI-NT-2009-NebeP #integration #re-engineering

Usability-Engineering-Requirements as a Basis for the Integration with Software Engineering (KN, VP), pp. 652–659.

CIKM-2009-VienVCYKC #kernel #locality #named #using #visualisation

VRIFA: a nonlinear SVM visualization tool using nomogram and localized radial basis function (LRBF) kernels (NAV, NHV, TC, HY, SK, BHC), pp. 2081–2082.

ICML-2009-LiuPZ #coordination #multi #semantics

Blockwise coordinate descent procedures for the multi-task lasso, with applications to neural semantic basis discovery (HL, MP, JZ), pp. 649–656.

DAC-2008-HanSE #3d #equation #modelling

Electric field integral equation combined with cylindrical conduction mode basis functions for electrical modeling of three-dimensional interconnects (KJH, MS, EE), pp. 421–424.

DATE-2008-ScheerSB #complexity #reduction #standard

CARbridge, Reduction of System Complexity by Standardisation of the System-Basis-Chips for Automotive Applications (PS, ES, SB), pp. 1107–1110.

CIKM-2008-AliCKL #documentation #evaluation #retrieval

Structural relevance: a common basis for the evaluation of structured document retrieval (MSA, MPC, GK, ML), pp. 1153–1162.

ASE-2007-CortellessaCMP #component #off the shelf #requirements

Driving the selection of cots components on the basis of system requirements (VC, IC, FM, PP), pp. 413–416.

DATE-2007-HuMWD #performance

Optimization-based wideband basis functions for efficient interconnect extraction (XH, TM, JKW, LD), pp. 1200–1205.

ICDAR-2007-ZhangYT #documentation #image #using

Removing Shading Distortions in Camera-based Document Images Using Inpainting and Surface Fitting With Radial Basis Functions (LZ, AMY, CLT), pp. 984–988.

TACAS-2007-CondratK #approach #preprocessor

A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.

DHM-2007-DionysiouSM #biology #image #multi #simulation

Simulating Cancer Radiotherapy on a Multi-level Basis: Biology, Oncology and Image Processing (DDD, GSS, KM), pp. 569–575.

ICML-2007-JohnsM #approximate #graph

Constructing basis functions from directed graphs for value function approximation (JJ, SM), pp. 385–392.

ICML-2007-OsentoskiM #learning

Learning state-action basis functions for hierarchical MDPs (SO, SM), pp. 705–712.

SEKE-2007-MoserPS #agile #development #incremental #modelling #predict #using

Incremental Effort Prediction Models in Agile Development using Radial Basis Functions (RM, WP, GS), pp. 519–522.

ITiCSE-2006-Bures

Systems thinking as a basis for ambient intelligence (VB), p. 318.

ICML-2006-KellerMP #approximate #automation #learning #programming

Automatic basis function construction for approximate dynamic programming and reinforcement learning (PWK, SM, DP), pp. 449–456.

ICPR-v3-2006-DePieroC #graph

Structural Matching Via Optimal Basis Graphs (FWD, JKC), pp. 449–452.

SAC-2006-Cheng #information management #logic

Deontic relevant logic as the logical basis for legal information systems (JC), pp. 319–320.

WCRE-2005-MaltonH #architecture #comprehension

Boxology of NBA and TA: A Basis for Understanding Software Architecture (AJM, RCH), pp. 187–195.

ICALP-2005-FokkinkN #finite #semantics

A Finite Basis for Failure Semantics (WF, SN), pp. 755–765.

ICALP-2005-Kavitha #algorithm #graph #random

An Õ(m2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph (TK), pp. 273–284.

ICEIS-v5-2005-RuschelIRF #analysis #concept #design #framework #process

Designing Geographic Analysis Processes on the Basis of the Conceptual Framework Geoframe (CR, CI, LVdR, JLF), pp. 91–97.

ICLP-2005-NguyenS #analysis #logic programming #polynomial #source code #termination

Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs (MTN, DDS), pp. 311–325.

ICALP-2004-KavithaMMP #algorithm #graph #performance

A Faster Algorithm for Minimum Cycle Basis of Graphs (TK, KM, DM, KEP), pp. 846–857.

IFM-2004-PickinJ #diagrams #sequence chart #uml #using

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.

ICPR-v3-2004-GurevichM #analysis #image

Method for Early Diagnostics of Lymphatic System Tumors on the Basis of the Analysis of Chromatin Constitution in Cell Nucleus Images (IBG, DM), pp. 806–809.

SAC-2004-PagadorMML

Active contour on the basis of inertia (JBP, JM, VM, JMLR), pp. 307–308.

LICS-2004-FlumG #model checking #problem

Model-Checking Problems as a Basis for Parameterized Intractability (JF, MG), pp. 388–397.

DATE-2003-Novikov

Local Search for Boolean Relations on the Basis of Unit Propagation (YN), pp. 10810–10815.

CSEET-2003-OvalleE04 #experience #process

Training Experts in the Fundamentals: An Experience in Providing Software Engineers with the Basis of Software Process Improvement (NKO, HWE), p. 339–?.

FASE-2003-AguirreM #component #configuration management #logic #specification

A Logical Basis for the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 37–51.

MLDM-2003-KuhnertK #classification #image #learning

A Learning Autonomous Driver System on the Basis of Image Classification and Evolutional Learning (KDK, MK), pp. 400–412.

WICSA-2002-ChengGSSSS #architecture #self #using

Using Architectural Style as a Basis for System Self-repair (SWC, DG, BRS, JPS, BS, PS), pp. 45–59.

DAC-2002-MahawarSS #performance

A solenoidal basis method for efficient inductance extraction (HM, VS, WS), pp. 751–756.

FoSSaCS-2002-YangO #reasoning #semantics

A Semantic Basis for Local Reasoning (HY, PWO), pp. 402–416.

FME-2002-Wildman #compilation #proving

A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.

ICPR-v1-2002-WangQ #complexity #recognition #using

Face Recognition Using Optimal Non-Orthogonal Wavelet Basis Evaluated by Information Complexity (XW, HQ), pp. 164–167.

ICPR-v2-2002-HuangSK #detection #network #using

Face Detection Using a Modified Radial Basis Function Neural Network (LLH, AS, HK), pp. 342–345.

ICPR-v4-2002-IshiyamaS #recognition

Geodesic Illumination Basis: Compensating for Illumination Variations in any Pose for Face Recognition (RI, SS), pp. 297–301.

CSL-2002-GeuversJ #interactive #logic #proving

Open Proofs and Open Terms: A Basis for Interactive Logic (HG, GIJ), pp. 537–552.

DAC-2001-DanielSW #analysis #performance #using

Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect (LD, ALSV, JW), pp. 563–566.

ICDAR-2001-WatanabeS #estimation

Estimation of Home-Address Numbers on the Basis of Relationships and Directions among House Blocks (TW, TS), p. 1245–?.

IWPC-2001-Sneed #cobol #logic #source code

Extracting Business Logic from Existing COBOL Programs as a Basis for Redevelopment (HMS), pp. 167–175.

WCRE-2001-DeanMH #c++

Union Schemas as a Basis for a C++ Extractor (TRD, AJM, RCH), p. 59–?.

KDD-2001-GarckeG #data mining #mining #using

Data mining with sparse grids using simplicial basis functions (JG, MG), pp. 87–96.

MLDM-2001-Krzyzak #classification #learning #network #using

Nonlinear Function Learning and Classification Using Optimal Radial Basis Function Networks (AK), pp. 217–225.

GCSE-2001-Vranic #aspectj #design #multi #paradigm

AspectJ Paradigm Model: A Basis for Multi-paradigm Design for AspectJ (VV), pp. 48–57.

CIAA-2000-FarreG #parsing

A Basis for Looping Extensions to Discriminating-Reverse Parsing (JF, JFG), pp. 122–134.

ICML-2000-KatayamaKK #learning #using

A Universal Generalization for Temporal-Difference Learning Using Haar Basis Functions (SK, HK, SK), pp. 447–454.

ICPR-v2-2000-Figueiredo #approximate #learning #on the

On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies (MATF), pp. 2618–2621.

ICPR-v2-2000-KeglKN #classification #complexity #learning #network

Radial Basis Function Networks and Complexity Regularization in Function Learning and Classification (BK, AK, HN), pp. 2081–2086.

ICPR-v3-2000-HarukiH #using

Data Fitting by Spline Functions Using the Biorthonormal Basis of the B-spline Basis (RH, TH), pp. 3274–3277.

ICRE-2000-Parnas #documentation #requirements #why

Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.

ICALP-1999-Ajtai #generative #problem

Generating Hard Instances of the Short Basis Problem (MA), pp. 1–9.

ICALP-1999-Bruijn #memory management

A Model for Associative Memory, a Basis for Thinking and Consciousness (NGdB), pp. 74–89.

HCI-CCAD-1999-Burmester #design #people #requirements #user interface

Consumer electronics user interfaces for all. Design on the basis of the special requirements of elderly people (MB), pp. 942–946.

HCI-EI-1999-Grinchenko #internet #quality #security

Quality of Information in Internet as an Information Security Basis (TAG), pp. 111–115.

HCI-EI-1999-Zerweck #multi

Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.

ICEIS-1999-Whymark #requirements #using

Using Criticality as a Basis for Determining Information Requirements for an EIS (GKW), pp. 542–549.

TOOLS-EUROPE-1999-Poo #case study #identification #specification

Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules (DCCP), pp. 204–213.

RE-1999-GoedickeMT #consistency #development #distributed #graph transformation #nondeterminism #towards

ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.

ICALP-1998-Peleg #distributed

Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees (DP), pp. 164–175.

ICPR-1998-KeglKN #classification #learning #network #parametricity

Radial basis function networks in nonparametric classification and function learning (BK, AK, HN), pp. 565–570.

ICDAR-1997-MiyamotoISNT #analysis #documentation #requirements

Analysis of required elements for next-generation document reader on the basis of user requirements (TM, YI, KS, TN, YT), pp. 428–432.

ICDAR-1997-WatanabeZ #recognition #string #validation

Recognition of Character Strings from Color Urban Map Imageson the Basis of Validation Mechanism (TW, RZ), pp. 805–808.

DLT-1997-Kuich #automaton #named

Semirings: A basis for a mathematical automata and language theory (WK), pp. 49–60.

TRI-Ada-1997-Needham #ada #modelling

An Ada95 Basis for Propagation Modeling (DMN, SAD, TJP), pp. 263–272.

ALP-1997-CodishT #analysis #constraints #logic programming #semantics #source code #termination #using

A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints (MC, CT), pp. 31–45.

ESEC-FSE-1997-JahnkeSZ #database #fuzzy #reasoning #relational #reverse engineering

Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications (JHJ, WS, AZ), pp. 193–210.

WCRE-1996-LakeB #approach #assembly #logic #modelling #reverse engineering #source code

Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis (TL, TB), pp. 67–75.

STOC-1996-CleggEI #algorithm #proving #satisfiability #using

Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability (MC, JE, RI), pp. 174–183.

TRI-Ada-1996-BailesBCS #ada #towards

Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion (PAB, PB, MC, EJS), pp. 193–204.

CIKM-1996-WarshawM #case study #declarative

A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.

ICML-1996-BlanzieriK #learning #network #online

Learning Radial Basis Function Networks On-line (EB, PK), pp. 37–45.

ICPR-1996-HuangPC #using

Shape from shading using Ritz method with tent basis (CKH, CP, WTC), pp. 398–402.

ICPR-1996-HwangB #classification #network #performance #recognition

An efficient method to construct a radial basis function neural network classifier and its application to unconstrained handwritten digit recognition (YSH, SYB), pp. 640–644.

ICPR-1996-KrzyzakL #classification #complexity #convergence #network #parametricity

Radial basis function networks and nonparametric classification: complexity regularization and rates of convergence (AK, TL), pp. 650–653.

ICPR-1996-LiaoA #using

Curve and surface interpolation using rational radial basis functions (WHL, JKA), pp. 8–13.

ICPR-1996-Webb #feature model #multi #scalability #using

Nonlinear feature extraction with radial basis functions using a weighted multidimensional scaling stress measure (ARW), pp. 635–639.

ICPR-1996-WebbG #estimation #using

Source position estimation using radial basis functions (ARW, PNG), pp. 3–7.

ICPR-1996-WebbS #adaptation

Adaptive radial basis functions (ARW, SS), pp. 630–634.

SAC-1996-Fritzke #automation #fuzzy #logic #network

Automatic construction of radial basis function networks with the growing neural gas model and its relevance for fuzzy logic (BF), pp. 624–627.

SAC-1996-JazayeriT #concept #design

Design concepts as basis for organizing software catalogs (MJ, GT), pp. 558–564.

KBSE-1995-KraanB #case study #framework #logic #tool support #verification

Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.

ICDAR-v1-1995-GillouxLL #hybrid #markov #network #recognition #word

A hybrid radial basis function network/hidden Markov model handwritten word recognition system (MG, BL, ML), pp. 394–397.

WCRE-1995-GannodC #reverse engineering #semantics

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering (GCG, BHCC).

CIKM-1995-StranieriZ #formal method #reasoning

Levels of Reasoning as the Basis for a Formalisation of Argumentation (AS, JZ), pp. 333–339.

SAC-1995-AbualiWS #encoding #graph #representation

Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.

LOPSTR-1994-BarklundBD #logic programming #multi #programming language

A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.

ICLP-1994-Jiang #logic #logic programming #semantics

Ambivalent Logic as the Semantic Basis of Metalogic Programming (YJ), pp. 387–401.

ICDAR-1993-ChangCDHK #segmentation

Stroke segmentation as a basis for structural matching of Chinese characters (FC, YCC, HSD, WLH, CIK), pp. 35–40.

ICDAR-1993-Lemarie #implementation #network #recognition

Practical implementation of a radial basis function network for handwritten digit recognition (BL), pp. 412–415.

HCI-ACS-1993-WittigO #fault

Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.

ECOOP-1993-BalstersBZ #database #object-oriented #set

Typed Sets as a Basis for Object-Oriented Database Schemas (HB, RAdB, RZ), pp. 161–184.

SAC-1993-AlGhamdiU #programming language

Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology (JA, JEU), pp. 222–229.

ICLP-1993-Gusikhin #integration #prolog #scheduling

Integration of Traditional Scheduling Techniques and AI on Prolog Basis (OYG), p. 841.

IWPTS-1993-VermeerB #communication #testing

Interoperability Testing: Basis for the Acceptance of Communication Systems (GV, HB), pp. 315–330.

RTA-1993-ChakrabartiY #algorithm #correctness #distributed #memory management #on the

On the Correctness of a Distributed Memory Gröbner basis Algorithm (SC, KAY), pp. 77–91.

CSCW-1992-NarayanaswamyG #consistency #development #lazy evaluation

“Lazy” Consistency: A Basis for Cooperative Software Development (KN, NMG), pp. 257–264.

OOPSLA-1992-Horn #constraints #object-oriented #programming

Constraint Patterns As a Basis for Object-Oriented Programming (BH), pp. 218–233.

TOOLS-USA-1992-Mitchell #object-oriented

Theoretical Basis of Object-Oriented Methods (JM), p. 272.

KR-1991-DierbachC #reasoning

A Formal Basis for Analogical Reasoning (CD, DLC), pp. 139–150.

VLDB-1990-TuzhilinC #algebra #relational

A Temporal Relational Algebra as Basis for Temporal Relational Completeness (AT, JC), pp. 13–23.

STOC-1990-Lakshman #complexity #on the

On the Complexity of Computing a Gröbner Basis for the Radical of a Zero Dimensional Ideal (YNL), pp. 555–563.

LFP-1990-CardelliL #semantics

A Semantic Basis for Quest (LC, GL), pp. 30–43.

CHI-1989-Olsen #programming language #user interface

A programming language basis for user interface (DROJ), pp. 171–176.

CAiSE-1989-RunnquistG #coordination

IRM as a Basis for Long Range Planning and Systems Coordination (FR, ÖG).

KR-1989-LinS #reasoning

Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.

ML-1989-KrulwichCB #experience

Improving Decision-Making on the Basis of Experience (BK, GC, LB), pp. 55–57.

ML-1989-ZhangM #learning

A Description of Preference Criterion in Constructive Learning: A Discussion of Basis Issues (JZ, RSM), pp. 17–19.

CADE-1988-Walther #algorithm #automation #bound #proving #termination

Argument-Bounded Algorithms as a Basis for Automated Termination Proofs (CW), pp. 602–621.

CSL-1988-Plumer #automation #prolog #proving #source code #termination

Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs (LP), pp. 254–271.

HT-1987-SmithWF #hypermedia

A Hypertext Writing Environment and its Cognitive Basis (JBS, SFW, GJF), pp. 195–214.

PODS-1987-AtzeniB

A New Basis for the Weak Instance Model (PA, MCDB), pp. 79–86.

VLDB-1987-Blakey #database #distributed

Basis of a Partially Informed Distributed Database (MB), pp. 381–388.

LICS-1987-Emden #first-order #functional #logic #programming #relational

First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract) (MHvE), p. 179.

LICS-1987-Goerdt #hoare #imperative #logic

Hoare Logic for λ-Terms as Basis of Hoare Logic for Imperative Languages (AG), pp. 293–299.

VLDB-1986-BryM #consistency #constraints #database #logic

Checking Consistency of Database Constraints: a Logical Basis (FB, RM), pp. 13–20.

ICALP-1986-Schnorr #algorithm #performance #reduction

A More Efficient Algorithm for Lattice Basis Reduction (Extended Abstract) (CPS), pp. 359–369.

ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.

LICS-1986-Statman #combinator #on the #problem

On Translating λ Terms into Combinators; The Basis Problem (RS), pp. 378–382.

ICALP-1984-Schonhage #algorithm #integer #reduction

Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm (AS), pp. 436–447.

SIGIR-1984-NiedermairTB #analysis #named #retrieval

MARS: A Retrieval Tool on the Basis of Morphological Analysis (GTN, GT, IB), pp. 369–381.

POPL-1984-Warren #order

A Hierarchical Basis for Reordering Transformations (JDW), pp. 272–282.

SLP-1984-SubrahmanyamY84 #concept #evaluation #functional #logic programming

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.

SIGIR-1983-RaghavanSY #evaluation #using

Evaluation of The 2-Poisson Model as a Basis for Using Term Frequency Data in Searching (VVR, HPS, CTY), pp. 88–100.

CADE-1982-Gabbay #logic

Intuitonistic Basis for Non-Monotonic Logic (DMG), pp. 260–273.

SIGIR-1981-Farradane #formal method #information retrieval

The Basis for a Theory of Information Retrieval (JF), pp. 1–3.

ICALP-1980-Galil #algorithm #database #dependence #linear #relational

An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Data Base (ZG), pp. 246–256.

SIGIR-1980-MazlackF #database #query

Establishing a Basis for Mapping Natural-Language Statements Onto a Database Query Language (LJM, RAF), pp. 192–202.

POPL-1980-GabbayPSS #on the

On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.

CADE-1980-Nederpelt #approach #proving #theorem proving #λ-calculus

An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus (RN), pp. 182–194.

VLDB-1979-OrenA #concept #database #design #logic #statistics

Statistice for the Usage of a Conceptual Data Model as a Basis for Logical Data Base Design (OO, FA), pp. 140–145.

ICSE-1976-ReynoldsY #induction #verification

Induction as the Basis for Program Verification (Abstract) (CR, RTY), p. 389.

DAC-1969-Chace #multi #representation

A network-variational basis for generalized computer representation of multifreedom, constrained, mechanical systems (MAC), pp. 169–178.