BibSLEIGH — natur stem

Used together with:

languag (262)
use (60)
base (54)
process (51)
imag (50)

Stem natur$ (all stems)

519 papers:

DATE-2015-YanCC #consistency #natural language #specification: Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
SIGMOD-2015-AmsterdamerKM #interface #mining #named #natural language: NL2CM: A Natural Language Interface to Crowd Mining (YA, AK, TM), pp. 1433–1438.
VLDB-2015-AmsterdamerKM #interface #natural language #query: A Natural Language Interface for Querying General and Individual Knowledge (YA, AK, TM), pp. 1430–1441.
ITiCSE-2015-Patitsas #approach #education #student: A Numpy-First Approach to Teaching CS1 to Natural Science Students (EP), p. 333.
ICSME-2015-AbidDCM #automation #c++ #generative #natural language #summary #using: Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
ICSME-2015-PawelkaJ #case study #identifier #natural language: Is this code written in English? A study of the natural language of comments and identifiers in practice (TP, EJ), pp. 401–410.
SANER-2015-JiangSPLZ #comprehension #developer #interactive #natural language #query: Understanding developers’ natural language queries with interactive clarification (SJ, LS, XP, ZL, WZ), pp. 13–22.
ICALP-v2-2015-DubutGG: Natural Homology (JD, EG, JGL), pp. 171–183.
SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing: NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
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.
HCI-DE-2015-GhoshP #approach #design #mobile: Designing of a Natural Voice Assistants for Mobile Through User Centered Design Approach (SG, JP), pp. 320–331.
HCI-DE-2015-VlachostergiouC #human-computer: HCI and Natural Progression of Context-Related Questions (AV, GC, AR, SDK), pp. 530–541.
HCI-IT-2015-RemJ #design #user interface: Implications for Design of Personal Mobility Devices with Balance-Based Natural User Interfaces (AR, SGJ), pp. 363–375.
HIMI-IKD-2015-EldesoukyMSD #interface #knowledge base #natural language: Seed, a Natural Language Interface to Knowledge Bases (BE, HM, SS, AD), pp. 280–290.
ICEIS-v1-2015-PfaffK #automation #benchmark #classification #documentation #identification #metric #natural language: Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICML-2015-AllamanisTGW #modelling #natural language #source code: Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICML-2015-GrosseS #matrix #scalability: Scaling up Natural Gradient by Sparsely Factorizing the Inverse Fisher Matrix (RBG, RS), pp. 2304–2313.
KDD-2015-Durrant-Whyte #machine learning: Data, Knowledge and Discovery: Machine Learning meets Natural Science (HDW), p. 7.
KDD-2015-HillMHTPT #online: Measuring Causal Impact of Online Actions via Natural Experiments: Application to Display Advertising (DNH, RM, AEH, VT, FJP, KT), pp. 1839–1847.
SAC-2015-SenaCK #exception #product line: An investigation on the evolutionary nature of exception handling violations in software product lines (DS, RC, UK), pp. 1616–1623.
ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements: NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ICSE-v2-2015-ArnaoudovaHMA #natural language #re-engineering #retrieval: The Use of Text Retrieval and Natural Language Processing in Software Engineering (VA, SH, AM, GA), pp. 949–950.
ICSE-v2-2015-Devanbu: New Initiative: The Naturalness of Software (PTD), pp. 543–546.
SPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support: CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing: RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
LICS-2015-BeckmannP #deduction: Hyper Natural Deduction (AB, NP), pp. 547–558.
LICS-2015-CarayolS #game studies #how #question: How Good Is a Strategy in a Game with Nature? (AC, OS), pp. 609–620.
SIGMOD-2014-GulwaniM #data analysis #interactive #named #natural language #programming #spreadsheet: NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation (SG, MM), pp. 803–814.
SIGMOD-2014-LiJ #database #interactive #interface #named #natural language #query #relational: NaLIR: an interactive natural language interface for querying relational databases (FL, HVJ), pp. 709–712.
SIGMOD-2014-ZouHWYHZ #approach #data-driven #graph #natural language #rdf: Natural language question answering over RDF: a graph data driven approach (LZ, RH, HW, JXY, WH, DZ), pp. 313–324.
VLDB-2015-LiJ14 #database #interactive #interface #natural language #relational: Constructing an Interactive Natural Language Interface for Relational Databases (FL, HVJ), pp. 73–84.
ICPC-2014-DelimarschiSK #development #ide #interactive #user interface: Enabling integrated development environments with natural user interface interactions (DD, GS, HHK), pp. 126–129.
MSR-2014-CampbellHA #fault #modelling #syntax: Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSR-2014-MertenMBP #natural language #semistructured data: Classifying unstructured data into natural language text and technical information (TM, BM, SB, BP), pp. 300–303.
PLDI-2014-PekQM #c #data type #logic #proving #using: Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
IFL-2014-AmorimGAH #linear #type checking: Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
CHI-2014-HayashiMH #gesture #identification #using: Wave to me: user identification using body lengths and natural gestures (EH, MM, JIH), pp. 3453–3462.
DHM-2014-Fass: Reclaiming Human Machine Nature (DF), pp. 588–599.
DHM-2014-HamamuraFYE: Evacuation Support System for Everyday Use in the Aftermath of a Natural Disaster (AH, TF, TY, NE), pp. 600–611.
DUXU-DI-2014-FigueiredoPNMTTAF #industrial #navigation #scalability: In-Place Natural and Effortless Navigation for Large Industrial Scenarios (LSF, MP, EVN, TM, JMXNT, VT, PA, DQdF), pp. 550–561.
HCI-AIMT-2014-WuttkeM #adaptation #behaviour #communication: Natural Forms of Communication and Adaptive Behaviour in Human-Computer-Interaction (MW, KUM), pp. 641–647.
HCI-TMT-2014-SilvaCP #education #human-computer #interactive #learning: Studio-Based Learning as a Natural Fit to Teaching Human-Computer Interaction (PAS, MEC, BJP), pp. 251–258.
HIMI-DE-2014-HuangL #design #generative: Generative Product Design Inspired by Natural Information (YH, JYL), pp. 583–593.
LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving: Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.
LCT-NLE-2014-Piki #collaboration #learning #process #question: Learner Engagement in Computer-Supported Collaborative Learning Activities: Natural or Nurtured? (AP), pp. 107–118.
ICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise #top-down: An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
ICEIS-v3-2014-SilvaGS #case study #gesture #interactive #process: Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.
CIKM-2014-SondhiZ #community #knowledge base #mining #natural language #online: Mining Semi-Structured Online Knowledge Bases to Answer Natural Language Questions on Community QA Websites (PS, CZ), pp. 341–350.
ICML-c1-2014-Thomas #algorithm #bias: Bias in Natural Actor-Critic Algorithms (PT), pp. 441–448.
ICML-c2-2014-MaddisonT #generative #modelling #source code: Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICML-c2-2014-Thomas14a #convergence #named: GeNGA: A Generalization of Natural Gradient Ascent with Positive and Negative Convergence Results (PT), pp. 1575–1583.
ICPR-2014-Desrosiers #adaptation #approach #image #performance #random #segmentation: A Fast and Adaptive Random Walks Approach for the Unsupervised Segmentation of Natural Images (CD), pp. 130–135.
ICPR-2014-SuLTLT #recognition #using: Character Recognition in Natural Scenes Using Convolutional Co-occurrence HOG (BS, SL, ST, JHL, CLT), pp. 2926–2931.
ICPR-2014-SunHJC #detection #image #network #robust: Robust Text Detection in Natural Scene Images by Generalized Color-Enhanced Contrasting Extremal Region and Neural Networks (LS, QH, WJ, KC), pp. 2715–2720.
ICPR-2014-WangFH0KH #detection #image #performance: Fast and Accurate Text Detection in Natural Scene Images with User-Intention (LW, WF, YH, JS, YK, YH), pp. 2920–2925.
ICPR-2014-YangCCW #image: Fisher’s Discriminant with Natural Image Priors (YHY, LHC, CSC, CCW), pp. 4305–4309.
KEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology: A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
KEOD-2014-DogmusPE #natural language #ontology #query: Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud (ZD, VP, EE), pp. 75–83.
MLDM-2014-SandovalH #learning #network #using: Learning of Natural Trading Strategies on Foreign Exchange High-Frequency Market Data Using Dynamic Bayesian Networks (JS, GH), pp. 408–421.
OOPSLA-2014-Desai0M #proving #reduction #source code #using: Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
PPDP-2014-Tarau #encoding: Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.
RE-2014-PruskiLAOARC #named #natural language #query #towards: TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.
RE-2014-RiazKSW #automation #identification #natural language #requirements #security: Hidden in plain sight: Automatically identifying security requirements from natural language artifacts (MR, JTK, JS, LAW), pp. 183–192.
REFSQ-2014-FerraridSG #natural language #requirements: Measuring and Improving the Completeness of Natural Language Requirements (AF, FD, GOS, SG), pp. 23–38.
REFSQ-2014-KnaussO #automation #categorisation #natural language #requirements: (Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
SAC-2014-TarauB #algorithm: Arithmetic algorithms for hereditarily binary natural numbers (PT, BPB), pp. 1593–1600.
FSE-2014-AllamanisBBS #learning: Learning natural coding conventions (MA, ETB, CB, CAS), pp. 281–293.
ICST-2014-HuntBF #automation #testing #user interface: Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality #requirements: Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
ICDAR-2013-GomezK #multi: Multi-script Text Extraction from Natural Scenes (LGiB, DK), pp. 467–471.
ICDAR-2013-HigaH #classification #image #recognition: Local Subspace Classifier with Transformation Invariance for Appearance-Based Character Recognition in Natural Images (KH, SH), pp. 533–537.
ICDAR-2013-MilyaevBNKL #comprehension #image: Image Binarization for End-to-End Text Understanding in Natural Images (SM, OB, TN, PK, VSL), pp. 128–132.
ICDAR-2013-SunH #approach #component #image: An Improved Component Tree Based Approach to User-Intention Guided Text Extraction from Natural Scene Images (LS, QH), pp. 383–387.
ICDAR-2013-WangSZ #component #detection #multi #segmentation: Natural Scene Text Detection with Multi-channel Connected Component Segmentation (XW, YS, YZ), pp. 1375–1379.
ICDAR-2013-ZagorisP #detection #image #modelling #using: Text Detection in Natural Images Using Bio-inspired Models (KZ, IP), pp. 1370–1374.
SIGMOD-2013-HuangZ #natural language #rdf: Natural language question answering over RDF data (RH, LZ), pp. 1289–1290.
ICPC-2013-MorenoASMPV #automation #generative #java #natural language #summary: Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPC-2013-MorenoMPV #automation #generative #java #named #natural language #summary: JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
PLDI-2013-Qiu0SM #proving: Natural proofs for structure, data, and separation (XQ, PG, AS, PM), pp. 231–242.
STOC-2013-Williams #proving: Natural proofs versus derandomization (RW), pp. 21–30.
CSCW-2013-OKaneMT #health #information management #privacy: Non-static nature of patient consent: shifting privacy perspectives in health information sharing (AAO, HMM, ET), pp. 553–562.
DUXU-NTE-2013-IbrahimABSBL #safety: Safety of Natural Disasters (LFI, RA, SB, RS, MB, TAAL), pp. 85–94.
HCI-AS-2013-AngeliniCCCLKM #gesture #interactive #named: WheelSense: Enabling Tangible Gestures on the Steering Wheel for In-Car Natural Interaction (LA, MC, FC, SC, DL, OAK, EM), pp. 531–540.
HCI-AS-2013-TakanoS #learning: Nature Sound Ensemble Learning in Narrative-Episode Creation with Pictures (KT, SS), pp. 493–502.
HCI-IMT-2013-LeeT #gesture #interactive #using: Finger Controller: Natural User Interaction Using Finger Gestures (UL, JT), pp. 281–290.
HCI-UC-2013-TajimaIK #analysis: Analysis of Customer Preference through Unforced Natural Passive Observation (TT, YI, TK), pp. 466–474.
HIMI-HSM-2013-ChunJHJSLCJ #natural language #using: Pathway Construction and Extension Using Natural Language Processing (HWC, SJJ, MNH, CHJ, SKS, SL, SPC, HJ), pp. 32–38.
HIMI-HSM-2013-LiuskaMS #library #named: BookAidee: Managing Evacuees from Natural Disaster by RFID Tagged Library Books (ML, EM, IS), pp. 124–130.
EDOC-2013-SelwayGMS #approach #formal method #natural language #specification #using: Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach (MS, GG, WM, MS), pp. 59–68.
ICML-c3-2013-GuptaAM #image: Natural Image Bases to Represent Neuroimaging Data (AG, MA, AM), pp. 987–994.
KDIR-KMIS-2013-Dessne #learning: Learning in an Organisation — Exploring the Nature of Relationships (KD), pp. 496–501.
MLDM-2013-SouzaP #random #recognition #word: Sign Language Recognition with Support Vector Machines and Hidden Conditional Random Fields: Going from Fingerspelling to Natural Articulated Words (CRdS, EBP), pp. 84–98.
SIGIR-2013-FreitasFOC #approach #graph #linked data #natural language #open data #query #semantics: Answering natural language queries over linked data graphs: a distributional semantics approach (AF, FFdF, SO, EC), pp. 1107–1108.
SIGIR-2013-YinYHH #detection #image #retrieval #robust: Accurate and robust text detection: a step-in for text retrieval in natural scene images (XCY, XY, KH, HWH), pp. 1091–1092.
SKY-2013-SuarezMFM #automation #generative #natural language #semantics #using: Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
MoDELS-2013-HebigGSS #evolution #on the: On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
MoDELS-2013-HebigGSS #evolution #on the: On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
PPDP-2013-SimmonsZ #automaton #logic #semantics: A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
RE-2013-DwarakanathRS #automation #natural language #requirements #taxonomy: Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
REFSQ-2013-FerrariGT #clustering #documentation #natural language #requirements #using: Using Clustering to Improve the Structure of Natural Language Requirements Documents (AF, SG, GT), pp. 34–49.
REFSQ-2013-Ott #automation #bibliography #categorisation #natural language #scalability #specification: Automatic Requirement Categorization of Large Natural Language Specifications at Mercedes-Benz for Review Improvements (DO), pp. 50–64.
SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing: Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SAC-2013-TeixeiraRG #detection #locality #parallel #using: Indoor localization using SLAM in parallel with a natural marker detector (LT, ABR, MG), pp. 27–33.
ICSE-2013-HauptmannJEHVB #natural language #smell #testing: Hunting for smells in natural language tests (BH, MJ, SE, LH, RV, PB), pp. 1217–1220.
ICSE-2013-Slankas #data access #database #implementation #natural language #policy: Implementing database access control policy from unconstrained natural language text (JS), pp. 1357–1360.
SPLC-2013-FerrariSd #documentation #mining #natural language: Mining commonalities and variabilities from natural language documents (AF, GOS, FD), pp. 116–120.
ICLP-J-2013-Schwitter #challenge #natural language: The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ICST-2013-AfshanMS #evolution #natural language #string #testing #using: Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
DAC-2012-Harris #design #natural language #specification: Extracting design information from natural language specifications (IGH), pp. 1256–1257.
ITiCSE-2012-GordonMM #programming: Spaghetti for the main course?: observations on the naturalness of scenario-based programming (MG, AM, OMS), pp. 198–203.
ICSM-2012-Pollock #analysis #challenge #natural language: Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
WCRE-2012-BrunetBGF #architecture #on the: On the Evolutionary Nature of Architectural Violations (JB, RAB, DSG, JCAdF), pp. 257–266.
CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming: Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.
CHI-2012-BrownL: The normal natural troubles of driving with GPS (BATB, EL), pp. 1621–1630.
CHI-2012-HornLBDEPS #game studies #interactive: Of BATs and APEs: an interactive tabletop game for natural history museums (MSH, ZAL, FB, JD, EME, BCP, CS), pp. 2059–2068.
CHI-2012-TolmieBFBATFG #case study #experience #quote: “Act natural”: instructions, compliance and accountability in ambulatory experiences (PT, SB, MF, PB, MA, NT, JRF, GG), pp. 1519–1528.
CHI-2012-XinBR #empirical: Natural use profiles for the pen: an empirical exploration of pressure, tilt, and azimuth (YX, XB, XR), pp. 801–804.
CAiSE-2012-LeopoldMP #generative #modelling #natural language #process: Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
CIKM-2012-ReyesD #natural language #preprocessor: Preprocessing of informal mathematical discourse in context ofcontrolled natural language (REGdPR, JFDF), pp. 1632–1636.
ICPR-2012-AbeOD #image #learning #rank: Recognizing surface qualities from natural images based on learning to rank (TA, TO, KD), pp. 3712–3715.
ICPR-2012-GaoY #automation #segmentation: Saliency-seeded localizing region-based active contour for automatic natural object segmentation (SG, JY), pp. 3644–3647.
ICPR-2012-GonzalezBTB #image #recognition: A character recognition method in natural scene images (ÁG, LMB, JJYT, SB), pp. 621–624.
ICPR-2012-LiuLW #effectiveness #image #locality: Effectively localize text in natural scene images (XL, KL, WW), pp. 1197–1200.
ICPR-2012-PhanST #detection #symmetry #using: Text detection in natural scenes using Gradient Vector Flow-Guided symmetry (TQP, PS, CLT), pp. 3296–3299.
ICPR-2012-RoyG #detection #framework #image #locality #probability: A probabilistic framework for logo detection and localization in natural scene images (AR, UG), pp. 2051–2054.
ICPR-2012-YinYHI #effectiveness #geometry #image #locality: Effective text localization in natural scene images with MSER, geometry-based grouping and AdaBoost (XY, XCY, HWH, KI), pp. 725–728.
KEOD-2012-AygulCC #multi #natural language #ontology #query: Natural Language Query Processing in Multimedia Ontologies (FAA, NKC, IC), pp. 66–75.
SEKE-2012-AlbuquerquePL #approach #case study #experience #natural language #requirements #reuse: Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing (AA, VP, TL), pp. 574–577.
SEKE-2012-Devanbu #on the: On the Naturalness of Software (keynote) (PTD).
TOOLS-EUROPE-2012-OlahMS #constraints #framework #representation: Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.
TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using: Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
RE-2012-Ott #fault #legacy #natural language #specification #using: Defects in natural language requirement specifications at Mercedes-Benz: An investigation using a combination of legacy data and expert opinion (DO), pp. 291–296.
RE-2012-YangRGWN #automation #detection #natural language #nondeterminism #requirements: Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
FSE-2012-DiGiuseppeJ #automation #fault #semantics: Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
FSE-2012-XiaoPTX #automation #documentation #policy #security: Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSE-2012-HindleBSGD #on the: On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification: Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
ICSE-2012-PanditaXZXOP #api #natural language #specification: Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ASPLOS-2012-HwangSS #comprehension #design #fault: Cosmic rays don’t strike twice: understanding the nature of DRAM errors and the implications for system design (AAH, IAS, BS), pp. 111–122.
OSDI-2012-GonzalezLGBG #distributed #graph #named: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs (JEG, YL, HG, DB, CG), pp. 17–30.
ASE-2011-BacchelliCLM #documentation #natural language #semiparsing: Extracting structured data from natural language documents with island parsing (AB, AC, ML, AM), pp. 476–479.
ASE-2011-HillPV #code search #natural language #source code: Improving source code search with natural language phrasal representations of method signatures (EH, LLP, KVS), pp. 524–527.
ASE-2011-KimmigMM #natural language #query #source code: Querying source code with natural language (MK, MM, MM), pp. 376–379.
ASE-2011-Li #consistency #natural language #requirements #towards: Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.
DRR-2011-FanSNMH #feature model #recognition: Natural scene logo recognition by joint boosting feature selection in salient regions (WF, JS, SN, AM, YH), pp. 1–10.
ICDAR-2011-LeeLLYK #detection: AdaBoost for Text Detection in Natural Scene (JJL, PHL, SWL, ALY, CK), pp. 429–434.
ICDAR-2011-MishraAJ: An MRF Model for Binarization of Natural Scene Text (AM, KA, CVJ), pp. 11–16.
ICDAR-2011-YiT #detection #image #word: Text Detection in Natural Scene Images by Stroke Gabor Words (CY, YT), pp. 177–181.
ITiCSE-2011-OliveiraMR11a #case study #natural language #programming: Natural language in introductory programming: an experimental study (OLO, AMM, NTR), p. 363.
ICSM-2011-RastkarMB #generative #natural language #source code #summary: Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
CHI-2011-GrandhiJM #comprehension #gesture #interface: Understanding naturalness and intuitiveness in gesture production: insights for touchless gestural interfaces (SAG, GJ, IM), pp. 821–824.
CHI-2011-RyokaiOMA #named: GreenHat: exploring the natural environment through experts’ perspectives (KR, LO, MM, AMA), pp. 2149–2152.
DUXU-v1-2011-Davis11a #adaptation #interactive: The Nature of Adaptive Interactions and Potential for Strategic Application (JD), pp. 221–227.
HCI-ITE-2011-AbeOO #analysis #detection #image: Eye-gaze Detection by Image Analysis under Natural Light (KA, SO, MO), pp. 176–184.
HCI-ITE-2011-BoulabiarBPC #interactive #low cost: A Low-Cost Natural User Interaction Based on a Camera Hand-Gestures Recognizer (MIB, TB, FP, GC), pp. 214–221.
HCI-ITE-2011-NakaI #3d #communication #gesture #interface #using: Web-Based Nonverbal Communication Interface Using 3DAgents with Natural Gestures (TN, TI), pp. 565–574.
HCI-MIIE-2011-BlazicaVM #named: ShoeBox: A Natural Way of Organizing Pictures According to User’s Affinities (BB, DV, DM), pp. 519–524.
IDGD-2011-OzturkRPKB #case study #interactive #network #smarttech #social: The Impact of “Device” in Social Networking: An Explorative Study with Turkish Social Network Site Users on the Nature of Interactions through Personal Computers and Smartphones (ÖÖ, KR, SP, FK, OB), pp. 473–482.
CAiSE-2011-FriedrichMP #generative #natural language #process: Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
ICEIS-J-2011-BajwaC #modelling #natural language #specification #uml: From Natural Language Software Specifications to UML Class Models (ISB, MAC), pp. 224–237.
ICEIS-v2-2011-BajwaNCA #interface #modelling #natural language: A Controlled Natural Language Interface to Class Models (ISB, MAN, AAC, SA), pp. 102–110.
CIKM-2011-JiangPL #summary: Natural event summarization (YJ, CSP, TL), pp. 765–774.
ECIR-2011-ZhouH #comprehension #learning #natural language #random: Learning Conditional Random Fields from Unaligned Data for Natural Language Understanding (DZ, YH), pp. 283–288.
ICML-2011-SocherLNM #natural language #network #parsing #recursion: Parsing Natural Scenes and Natural Language with Recursive Neural Networks (RS, CCYL, AYN, CDM), pp. 129–136.
KDIR-2011-CostantiniFP #analysis #framework #natural language #representation: A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis (SC, NF, AP), pp. 282–287.
KEOD-2011-StratosSG #logic #reasoning: Episodic Logic: Natural Logic + Reasoning (KS, LKS, JG), pp. 304–310.
KMIS-2011-GimutaoFD #case study #information management: Knowledge Management and the Corporate Nature of Local Governance — A Case Study from the Philippines (KG, BPF, WD), pp. 363–368.
SEKE-2011-BarrosNHT #case study #natural language #specification: The ucsCNL: A Controlled Natural Language for Use Case Specifications (FAB, LN, EH, DT), pp. 250–253.
PLATEAU-2011-ShonleGL #design #using: Using metaphors from natural discussion to improve the design of arcum (MS, WGG, SL), pp. 39–44.
SAC-2011-ShiC #authoring #data access #interface #natural language #policy: A controlled natural language interface for authoring access control policies (LLS, DWC), pp. 1524–1530.
ICLP-2011-Simko #logic programming #order: Accepting the natural order of rules in a logic program with preferences (AS), pp. 284–289.
RTA-2011-AotoYC #higher-order #induction #theorem: Natural Inductive Theorems for Higher-Order Rewriting (TA, TY, YC), pp. 107–121.
ASE-2010-YangWRN #automation #coordination #detection #natural language #requirements: Automatic detection of nocuous coordination ambiguities in natural language requirements (HY, AW, ANDR, BN), pp. 53–62.
CASE-2010-SunLJJWS #energy: An integrated control of shading blinds, natural ventilation, and HVAC systems for energy saving and human comfort (BS, PBL, QSJ, ZJ, FW, CS), pp. 7–14.
FASE-2010-Harman #optimisation #why: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.
CSMR-2010-BritoGM10a #comprehension #legacy: LIFT Revisited: Enhancing the Understanding of NATURAL/ADABAS Legacy Systems (KdSB, VCG, SRdLM), pp. 272–273.
ICPC-2010-AbebeT #concept #natural language #parsing: Natural Language Parsing of Program Element Names for Concept Extraction (SLA, PT), pp. 156–159.
ICSM-2010-HasanSBA #process: Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
CIAA-2010-Johnson #natural language #using: Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
CHI-2010-BrandlRH #named: NiCEBook: supporting natural note taking (PB, CR, MH), pp. 599–608.
CHI-2010-ViewegHSP #microblog #twitter #what: Microblogging during two natural hazards events: what twitter may contribute to situational awareness (SV, ALH, KS, LP), pp. 1079–1088.
CSCW-2010-BertramVGW #collaboration #communication #debugging #issue tracking #social: Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams (DB, AV, SG, RW), pp. 291–300.
EDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification: OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
ICEIS-AIDSS-2010-FariaGSMM #automation #natural language #ontology #using: Using Natural Language Processing for Automatic Extraction of Ontology Instances (CGdF, RG, IS, MM, DM), pp. 278–283.
CIKM-2010-ChubakR #natural language: Index structures for efficiently searching natural language text (PC, DR), pp. 689–698.
CIKM-2010-KobdaniSBKH #natural language #re-engineering #relational: Relational feature engineering of natural language processing (HK, HS, AB, WK, GH), pp. 1705–1708.
CIKM-2010-LiuWMKC #information retrieval #natural language: Weighting common syntactic structures for natural language based information retrieval (CL, HW, SIM, EK, DC), pp. 1485–1488.
ECIR-2010-Lapata #image #information retrieval #multi #natural language: Image and Natural Language Processing for Multimedia Information Retrieval (ML), p. 12.
ICML-2010-RouxF #performance: A fast natural Newton method (NLR, AWF), pp. 623–630.
ICPR-2010-GruberZWSH #optimisation: Optimization of Target Objects for Natural Feature Tracking (LG, SZ, DW, DS, TH), pp. 3607–3610.
ICPR-2010-HuangM #automation #detection #locality #video: Automatic Detection and Localization of Natural Scene Text in Video (XH, HM), pp. 3216–3219.
ICPR-2010-ShangDJ #image: Compressive Sampling Recovery for Natural Images (FS, HD, YJ), pp. 2206–2209.
ICPR-2010-VachaH #invariant #recognition: Natural Material Recognition with Illumination Invariant Textural Features (PV, MH), pp. 858–861.
KEOD-2010-Ruiz-MartinezVMH #natural language #ontology: Populating Biomedical Ontologies from Natural Language Texts (JMRM, RVG, RMB, AGH), pp. 27–36.
KMIS-2010-ZyglarskiB #keyword #markov #natural language #network: Keywords Extraction — Selecting Keywords in Natural Language Texts with Markov Chains and Neural Networks (BZ, PB), pp. 315–321.
RE-2010-SinhaPTN #analysis #automation #case study #natural language: Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.
RE-2010-YangRGWN #ambiguity #analysis #natural language #requirements: Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements (HY, ANDR, VG, AW, BN), pp. 25–34.
REFSQ-2010-BruijnD #ambiguity #case study #natural language #requirements: Ambiguity in Natural Language Software Requirements: A Case Study (FdB, HLD), pp. 233–247.
SAC-2010-BucchiaroneGFT #experience #natural language #requirements #scalability #set #using: An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.
SAC-2010-MatteucciPS #named #natural language: CNL4DSA: a controlled natural language for data sharing agreements (IM, MP, MLS), pp. 616–620.
ICSE-2010-WurschGRG #developer #natural language #query: Supporting developers with natural language queries (MW, GG, GR, HG), pp. 165–174.
LDTA-2009-RiescoR10 #implementation #maude #semantics: A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.
LDTA-2010-Giavitto #domain-specific language #simulation: A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
CSL-2010-Santo #canonical #deduction #towards: Towards a Canonical Classical Natural Deduction System (JES), pp. 290–304.
ICST-2010-SinhaSP #automation #case study #named #natural language: Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.
IJCAR-2010-NeurauterMZ #polynomial: Monotonicity Criteria for Polynomial Interpretations over the Naturals (FN, AM, HZ), pp. 502–517.
ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml: An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASE-2009-ZhongZXM #api #documentation #natural language #specification: Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
DocEng-2009-JoshiL #analysis #documentation #image #natural language #using #web: Web document text and images extraction using DOM analysis and natural language processing (PMJ, SL), pp. 218–221.
ICDAR-2009-BhattacharyaPM #image: Devanagari and Bangla Text Extraction from Natural Scene Images (UB, SKP, SM), pp. 171–175.
ICDAR-2009-MaruyamaY #classification #image: Extraction of Characters on Signboards in Natural Scene Images by Stump Classifiers (MM, TY), pp. 1365–1369.
ICDAR-2009-PanHL #image #locality #random: Text Localization in Natural Scene Images Based on Conditional Random Field (YFP, XH, CLL), pp. 6–10.
ICPC-2009-NilssonLHN #fact extraction #natural language #parsing #source code: Natural language parsing for fact extraction from source code (JN, WL, JH, JN), pp. 223–227.
ICSM-2009-YoshikawaHS #natural language #ontology #source code #traceability #using: Recovering traceability links between a simple natural language sentence and source code using domain ontologies (TY, SH, MS), pp. 551–554.
SEFM-2009-BresolinGMS #constraints #integer #logic: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
ICEIS-AIDSS-2009-TamargoGABQ #classification: Decision Support System for Classification of Natural Risk in Maritime Construction (MAGT, ASAG, VCA, ABT, AAQ), pp. 138–143.
ICEIS-J-2009-IorioSVM #approach #detection #documentation #multi: A Natural and Multi-layered Approach to Detect Changes in Tree-Based Textual Documents (ADI, MS, FV, CM), pp. 90–101.
ICML-2009-Even-DarM #convergence #summary #tutorial: Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.
ICML-2009-MartinsSX #approximate #natural language #parsing: Polyhedral outer approximations with application to natural language parsing (AFTM, NAS, EPX), pp. 713–720.
ICML-2009-Smith #natural language #predict #summary #tutorial: Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
ICML-2009-YiWSS #probability #using: Stochastic search using the natural gradient (YS, DW, TS, JS), pp. 1161–1168.
KDIR-2009-EnguixDJ #mining #natural language: DNA and Natural Languages — Text Mining (GBE, VD, MDJL), pp. 140–145.
MLDM-2009-MendesA #approach #mining #natural language: Pattern Mining with Natural Language Processing: An Exploratory Approach (ACM, CA), pp. 266–279.
SEKE-2009-KornerB #natural language #ontology #specification: Improving Natural Language Specifications with Ontologies (SJK, TB), pp. 552–557.
RE-2009-Weber-JahnkeO #fault #natural language #requirements: Finding Defects in Natural Language Confidentiality Requirements (JHWJ, AO), pp. 213–222.
SLE-2009-JongeNKV #fault #flexibility #parsing: Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
SPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #requirements #semantics: A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.
ICLP-2009-Paolucci #natural language #research #summary #tool support: Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICLP-2009-Todorova #natural language #prolog #using: Answering Questions from Natural Language Using A-Prolog (YT), pp. 544–546.
ICST-2009-WaliaC #fault #modelling: Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models (GSW, JCC), pp. 210–219.
TLCA-2009-HerbelinZ #call-by #deduction #λ-calculus: An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (HH, SZ), pp. 142–156.
CBSE-2008-Brada #black box #component: The CoSi Component Model: Reviving the Black-Box Nature of Components (PB), pp. 318–333.
AFL-2008-Szathmary #natural language: In silico Evolutionary Developmental Neurobiology and the Origin of Natural Language (Abstract) (ES), p. 353.
ICALP-A-2008-ChierichettiV #graph: The Local Nature of List Colorings for Graphs of High Girth (FC, AV), pp. 320–332.
ICALP-B-2008-JezO #equation #on the #set: On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
CHI-2008-ButlerJP #policy #wiki: Don’t look now, but we’ve created a bureaucracy: the nature and roles of policies and rules in wikipedia (BSB, EJ, JP), pp. 1101–1110.
ICEIS-HCI-2008-Perez-MarinPM #automation #concept #interactive #modelling #natural language: Natural Language Interaction Based on Automatically Generated Conceptual Models (DRPM, IPN, PRM), pp. 5–12.
CIKM-2008-NurmiLBFKP #natural language #retrieval: Natural language retrieval of grocery products (PN, EL, WLB, PF, JK, PP), pp. 1413–1414.
ECIR-2008-KneesPSSS #approach #music #natural language: A Document-Centered Approach to a Natural Language Music Search Engine (PK, TP, MS, DS, KS), pp. 627–631.
ECIR-2008-OfoghiYM #identification #natural language #semantics: The Impact of Semantic Class Identification and Semantic Role Labeling on Natural Language Answer Extraction (BO, JY, LM), pp. 430–437.
ICML-2008-CollobertW #architecture #learning #multi #natural language #network: A unified architecture for natural language processing: deep neural networks with multitask learning (RC, JW), pp. 160–167.
ICPR-2008-HanifPN #detection #image: A cascade detector for text detection in natural scene images (SMH, LP, PN), pp. 1–4.
ICPR-2008-KadarBS #bound #detection #evolution #image #programming #search-based: Evolving boundary detectors for natural images via Genetic Programming (IK, OBS, MS), pp. 1–4.
ICPR-2008-Kherroubi #automation #image: Automatic extraction of natural fracture traces from borehole images (JK), pp. 1–4.
ICPR-2008-MaZ #image #re-engineering: Convenient reconstruction of natural plants by images (WM, HZ), pp. 1–4.
ICPR-2008-TanY #clustering #image #segmentation #towards: Image segmentation towards natural clusters (ZT, NHCY), pp. 1–4.
SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SEKE-2008-ParveenATMF #analysis #detection #probability #towards: Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls (TP, WHA, SRT, GAM, RF), pp. 802–807.
ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using: An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.
ICDAR-2007-BeaufortM #fault #finite #framework: A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR (RB, CMT), pp. 889–893.
ICDAR-2007-JlaielKAM #difference: Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
SIGMOD-2007-LiCYSJ #adaptation #interface #named #natural language #query #xml: DaNaLIX: a domain-adaptive natural language interface for querying XML (YL, IC, HY, SPS, HVJ), pp. 1165–1168.
CSEET-2007-WilliamsL #question #why: Lab Partners: If They’re Good Enough for the Natural Sciences, Why Aren’t They Good Enough for Us? (LW, LL), pp. 72–82.
PASTE-2007-PollockVSHFM #natural language #program analysis: Introducing natural language program analysis (LLP, KVS, DCS, EH, ZPF, KM), pp. 15–16.
PASTE-2007-ShepherdPV #case study #natural language #program analysis #reverse engineering: Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task (DCS, LLP, KVS), pp. 49–54.
HCI-AS-2007-CorradiniBH #2d #game studies #interface #natural language: A Natural Language Interface for a 2D Networked Game (AC, AB, TH), pp. 225–234.
HCI-MIE-2007-SunCSC #algorithm #gesture #integration #interface #natural language: An Input-Parsing Algorithm Supporting Integration of Deictic Gesture in Natural Language Interface (YS, FC, Y(S, VC), pp. 206–215.
HIMI-IIE-2007-LaukaitisVG #architecture #information retrieval #natural language: Natural Language Based Heavy Personal Assistant Architecture for Information Retrieval and Presentation (AL, OV, VG), pp. 54–63.
ECIR-2007-BoyerB #natural language #web: Natural Language Processing for Usage Based Indexing of Web Resources (AB, AB), pp. 517–524.
SEKE-2007-Ilieva #information management #natural language #representation #visual notation: Graphical Notation for Natural Language and Knowledge Representation (MI), pp. 361–367.
SEKE-2007-LeitaoTB #named #natural language #specification #testing: NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.
SEKE-2007-TeekayuphunS #approach #hybrid #natural language #query: A Hybrid Approach for Natural Language Query Translation (PT, OS), pp. 368–373.
SIGIR-2007-Jones #natural language: Natural language and the information layer (KSJ), pp. 3–6.
REFSQ-2007-LaukaitisV #development #information management #natural language: Integrating All Stages of Information Systems Development by Means of Natural Language Processing (AL, OV), pp. 218–231.
SAC-2007-Holland #injection #scheduling: Injection/withdrawal scheduling for natural gas storage facilities (AH), pp. 332–333.
SAC-2007-SchusterS #documentation #estimation #natural language #query #random #web: NL sampler: random sampling of web documents based on natural language with query hit estimation (DS, AS), pp. 812–818.
ICSE-2007-RunesonAN #detection #fault #natural language #using: Detection of Duplicate Defect Reports Using Natural Language Processing (PR, MA, ON), pp. 499–510.
ICLP-2007-BaralDT #information management #natural language #prolog #set #towards: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.
DAC-2006-ZhangJS #architecture #configuration management #hybrid #named: NATURE: a hybrid nanotube/CMOS dynamically reconfigurable architecture (WZ, NKJ, LS), pp. 711–716.
SCAM-2006-BinkleyHK #animation #approximate #static analysis: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
DLT-2006-EhrenfeuchtR: Computational Nature of Biochemical Reactions (AE, GR), p. 36.
ICEIS-AIDSS-2006-Cebulla #coordination #knowledge-based #modelling #pervasive: Knowledge-Based Modeling and Natural Computing for Coordination in Pervasive Environments (MC), pp. 99–106.
CIKM-2006-Kielman #realtime #security: The real-time nature and value of homeland security information (JK), p. 3.
ICPR-v1-2006-SkelleyFSH #database: Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
ICPR-v2-2006-DaiZX #generative #image #sketching: Integrating EMD and Gradient for Generating Primal Sketch of Natural Images (FD, NZ, JX), pp. 429–432.
ICPR-v2-2006-MouchereA: A Unified Strategy to Deal with Different Natures of Reject (HM, ÉA), pp. 792–795.
ICPR-v3-2006-BimboLV #gesture #interactive #multi #realtime #recognition: Multi-User Natural Interaction System based on Real-Time Hand Tracking and Gesture Recognition (ADB, LL, AV), pp. 55–58.
ICPR-v4-2006-AlnasserF: Image-Based Rendering of Synthetic Diffuse Objects in Natural Scenes (MA, HF), pp. 787–790.
ICPR-v4-2006-KoN #automation #image #segmentation: Automatic Object-of-Interest segmentation from natural images (BK, JYN), pp. 45–48.
ICPR-v4-2006-ShenC #segmentation: Finding Text in Natural Scenes by Figure-Ground Segmentation (HS, JMC), pp. 113–118.
RE-2006-ChantreeNRW #identification #natural language #requirements: Identifying Nocuous Ambiguities in Natural Language Requirements (FC, BN, ANDR, AW), pp. 56–65.
SAC-2006-NemalhabibS #algorithm #category theory #clustering #dataset #named: CLUC: a natural clustering algorithm for categorical datasets based on cohesion (AN, NS), pp. 637–638.
CSL-2006-RabinovichT #decidability: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates (AMR, WT), pp. 562–574.
ICLP-2006-OrtizV #combinator #logic #natural language #using: Natural Language Processing Using Lexical and Logical Combinators (JFO, JV), pp. 444–446.
ICLP-2006-QuintanoR #database #framework #logic programming #natural language #query #using: Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language (LQ, IPR), pp. 406–420.
ICDAR-2005-HeD #evaluation #online: Evaluation of a User-Assisted Archive Construction System for Online Natural History Archives (JH, ACD), pp. 442–446.
ICDAR-2005-KimPK #image #using: Text Locating from Natural Scene Images Using Image Intensitie (JSK, SCP, SHK), pp. 655–659.
SIGMOD-2005-LiYJ #interactive #interface #named #natural language #query #xml: NaLIX: an interactive natural language interface for querying XML (YL, HY, HVJ), pp. 900–902.
FM-2005-Johnson #debugging #formal method #using: The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions (CWJ), pp. 9–25.
FM-2005-Muller: The Informal Nature of Systems Engineering (GM), pp. 552–556.
CHI-2005-MarkGH: No task left behind?: examining the nature of fragmented work (GM, VMG, JH), pp. 321–330.
CHI-2005-OulasvirtaTRK #human-computer #interactive #mobile: Interaction in 4-second bursts: the fragmented nature of attentional resources in mobile HCI (AO, ST, VR, JK), pp. 919–928.
ICEIS-v1-2005-AndreouL #analysis #parametricity #reliability: Nonparametric Analysis of Software Reliability: Revealing the Nature of Software Failure Dataseries (ASA, CL), pp. 138–145.
ICEIS-v2-2005-LinhalisM #component #execution #imperative #natural language: Execution of Imperative Natural Language Requisitions Based on UNL Interlingua and Software Components (FL, DdAM), pp. 254–259.
CIKM-2005-LiuLYMFG #database #intranet #natural language #query: Database selection in intranet mediators for natural language queries (FL, SL, CTY, WM, OF, DAG), pp. 229–230.
SIGIR-2005-BrisaboaFNP #adaptation #natural language: Efficiently decodable and searchable natural language adaptive compression (NRB, AF, GN, JRP), pp. 234–241.
SIGIR-2005-Grivolla #approach #automation #documentation #natural language #query #retrieval #using: Using Oracle for natural language document retrieval an automatic query reformulation approach (JG), pp. 605–606.
SIGIR-2005-Leidner #natural language: A wireless natural language search engine (JLL), p. 677.
RE-2005-BoydZF #empirical #natural language: Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study (SB, DZ, AF), pp. 339–352.
RE-2005-GeorgiadesAP #natural language #requirements #semantics #syntax: A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics (MGG, ASA, CSP), pp. 473–474.
RTA-2005-EscobarMT #term rewriting: Natural Narrowing for General Term Rewriting Systems (SE, JM, PT), pp. 279–293.
ITiCSE-2004-Cliff #education #generative #question: Teaching about natural systems, the next generation of computers, and the generation after that? (DC), p. 1.
FLOPS-2004-Escobar #implementation: Implementing Natural Rewriting and Narrowing Efficiently (SE), pp. 147–162.
ICPR-v1-2004-TodorovicN #detection #image #using: Detection of Artificial Structures in Natural-Scene Images Using Dynamic Trees (ST, MCN), pp. 35–39.
ICPR-v2-2004-EzakiBS #detection #image #towards #visual notation: Text Detection from Natural Scene Images: Towards a System for Visually Impaired Persons (NE, MB, LS), pp. 683–686.
ICPR-v2-2004-KimBSCCKC #image #using #verification: Scene Text Extraction in Natural Scene Images using Hierarchical Feature Combining and Verification (KCK, HRB, YJS, YWC, SYC, KKK, YC), pp. 679–682.
ICPR-v2-2004-VargaB04a #recognition #using: Off-line Handwritten Textline Recognition Using a Mixture of Natural and Synthetic Training Data (TV, HB), pp. 545–549.
ICPR-v2-2004-YamaguchiM #classification #image: Character Extraction from Natural Scene Images by Hierarchical Classifiers (TY, MM), pp. 687–690.
ICPR-v4-2004-FraundorferBO #image #locality: Natural, Salient Image Patches for Robot Localization (FF, HB, SO), pp. 881–884.
SEKE-2004-Chan #automation #information management #pipes and filters: Automated Support for Knowledge Engineering for A Natural Gas Pipeline Domain (CWC), pp. 86–91.
SIGIR-2004-CrestanL #natural language: Natural language processing for browse help (EC, CdL), pp. 488–489.
SIGIR-2004-Martin #natural language #reliability #verification #web: Reliability and verification of natural language text on the world wide web (abstract only) (MJM), p. 603.
LOPSTR-2004-Ager #automaton #semantics: From Natural Semantics to Abstract Machines (MSA), pp. 245–261.
LOPSTR-2004-EscobarMT #term rewriting: Natural Rewriting for General Term Rewriting Systems (SE, JM, PT), pp. 101–116.
PDCL-2004-MartinK #on the: On the Inference of Natural Level Mappings (JCM, AK), pp. 432–452.
RE-2004-BodduGMC #named #requirements #testing: RETNA: From Requirements to Testing in a Natural Way (RB, LG, SM, BC), pp. 262–271.
RTA-2004-GeuversN #deduction: Rewriting for Fitch Style Natural Deductions (HG, RN), pp. 134–154.
ICDAR-2003-AlamHKRTW #approach #natural language #summary #web: Web Page Summarization for Handheld Devices: A Natural Language Approach (HA, RH, AK, AFRR, YT, CW), pp. 1153–1157.
ICDAR-2003-DowntonLPBSR: Computerising Natural History Card Archives (ACD, SML, GP, GWB, MJS, GSR), pp. 354–358.
FASE-2003-PennaMIMP #diagrams #named #towards #xml: Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.
ICSM-2003-NikoraM #comprehension #evolution: Understanding the Nature of Software Evolution (APN, JCM), p. 83–?.
KDD-2003-HopcroftKKS #community #network #scalability: Natural communities in large linked networks (JEH, OK, BK, BS), pp. 541–546.
REFSQ-J-2002-AurumW03 #process #requirements: The fundamental nature of requirements engineering activities as a decision-making process (AA, CW), pp. 945–954.
SAC-2003-ShapiroT #natural language #query #web: Constructing Web Search Queries from the User’s Information Need Expressed in a Natural Language (JS, IT), pp. 1157–1162.
ESEC-FSE-2003-Longo #modelling: Computer modelling and natural phenomena (GL), pp. 1–5.
STOC-2002-CharikarLLPPRSS #approximate #complexity #modelling: Approximating the smallest grammar: Kolmogorov complexity in natural models (MC, EL, DL, RP, MP, AR, AS, AS), pp. 792–801.
ICFP-2002-Myers #functional #programming language #towards: Towards more natural functional programming languages (BAM), p. 1.
ICGT-2002-HarjuPR #assembly #graph transformation #tutorial: Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
CHI-2002-SuhmBMFGGP #case study #comparative #natural language #speech: A comparative study of speech in the call center: natural language call routing vs. touch-tone menus (BS, JB, DM, BF, DG, KG, PP), pp. 283–290.
ICEIS-2002-GnasaW #information management #interface #natural language: Natural Language Interface to Knowledge Management Systems (MG, JW), pp. 494–499.
ICPR-v1-2002-CaronMV #detection: A Method for Detecting Artificial Objects in Natural Environments (YC, PM, NV), pp. 600–603.
ICPR-v1-2002-ShakunagaS #image #normalisation: Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPR-v2-2002-KanbaraYT #artificial reality: Registration for Stereo Vision-Based Augmented Reality Based on Extendible Tracking of Markers and Natural Features (MK, NY, HT), pp. 1045–1048.
ICPR-v3-2002-ZhangHHYW #approach #embedded #recognition #robust: A Robust Approach for Recognition of Text Embedded in Natural Scenes (JZ, XC, AH, JY, AW), pp. 204–207.
SIGIR-2002-Koskenniemi #information retrieval #natural language #question: Is natural language an inconvenience or an opportunity for IR? (KK), p. 315.
ICDAR-2001-LiDW #automation #image: Automatic Text Location in Natural Scene Images (CL, XD, YW), pp. 1069–1073.
ICDAR-2001-WangDL #image #recognition: Character Extraction and Recognition in Natural Scene Images (XW, XD, CL), pp. 1084–1088.
CIAA-2001-AlegriaAEEU #finite #natural language #using: Using Finite State Technology in Natural Language Processing of Basque (IA, MJA, NE, AE, RU), pp. 1–12.
CIKM-2001-RadevQZBZFP #mining #natural language #web: Mining the Web for Answers to Natural Language Questions (DRR, HQ, ZZ, SBG, ZZ, WF, JMP), pp. 143–150.
KDD-2001-LinP #induction #natural language #semantics: Induction of semantic classes from natural language text (DL, PP), pp. 317–322.
TOOLS-USA-2001-MichaelOR: Natural-Language Processing Support for Developing Policy-Governed Software Systems (JBM, VLO, NCR), pp. 263–275.
CSL-2001-Rasmussen #deduction #logic: Labelled Natural Deduction for Interval Logics (TMR), pp. 308–323.
CSL-2001-Schweikardt #database #order: The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group (NS), pp. 130–144.
ICLP-2001-Clergerie #natural language #parsing: Natural Language Tabular Parsing (EVdlC), p. 8.
IJCAR-2001-Pastre #deduction #knowledge-based #proving #theorem proving: MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction (DP), pp. 685–689.
TLCA-2001-Groote #deduction #normalisation: Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.
CIAA-2000-Karttunen #finite #natural language #transducer: Applications of Finite-State Transducers in Natural Language Processing (LK), pp. 34–46.
CHI-2000-KoikeSKTK #diagrams #interactive #interface: Interactive textbook and interactive Venn diagram: natural and intuitive interfaces on augmented desk system (HK, YS, YK, HT, MK), pp. 121–128.
CIKM-2000-Elworthy #database #image #natural language #retrieval #using: Retrieval from Captioned Image Databases Using Natural Language Processing (DE), pp. 430–437.
ICML-2000-Collins #natural language #parsing #ranking: Discriminative Reranking for Natural Language Parsing (MC), pp. 175–182.
ICML-2000-HallH #information retrieval #learning #multi #natural language: Learning Curved Multinomial Subfamilies for Natural Language Processing and Information Retrieval (KBH, TH), pp. 351–358.
ICML-2000-WalkerWL #comprehension #fault #identification #natural language #using: Using Natural Language Processing and discourse Features to Identify Understanding Errors (MAW, JHW, IL), pp. 1111–1118.
ICPR-v1-2000-SinghMH #classification #image #segmentation: FLIR Image Segmentation and Natural Object Classification (SS, MM, JFH), pp. 1681–1684.
ICPR-v2-2000-HolzL #set #using #validation: Validation of Relative Feature Importance Using a Natural Data Set (HJH, MHL), pp. 2414–2417.
ICPR-v3-2000-CorrSHMS: Discrete Chebyshev Transform — A Natural Modification of the DCT (PC, DS, PH, JM, FJS), pp. 7154–3255.
ICPR-v3-2000-MaedaINTS #algorithm #fuzzy #image #segmentation #using: Rough and Accurate Segmentation of Natural Color Images Using Fuzzy Region-Growing Algorithm (JM, CI, SN, NT, YS), pp. 3642–3645.
ICPR-v3-2000-TodtT #detection #multi: Detection of Natural Landmarks through Multiscale Opponent Features (ET, CT), pp. 3988–3991.
ICPR-v3-2000-ZhangGST #adaptation #analysis #modelling #using: Model-Based Nonrigid Motion Analysis Using Natural Feature Adaptive Mesh (YZ, DBG, SS, LVT), pp. 3839–3843.
ICPR-v4-2000-KojimaITF #behaviour #generative #image #natural language #video: Generating Natural Language Description of Human Behavior from Video Images (AK, MI, TT, KF), pp. 4728–4731.
ICRE-2000-GervasiN #case study #lightweight #natural language #requirements #validation: Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
CADE-2000-Pulman #automation #comprehension #deduction #named #natural language #tutorial: Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.
ASE-1999-FuchsST #first-order #logic #natural language: Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.
ICALP-1999-Hartmanis: Observations about the Nature and State of Computer Science (Keynote Address) (JH), p. 105.
WIA-1999-NoordG #compilation #finite #natural language #regular expression: An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing (GvN, DG), pp. 122–139.
AGTIVE-1999-Blostein #semantics #syntax #visual notation: Defining the Syntax and Semantics of Natural Visual Languages (DB), pp. 225–232.
CHI-1999-BruckmanE #analysis #fault #programming language: Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
HCI-CCAD-1999-Machate #concept #interactive #multimodal #smarttech: Being natural — on the use of multimodal interaction concepts in smart homes (JM), pp. 937–941.
ICEIS-1999-AbeysingheH #modelling #natural language #process: Process Modelling with Natural Language Input (GA, CRH), p. 762.
ICML-1999-ThompsonCM #information management #learning #natural language #parsing: Active Learning for Natural Language Parsing and Information Extraction (CAT, MEC, RJM), pp. 406–414.
TOOLS-PACIFIC-1999-Noble: Natural Creation (JN), pp. 78–88.
RTA-1999-Groote #deduction #normalisation #on the: On the Strong Normalisation of Natural Deduction with Permutation-Conversions (PdG), pp. 45–59.
TLCA-1999-PolakowP #deduction #linear #logic: Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.
SAS-1998-Gouranton #case study #semantics #slicing: Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing (VG), pp. 115–133.
ICFP-1998-Mountjoy: The Spineless Tagless G-machine, naturally (JM), pp. 163–173.
CHI-1998-SmithR #design #interactive: National Geographic Unplugged: Classroom-Centered Design of Interactive Nature Films (BKS, BJR), pp. 424–431.
ICML-1998-MaronR #classification #learning #multi: Multiple-Instance Learning for Natural Scene Classification (OM, ALR), pp. 341–349.
ICPR-1998-Luong #sketching: Sketching natural terrain from uncalibrated imagery (QTL), pp. 51–55.
ICPR-1998-MaedaNMSS #fuzzy #image #segmentation #using: Fuzzy region-growing segmentation of natural images using local fractal dimension (JM, SN, AM, SS, YS), pp. 991–993.
ICPR-1998-WilliamsA #image #segmentation: Segmentation of natural images for CBIR (PSW, MDA), pp. 468–470.
ICPR-1998-Yang #image #scalability: Invariance and scaling laws in natural images (ZY), pp. 728–730.
REFSQ-1998-FabbriniFGGR #natural language #on the #quality #requirements: On Linguistic Quality of Natural Language Requirements (FF, MF, VG, SG, SR), pp. 57–62.
ICSE-1998-SimH #case study #how #problem: The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize (SES, RCH), pp. 361–370.
ASE-1997-AmbriolaG #natural language #requirements: Processing Natural Language Requirements (VA, VG), pp. 36–45.
ASE-1997-PunshonTSF #case study #natural language #specification: From Formal Specifications to Natural Language: A Case Study (JMP, JPT, PGS, PSF), pp. 309–310.
HCI-SEC-1997-Boyce #design #user interface: Designing the User Interface for a Natural Spoken Dialogue System (SJB), pp. 367–370.
HCI-SEC-1997-MerkleM #interactive #question #scalability: Are Interactive Media as Large as Life and Half as Natural? (LEM, REM), pp. 55–58.
HCI-SEC-1997-Rauterberg #case study #game studies #interactive #user interface #video: Natural User Interface (NUI): A Case Study of a Video Based Interaction Technique for a Computer Game (MR), pp. 253–256.
HCI-SEC-1997-RauterbergBKM #case study #interactive #user interface #video: Natural User Interfaces (NUI): A Case Study of a Video Based Interaction Technique for CAD Systems (MR, MB, HK, MM), pp. 929–932.
KDD-1997-HahnS #information management #natural language: Deep Knowledge Discovery from Natural Language Texts (UH, KS), pp. 175–178.
SIGIR-1997-KlavansTJ #automation #effectiveness #multi #natural language #semiparsing #speech: Effective Use of Natural Language Processing Techniques for Automatic Conflation of Multi-Word Terms: The Role of Derivational Morphology, Part of Speech Tagging, and Shallow Parsing (ET, JK, CJ), pp. 148–155.
CADE-1997-WolfS #named #natural language #proving: ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.
ICLP-1997-CodishDS #program analysis: XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.
ICLP-1997-DahlTL #natural language: Assumption Grammars for Processing Natural Language (VD, PT, RL), pp. 256–270.
ILPS-1997-Dahl #logic programming #natural language: Logic Programming for Processing Natural Language (Abstract) (VD), pp. 41–42.
LICS-1997-Vorobyov #decidability: The “Hardest” Natural Decidable Theory (SGV), pp. 294–305.
RTA-1997-ContejeanMR #term rewriting: Rewrite Systems for Natural, Integral, and Rational Arithmetic (EC, CM, LR), pp. 98–112.
ITiCSE-1996-LeesC #learning #natural language #operating system: Applying natural language technology to the learning of operating systems functions (BL, JC), pp. 11–13.
ICPR-1996-CesarC #energy #multi #using: Shape characterization in natural scales by using the multiscale bending energy (RMCJ, LdFC), pp. 735–739.
ICPR-1996-YuenM: An investigation of the nature of parametrization for the Hough transform (SYY, CHM), pp. 537–541.
KR-1996-Reiter #calculus #concurrent: Natural Actions, Concurrency and Continuous Time in the Situation Calculus (RR), pp. 2–13.
SEKE-1996-AdamsW #generative #information management #interface #natural language #representation: Generating Natural Language Interfaces for Terminological Knowledge Representation Systems (RA, HW), pp. 585–594.
SEKE-1996-Zadrozny #complexity #natural language: Natural Language Processing: Structure and Complexity (WZ), pp. 595–602.
ICRE-1996-OsborneM #natural language #requirements #specification: Processing Natural Language Software Requirement Specifications (MO, CKM), pp. 229–237.
CC-1996-Pettersson #compilation #semantics: A Compiler for Natural Semantics (MP), pp. 177–191.
CAV-1996-NelkenF #automation #natural language #specification: Automatic Translation of Natural Language System Specifications (RN, NF), pp. 360–371.
SAS-1995-Schmidt #abstract interpretation #semantics: Natural-Semantics-Based Abstract Interpretation (Preliminary Version) (DAS), pp. 1–18.
CHI-1995-MittalM #generative #interactive #natural language: Dynamic Generation of Follow Up Question Menus: Facilitating Interactive Natural Language Dialogues (VOM, JDM), pp. 90–97.
CAiSE-1995-Laitinen #development #feedback: Natural Naming in Software Development: Feedback from Practitioners (KL), pp. 375–388.
ICML-1995-YamazakiPM #ambiguity #learning #natural language: Learning Hierarchies from Ambiguous Natural Language Data (TY, MJP, CJM), pp. 575–583.
SEKE-1995-Kazimierczak #automation #information management #natural language #programming #representation: Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming (JK), pp. 140–143.
SIGIR-1995-Chien #natural language #performance: Fast and Quasi-Natural Language Search for Gigabits of Chinese Texts (LFC), pp. 112–120.
RE-1995-MaidenMS #approach #how #people #requirements #reuse: How People Categorise Requirements for Reuse: a Natural Approach (NAMM, PM, AGS), pp. 148–157.
SAC-1995-HoskinsH #visualisation: Ray Tracing as a tool for visualization of pathogen spread in natural forest stands (JAH, WDH), pp. 61–64.
STOC-1994-RazborovR #proving: Natural proofs (AAR, SR), pp. 204–213.
ICML-1994-Pereira #bias #machine learning #natural language #problem: Frequencies vs. Biases: Machine Learning Problems in Natural Language Processing — Abstract (FCNP), p. 380.
KR-1994-Eugenio #natural language #representation: Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.
KR-1994-Schubert #information management #natural language #reasoning #representation: Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract) (LKS), pp. 650–651.
SIGIR-1994-Turtle #comparison #evaluation #natural language #performance #query #retrieval: Natural Language vs. Boolean Query Evaluation: A Comparison of Retrieval Performance (HRT), pp. 212–220.
PLILP-1994-Pettersson #implementation #named #semantics: RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.
ICRE-1994-GoldinB #abstraction #design #elicitation #evaluation #natural language #prototype #requirements: AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation (LG, DMB), pp. 84–93.
ICRE-1994-SalekSTP #bibliography #natural language #specification: The REVIEW system: from formal specifications to natural language (AS, PGS, JPT, JMP), pp. 220–229.
KBSE-1993-MacMillanFLLS #architecture #natural language #reuse #tool support: A Common Architecture to Encourage Reuse of Natural Language/Text Processing Tools (TRM, MF, SL, EPL, LJS), p. 20.
ICDAR-1993-NakamuraFN #comprehension #diagrams #natural language: Diagram understanding utilizing natural language text (YN, RF, MN), pp. 614–618.
SIGMOD-1993-KupperSR #database #interface #named #natural language #relational: NAUDA — A Cooperative, Natural Language Interface to Relational Databases (DK, MS, DFR), pp. 529–533.
WSA-1993-WrightB #analysis #reduction: Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.
HCI-SHI-1993-Chau #interface #natural language #network: Natural Language Interfaces for Integrated Network Management (RC), pp. 368–372.
HCI-SHI-1993-DarsesFR: Cooperating Partners: Investigating Natural Assistance (FD, PF, JMR), pp. 997–1002.
HCI-SHI-1993-GodbertPS #concept #constraints #interface #natural language #specification #using: Natural Language Interfaces: Specifying and Using Conceptual Constraints (EG, RP, PS), pp. 385–390.
HCI-SHI-1993-KatoDO: The Basic Study of Natural Operation in Virtual Space (NK, MD, AO), pp. 681–686.
HCI-SHI-1993-LeclercM #learning #natural language: Natural Language as Object and Medium in Computer-Based Learning (SL, SdM), pp. 373–378.
HCI-SHI-1993-MittalP #generative #natural language: Intelligent Help Facilities: Generating Natural Language Descriptions with Examples (VOM, CP), pp. 379–384.
HCI-SHI-1993-TrabelsiKN #database #generative #heuristic #interface #natural language #query: Heuristics for Generating Informative Responses to Failing User’s Queries in Natural Language Database Interfaces (ZT, YK, HN), pp. 362–367.
ICML-1993-HuffmanL #interactive #learning #natural language: Learning Procedures from Interactive Natural Language Instructions (SBH, JEL), pp. 143–150.
SEKE-1993-MacMillanFLLS #architecture #natural language #reuse #tool support: A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools (TRM, MLF, SJL, EPL, LJS), pp. 266–270.
POPL-1993-Launchbury #evaluation #lazy evaluation #semantics: A Natural Semantics for Lazy Evaluation (JL), pp. 144–154.
RE-1993-IshiharaSK #dependence #natural language #specification #using: A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.
RE-1993-JarkeBRSV #bibliography #requirements: Theories underlying requirements engineering: an overview of NATURE at Genesis (MJ, JABJ, CR, AGS, YV), pp. 19–31.
RE-1993-Ryan93a #natural language #requirements: The role of natural language in requirements engineering (KR), pp. 240–242.
SAC-1993-AthertonL #comprehension #natural language #probability: A Probabilistic Model for Natural Language Understanding (MA, DAL), pp. 586–592.
ILPS-1993-MorenoPM #logic programming #natural language: The Incorporation of Logic Formalisms to Natural Language Through Logic Programming (LM, MP, AM), p. 671.
CHI-1992-ThorissonKB #multi: Multi-Modal Natural Dialogue (KRT, DBK, RAB), pp. 653–654.
CAiSE-1992-Dalianis #concept #generative #natural language #validation: A Method for Validating a Conceptual Model by Natural Language Discourse Generation (HD), pp. 425–444.
CAiSE-1992-RollandP #approach #natural language #requirements: A Natural Language Approach for Requirements Engineering (CR, CP), pp. 257–277.
KR-1992-Iwanska #natural language #representation #semantics: A General Semantic Model of Negation in Natural Language: Representation and Inference (LI), pp. 357–368.
ML-1992-LiuS #natural language: Augmenting and Efficiently Utilizing Domain Theory in Explanation-Based Natural Language Acquisition (RLL, VWS), pp. 282–289.
SIGIR-1992-BlossevilleHMP #analysis #automation #classification #documentation #natural language #statistics: Automatic Document Classification: Natural Language Processing, Statistical Analysis, and Expert System Techniques used together (MJB, GH, MGM, NP), pp. 51–58.
PLILP-1992-AttaliCG #evaluation #incremental #semantics #specification: Incremental Evaluation of Natural Semantics Specification (IA, JC, SG), pp. 87–99.
CADE-1992-Baker-PlummerBM #automation #deduction: &: Automated Natural Deduction (DBP, SCB, ASM), pp. 716–720.
CADE-1992-Dafa #automation #deduction #proving #theorem proving: A Natural Deduction Automated Theorem Proving System (LD), pp. 668–672.
PEPM-1991-Muller #equation #logic #named #semantics: M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract) (RM), pp. 234–242.
CHI-1991-UedaMY #authoring #interactive #multi #named: IMPACT: an interactive natural-motion-picture dedicated multimedia authoring system (HU, TM, SY), pp. 343–350.
ICSE-1991-Hartman #composition #comprehension #source code #using: Understanding Natural Programs Using Proper Decomposition (JH), pp. 62–73.
CAiSE-1990-DunnO #concept #interpreter #natural language: A Natural Language Interpreter for Construction of Conceptual Schemas (LD, MEO), pp. 175–194.
SIGIR-1990-AnickBFHAR #information retrieval #interface #natural language #query: A Direct Manipulation Interface for Boolean Information Retrieval via Natural Language Query (PGA, JDB, RAF, DRH, BA, JMR), pp. 135–150.
WAGA-1990-AlexinGHF #attribute grammar #comprehension #interface #natural language #specification: Attribute Grammar Specification for a Natural Language Understanding Interface (ZA, TG, TH, KF), pp. 313–326.
WAGA-1990-Levison #attribute grammar #generative #natural language: Gregory Lessard: Application of Attribute Grammars to Natural Language Sentence Generation (ML), pp. 298–312.
WAGA-1990-PittC #natural language #semantics: Attributed Translation and the Semantics of Natural Language (JVP, JC), pp. 284–297.
CC-1990-HorvathAGF #comprehension #interface #multi #natural language #towards: Towards a Multilingual Natural Language Understanding Interface (Extended Abstract) (TH, ZA, TG, KF), pp. 217–218.
NACLP-1990-Pereira #analysis #prolog: Prolog and Natural-Language Analysis: Into the Third Decade (FCNP), pp. 813–832.
PODS-1989-Przymusinski #fixpoint #logic programming: Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
CHI-1989-CohenDMPSGST #natural language: Synergistic use of direct manipulation and natural language (PRC, MD, DBM, FCNP, JWS, RAGJ, JLS, SWT), pp. 227–233.
CHI-1989-WhalenP #hypermedia #information management #natural language: Conversational hypertext: information access through natural language dialogues with computers (TW, ASP), pp. 289–292.
SIGIR-1989-Amsler #development #knowledge base #natural language #research #towards: Research Toward the Development of a Lexical Knowledge Base for Natural Language Processing (RAA), pp. 242–249.
POPL-1989-Remy #ml: Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.
ICSE-1989-SaekiHE #development #natural language #process #specification: Software Development Process from Natural Language Specification (MS, HH, HE), pp. 64–73.
ICSE-1989-TichyAH #named #natural language: NLH/E: A Natural Language Help System (WFT, RA, LH), pp. 364–374.
SIGIR-1988-Belkin #information retrieval #on the: On the Nature and Function of Explanation in Intelligent Information Retrieval (NJB), pp. 135–145.
SIGIR-1988-JacobsR #information retrieval #natural language: Natural Language Techniques for Intelligent Information Retrieval (PSJ, LFR), pp. 85–99.
SIGIR-1988-Veronis #fault #interface #natural language: Correction of Phonographic Errors in Natural Language Interfaces (JV), pp. 101–115.
CADE-1988-Simon #natural language #proving: Checking Natural Language Proofs (DS), pp. 141–150.
JICSCP-1988-HirschmanHS88 #case study #natural language: OR-Parallel Speed-Up in Natural Language Processing: A Case Study (LH, WCH, RCS), pp. 263–279.
DAC-1987-GranackiP #interface #named #natural language #specification: PHRAN-SPAN: A Natural Language Interface for System Specifications (JJGJ, ACP), pp. 416–422.
FPCA-1987-BellotJ #implementation: A theory for natural modelisation and implementation of functions with variable arity (PB, VJ), pp. 212–233.
HCI-CE-1987-Gonzalez-SustaetaM #database #natural language #paradigm #query #semantics: A Semantic Paradigm to Solve Natural Language Database Queries (JGS, CM), pp. 113–120.
HCI-CE-1987-Raskin #human-computer #interactive: The Role of Nature Language Processing in Human-Computer Interaction (VR), pp. 121–128.
SIGIR-1987-CroftL #approach #documentation #natural language #retrieval: An Approach to Natural Language Processing for Document Retrieval (WBC, DDL), pp. 26–32.
VLDB-1986-LowdenR #natural language #query #relational: The REMIT System for Paraphrasing Relational Query Expressions into Natural Language (BGTL, ANDR), pp. 365–371.
SIGIR-1986-BoscCR #named #natural language #user interface: CALIN — A User Interface Based on a Simple Natural Language (PB, MC, SR), pp. 114–122.
SIGIR-1986-Doszkocs #information retrieval #natural language #online #problem: IR, NLP, AI and UFOS: Or IR-Relevance, Natural Language Problems, Artful Intelligence and User-Friendly Online Systems (TED), pp. 49–57.
ICLP-1986-Matsumoto86 #analysis #natural language #parallel #parsing: A Parallel Parsing System for Natural Language Analysis (YM), pp. 396–409.
LICS-1986-Despeyroux #proving #semantics: Proof of Translation in Natural Semantics (JD), pp. 193–205.
DAC-1985-GranackiKP #automation #bibliography #design #interface #natural language: The ADAM advanced design automation system: overview, planner and natural language interface (JJG, DK, ACP), pp. 727–730.
DAC-1985-SamadD #interface #natural language #towards: Towards a natural language interface for CAD (TS, SWD), pp. 2–8.
SIGIR-1985-Williamson #named: ANNOD — A Navigator of Natural-language Organized (Textual) Data (REW), pp. 252–266.
PODS-1984-Salveter #database #natural language: A Transportable Natural Language Database Update System (SCS), pp. 239–247.
CADE-1984-KapurK #proving: A Natural Proof System Based on rewriting Techniques (DK, BK), pp. 53–64.
CADE-1984-Miller #deduction #proving: Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs (DM), pp. 375–393.
SLP-1984-PortoF84 #approach #logic programming #natural language #semantics: Natural Language Semantics: A Logic Programming Approach (AP, MF), pp. 228–232.
PODS-1983-ImielinskiL #database #problem #relational: Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.
VLDB-1983-ThompsonRTS #database #interface #natural language: Building Usable Menu-Based Natural Language Interfaces To Databases (CWT, KMR, HRT, RMS), pp. 43–55.
SIGIR-1983-BatesB #information retrieval #interface #natural language #using: Information Retrieval Using a Transportable Natural Language Interface (MB, RJB), pp. 81–86.
SIGIR-1983-Kukich #automation #database #generative #knowledge-based #natural language: Knowledge-Based Report Generations: A Technique for Automatically Generating Natural Language Reports from Databases (KK), pp. 246–250.
SIGIR-1983-Sopena #information management #natural language: Natural Language Grammars for an Information System (LDS), pp. 75–80.
DAC-1982-NomuraSTAY #verification: Timing verification system based on delay time hierarchical nature (MN, SS, NT, TA, AY), pp. 622–628.
GG-1982-Messerschmidt #automation #graph #natural language: Graph transductions in the field of automatic translation of natural languages (JM), pp. 255–266.
SIGIR-1982-Doszkocs #information management #natural language #research: From Research to Application: The Cite Natural Language Information System (TED), pp. 251–262.
CADE-1982-GreenbaumNOP #comparison #deduction #implementation: Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.
ILPC-1982-Pasero82 #natural language: A Dialogue in Natural Language (RP), pp. 231–239.
ILPC-1982-PereiraSO82 #evaluation #named #natural language: ORBI — An Expert System for Environmental Resource Evaluation through Natural Language (LMP, PS, EO), pp. 200–209.
ILPC-1982-Pique82 #natural language #on the #representation #semantics: On a Semantic Representation of Natural Language Sentences (JFP), pp. 215–223.
STOC-1980-Pratt #algebra #induction: Dynamic Algebras and the Nature of Induction (VRP), pp. 22–28.
SIGIR-1980-Hirschman: Retrieving Time Information From Natural-Language Texts (LH), pp. 154–171.
SIGIR-1980-MazlackF #database #query: Establishing a Basis for Mapping Natural-Language Statements Onto a Database Query Language (LJM, RAF), pp. 192–202.
CADE-1980-Andrews #deduction #proving: Transforming Matings into Natural Deduction Proofs (PBA), pp. 281–292.
VLDB-1979-Dahl #database #deduction #design #logic #natural language: Logical Design of Deductive Natural Language Consultable Data Bases (VD), pp. 24–31.
SIGIR-1979-RaghavanB #clustering #effectiveness #process: A Clustering Strategy Based on a Formalism of the Reproductive Process in Natural Systems (VVR, KB), pp. 10–22.
SIGMOD-1978-Morgan #interface #natural language: Natural Language Interfaces (HLM), p. 1.
VLDB-1978-Raben #database #natural language: Natural Language Data Bases (JR), p. 144.
ICALP-1978-Valk #petri net #self: Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.
VLDB-1977-Harris #database #natural language #query: User-Oriented Data Base Query with the ROBOT Natural Language Query System (LRH), pp. 303–312.
VLDB-1977-HendrixSSS #interface #natural language: Developing a Natural Language Interface to Complex Data (GGH, EDS, DS, JS), p. 292.
ICALP-1977-Alton #complexity #memory management #metric: “Natural” Complexity Measures and Time versus Memory: Some Definitional Proposals (DAA), pp. 16–29.
ICALP-1976-Kroger #logic #reasoning #source code: Logical Rules of Natural Reasoning about Programs (FK), pp. 87–98.
ICSE-1976-BasuM #source code: Some Classes of Naturally Provable Programs (SKB, JM), pp. 400–406.
POPL-1975-Naur #natural language #programming language: Programming Languages, Natural Languages, and Mathematics (PN), pp. 137–148.
STOC-1974-Robertson #complexity #higher-order #monad: Structure of Complexity in the Weak Monadic Second-Order Theories of the Natural Numbers (ELR), pp. 161–171.
DAC-1972-Grant #architecture #design #problem #proximity #using: Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.
SIGIR-1971-KelloggBDF #data transformation #natural language: The Converse Natural Language Data Management System: Current Status and Plans (CK, JDB, TD, KF), pp. 33–46.
SIGIR-1971-LovemanMT #named #preprocessor #strict: CUE: A Preprocessor for Restricted, Natural English (DBL, JAM, RGT), pp. 47–59.