BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (170)
logic (152)
languag (123)
use (96)
base (94)

Stem descript$ (all stems)

765 papers:

WICSAWICSA-2015-CavalcanteBO #architecture #implementation
Supporting Dynamic Software Architectures: From Architectural Description to Implementation (EC, TVB, FO), pp. 31–40.
WICSAWICSA-2015-EliassonHPL #architecture
Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture (UE, RH, PP, JL), pp. 115–118.
DACDAC-2015-TretterKT #multi #probability
Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.
DATEDATE-2015-Ibing #architecture #execution #symbolic computation
Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
SCAMSCAM-2015-ChochlovEB #data flow #feature model #using
Using changeset descriptions as a data source to assist feature location (MC, ME, JB), pp. 51–60.
LATALATA-2015-BachmeierLS #automaton #complexity #finite
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity (GB, ML, MS), pp. 473–485.
CHICHI-2015-ZhongLBB #image #named
RegionSpeak: Quick Comprehensive Spatial Descriptions of Complex Images for Blind Users (YZ, WSL, ELB, JPB), pp. 2353–2362.
HCIDHM-HM-2015-EndoSSNKH #comparison
Comparison of Description Skill on Characteristics of the Urushi Crafts Work Between Expert Craftspeople and Non-expert Craftspeople (AE, MS, YS, SN, NK, HH), pp. 46–57.
ICEISICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process
Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICMLICML-2015-SunWKM #geometry #network
Information Geometry and Minimum Description Length Networks (KS, JW, AK, SMM), pp. 49–58.
MLDMMLDM-2015-Perner #automation #feature model #image #mining
Automatic Cell Tracking and Kinetic Feature Description of Cell Paths for Image Mining (PP), pp. 441–451.
SEKESEKE-2015-AdjoyanS #architecture #product line
An Architecture Description Language for Dynamic Service-Oriented Product Lines (SA, AS), pp. 231–236.
SEKESEKE-2015-RamosCRSAP #analysis #architecture #recommendation
Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis (FBAR, AAMC, RRdS, GS, HOdA, AP), pp. 99–104.
SACSAC-2015-DAddioM #approach #collaboration #sentiment
A sentiment-based item description approach for kNN collaborative filtering (RMD, MGM), pp. 1060–1065.
SACSAC-2015-GuessiMAON #architecture #named #ontology
OntolAD: a formal ontology for architectural descriptions (MG, DAM, GA, FO, EYN), pp. 1417–1424.
SACSAC-2015-GuessiNBFON #architecture #bibliography
A systematic literature review on the description of software architectures for systems of systems (MG, VVGN, TB, KRF, FO, EYN), pp. 1433–1440.
SACSAC-2015-PedrosaTB
Shape description based on bag of salience points (GVP, AJMT, CAZB), pp. 74–79.
SACSAC-2015-Rekha #big data #detection #performance #using
A fast support vector data description system for anomaly detection using big data (AGR), pp. 931–932.
SACSAC-2015-StracciaM #concept #estimation #fuzzy #learning #named #owl #probability #using
pFOIL-DL: learning (fuzzy) EL concept descriptions from crisp OWL data using a probabilistic ensemble estimation (US, MM), pp. 345–352.
ESEC-FSEESEC-FSE-2015-NasrBAFBSD #architecture #matrix #named
MatrixMiner: a red pill to architect informal product descriptions in the matrix (SBN, GB, MA, JBFF, BB, NS, JMD), pp. 982–985.
SPLCSPLC-2015-BecanBGA #feature model #modelling #synthesis
Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
CADECADE-2015-KaliszykSUV
System Description: E.T. 0.1 (CK, SS, JU, JV), pp. 389–398.
CADECADE-2015-MouraKADR #agile #proving #theorem proving
The Lean Theorem Prover (System Description) (LMdM, SK, JA, FvD, JvR), pp. 378–388.
LICSLICS-2015-DalmauEHLR #complexity #problem
Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (VD, LE, PH, BL, AR), pp. 487–498.
LICSLICS-2015-PaulyB #set
Descriptive Set Theory in the Category of Represented Spaces (AP, MdB), pp. 438–449.
ECSAECSA-2014-CavalcanteOB #architecture #code generation #implementation
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.
ECSAECSA-2014-FrommgenLB #composition #framework
A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.
WICSAWICSA-2014-BaroniMMW #architecture #modelling #semantics #wiki
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
ASEASE-2014-TurenneKGR #generative
A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
DATEDATE-2014-ShiC #named
Memcomputing: The cape of good hope: [Extended special session description] (YS, HMC), pp. 1–3.
SIGMODSIGMOD-2014-ChalamallaIOP
Descriptive and prescriptive data cleaning (AC, IFI, MO, PP), pp. 445–456.
ICPCICPC-2014-VassalloPPC #developer #mining #named #source code
CODES: mining source code descriptions from developers discussions (CV, SP, MDP, GC), pp. 106–109.
SCAMSCAM-2014-YooBE #slicing
Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
FLOPSFLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
FLOPSFLOPS-2014-Kiselyov #design #implementation
The Design and Implementation of BER MetaOCaml — System Description (OK), pp. 86–102.
AFLAFL-2014-GruberH #automaton #complexity #finite #regular expression #summary
From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity (HG, MH), pp. 25–48.
LATALATA-2014-Prusa #complexity
Weight-Reducing Hennie Machines and Their Descriptional Complexity (DP), pp. 553–564.
HCIHIMI-DE-2014-HoriguchiASN #dependence #generative
Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
ICEISICEIS-v2-2014-OtonBGGB #learning #metadata #using
Description of Accessible Learning Resources by Using Metadata (SO, CB, EG, AGC, RB), pp. 620–626.
ICEISICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing
An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
CIKMCIKM-2014-YilmazKC #evaluation #retrieval
Effect of Intent Descriptions on Retrieval Evaluation (EY, EK, NC), pp. 599–608.
ICPRICPR-2014-DavarzaniM #adaptation #image #robust
Robust Image Description with Weighted and Adaptive Local Binary Pattern Features (RD, SM), pp. 1097–1102.
ICPRICPR-2014-HalsteadDSF #approach #database #people #semantics #video
Locating People in Video from Semantic Descriptions: A New Database and Approach (MH, SD, SS, CF), pp. 4501–4506.
ICPRICPR-2014-SantanaLH #geometry #identification #people #semantics
People Semantic Description and Re-identification from Point Cloud Geometry (MCS, JLN, DHS), pp. 4702–4707.
ICPRICPR-2014-XieUKG #incremental #learning
Incremental Learning with Support Vector Data Description (WX, SU, SK, MG), pp. 3904–3909.
KDIRKDIR-2014-FouratiJG #automation #documentation
Automatic Audiovisual Documents Genre Description (MF, AJ, FG), pp. 538–543.
KEODKEOD-2014-TongphuS #logic #standard
A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.
KRKR-2014-BienvenuCOS #logic #query
Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).
KRKR-2014-BorgwardtDP #decidability #logic
Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
KRKR-2014-BotoevaKRWZ #knowledge base #logic #query
Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
KRKR-2014-GarciaLS #finite #logic #reasoning
Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
KRKR-2014-GottlobHKL #logic #semantics
Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KRKR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic
Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
KRKR-2014-KonevLOW #learning #lightweight #logic #ontology
Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
KRKR-2014-KrotzschR #logic
Nominal Schemas in Description Logics: Complexities Clarified (MK, SR).
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
OnwardOnward-2014-Skene #logic #programming language
Description Logic as Programming Language (JS), pp. 143–162.
SACSAC-2014-FerrazPG #feature model #symmetry
Feature description based on center-symmetric local mapped patterns (CTF, OPJ, AG), pp. 39–44.
ICSEICSE-2014-GorlaTGZ #behaviour
Checking app behavior against app descriptions (AG, IT, FG, AZ), pp. 1025–1035.
SPLCSPLC-2014-YuZZJ #automation #case study #feature model #named
TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
IJCARIJCAR-2014-CeylanP #logic
The Bayesian Description Logic ℬℰℒ (IIC, RP), pp. 480–494.
IJCARIJCAR-2014-GoreOT #calculus #implementation #using
Implementing Tableau Calculi Using BDDs: BDDTab System Description (RG, KO, JT), pp. 337–343.
IJCARIJCAR-2014-GoreTW #logic #proving #theorem proving #using
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.
IJCARIJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
IJCARIJCAR-2014-SteigmillerGL #algorithm #logic
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.
LICSLICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.
RTARTA-TLCA-2014-CreusG #automation #context-free grammar #evaluation
Automatic Evaluation of Context-Free Grammars (System Description) (CC, GG), pp. 139–148.
RTARTA-TLCA-2014-HondaYB #interactive #process #π-calculus
Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
RTARTA-TLCA-2014-SternagelM #confluence
Conditional Confluence (System Description) (TS, AM), pp. 456–465.
ECSAECSA-2013-LeiteOB #architecture #named
SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
ECSAECSA-2013-SilvaMCB #architecture #lightweight #product line
A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
ECSAECSA-2013-ThatSOB #design pattern
Composition-Centered Architectural Pattern Description Language (MTTT, SS, FO, IB), pp. 1–16.
DACDAC-2013-WagstaffGFT #architecture #partial evaluation #set
Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.
DRRDRR-2013-YouSADT #documentation #image #multimodal #retrieval
Annotating image ROIs with text descriptions for multimodal biomedical document retrieval (DY, MSS, SA, DDF, GRT).
ICDARICDAR-2013-TatawRK #clustering #using
Clustering of Symbols Using Minimal Description Length (OMT, TR, EJK), pp. 180–184.
CIAACIAA-J-2012-KutribO13 #automaton #complexity #on the
On the Descriptional Complexity of the Window Size for Deleting Restarting Automata (MK, FO), pp. 831–846.
HCIHCI-AMTE-2013-BratMP #interactive #model checking #semantics
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog (GB, CM, PAP), pp. 290–299.
HCIHCI-AMTE-2013-MeixnerOK #development #evaluation #industrial #modelling #user interface
Evaluation of User Interface Description Languages for Model-Based User Interface Development in the German Automotive Industry (GM, MO, MK), pp. 411–420.
HCIHIMI-D-2013-Maeshiro #multi #network
A Model of Living Organisms to Integrate Multiple Relationship Network Descriptions (TM), pp. 475–483.
ICEISICEIS-v1-2013-EllouzeLB #database #design #logic #object-oriented #realtime
Object-oriented Real-time Database Design based on Description Logics (ZE, NL, RB), pp. 264–271.
ICEISICEIS-v3-2013-EssienO #architecture #case study #component #enterprise #modelling #student #validation
Enterprise Architecture Models — Description of Integrated Components for Validation — A Case Study of Student Internship Programme (JE, SO), pp. 302–309.
KEODKEOD-2013-SagaeF #development #identification #image
Knowledge Resource Development for Identifying Matching Image Descriptions (AS, SEF), pp. 100–108.
SACSAC-2013-LarizgoitiaTBLM #semantics
Environmental service discovery based on semantically annotated OGC service descriptions (IL, IT, AB, AL, PM), pp. 303–310.
SACSAC-2013-MokarizadehKM #ontology #web #web service
Ontology acquisition from web service descriptions (SM, PK, MM), pp. 325–332.
ESEC-FSEESEC-FSE-2013-Dajsuren #architecture #quality
Automotive architecture description and its quality (YD), pp. 727–730.
ESEC-FSEESEC-FSE-2013-DavrilDHACH #feature model #scalability
Feature model extraction from large collections of informal product descriptions (JMD, ED, NH, MA, JCH, PH), pp. 290–300.
ESEC-FSEESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web
Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
CADECADE-2013-BenderPS #logic
System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
CADECADE-2013-GoreT #logic
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (RG, JT), pp. 275–281.
CSLCSL-2013-BulatovDT #approximate #complexity
Descriptive complexity of approximate counting CSPs (AAB, VD, MT), pp. 149–164.
WICSA-ECSAWICSA-ECSA-2012-FrancoBR #architecture #automation #predict #reliability
Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
WICSA-ECSAWICSA-ECSA-2012-WoodsB #architecture #case study #experience #industrial #information management #scalability #using
Using an Architecture Description Language to Model a Large-Scale Information System — An Industrial Experience Report (EW, RB), pp. 239–243.
TFPIETFPIE-2012-ODonnell #education #functional #hardware #using
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
FASEFASE-2012-BecceMRS #user interface
Extracting Widget Descriptions from GUIs (GB, LM, OR, MS), pp. 347–361.
ICPCICPC-2012-PanichellaAPMC #developer #mining #source code
Mining source code descriptions from developer communications (SP, JA, MDP, AM, GC), pp. 63–72.
AFLAFL-J-2011-Pin12 #equation
Equational Descriptions of Languages (JÉP), pp. 1227–1240.
CIAACIAA-2012-KutribO #automaton #complexity #on the
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata (MK, FO), pp. 253–264.
CHICHI-2012-MetoyerLRC #comprehension #visualisation
Understanding the verbal language and structure of end-user descriptions of data visualizations (RAM, BL, NHR, MC), pp. 1659–1662.
ICPRICPR-2012-HongZPC #correlation
Combining local and global correlation for texture description (XH, GZ, MP, XC), pp. 2756–2759.
ICPRICPR-2012-LiFLF #recognition
Face recognition with illumination distinction description (YL, JF, CL, XF), pp. 809–812.
ICPRICPR-2012-MartelliCBTM #detection #paradigm #similarity
Joining feature-based and similarity-based pattern description paradigms for object detection (SM, MC, LB, DT, VM), pp. 2702–2705.
ICPRICPR-2012-PazzagliaC #approach #recognition #tool support #visual notation
Visual description and recognition of mechanical tools with a silhouette-based approach (FP, CC), pp. 2549–2552.
ICPRICPR-2012-SantosPTGPF #classification #image #multi #using #visual notation #word
Improving texture description in remote sensing image multi-scale classification tasks by using visual words (JAdS, OABP, RdST, PHG, SPF, AXF), pp. 3090–3093.
KEODKEOD-2012-LinharesD #analysis #functional #geometry
Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.
KMISKMIS-2012-EmmeneggerLT #semantics
Improving Supply-Chain-Management based on Semantically Enriched Risk Descriptions (SE, EL, BT), pp. 70–80.
KRKR-2012-ArenasBCRS #knowledge base #logic
Exchanging Description Logic Knowledge Bases (MA, EB, DC, VR, ES).
KRKR-2012-BienvenuLW #logic #query
Query Containment in Description Logics Reconsidered (MB, CL, FW).
KRKR-2012-BorgwardtP #fuzzy #logic
Undecidability of Fuzzy Description Logics (SB, RP).
KRKR-2012-GrauHKKMMW #logic #query
Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
KRKR-2012-KazakovKS #logic #product line #reasoning
Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).
KRKR-2012-LutzSW #approach #approximate #logic
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).
KRKR-2012-LutzW #complexity #logic #query
Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).
MLDMMLDM-2012-SapkotaBS #grammar inference #principle #using
Unsupervised Grammar Inference Using the Minimum Description Length Principle (US, BRB, APS), pp. 141–153.
SEKESEKE-2012-ShenHTGZ #feature model #logic #modelling #verification
Feature modeling and Verification based on Description Logics (GS, ZH, CT, QG, WZ), pp. 422–425.
BXBX-2012-GibbonsJ #algebra #lens
Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
MODELSMoDELS-2012-HumaGEJ #automation #towards #uml
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
REFSQREFSQ-2012-TekaCS #bibliography
A Systematic Literature Review on Service Description Methods (AYT, NCF, BS), pp. 239–255.
SACSAC-2012-AlebrahimCHCH #architecture #design #interactive #model transformation #problem
Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SACSAC-2012-HogDA #adaptation #web #web service
Profile annotation for adaptable Web Service description (CEH, RBD, IA), pp. 1935–1940.
SACSAC-2012-MinervinidF #concept #learning #logic #probability
Learning probabilistic Description logic concepts: under different Assumptions on missing knowledge (PM, Cd, NF), pp. 378–383.
SACSAC-2012-YanZM #data type #fuzzy #logic
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group (LY, FZ, ZMM), pp. 320–325.
FSEFSE-2012-DiGiuseppeJ #automation #fault #semantics
Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.
ICSEICSE-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.
ICSEICSE-2012-PanditaXZXOP #api #natural language #specification
Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
CSLCSL-2012-GrandjeanO #complexity
Descriptive complexity for pictures languages (EG, FO), pp. 274–288.
IJCARIJCAR-2012-BaaderMM #logic #named #unification
UEL: Unification Solver for the Description Logic ℰℒ — System Description (FB, JM, BM), pp. 45–51.
IJCARIJCAR-2012-BorgwardtDP #fuzzy #how #logic #question
How Fuzzy Is My Fuzzy Description Logic? (SB, FD, RP), pp. 82–96.
IJCARIJCAR-2012-SteigmillerLG #logic
Extended Caching, Backjumping and Merging for Expressive Description Logics (AS, TL, BG), pp. 514–529.
ECSAECSA-2011-BarbosaBGS #architecture #aspect-oriented #named #product line
PL-AspectualACME: An Aspect-Oriented Architectural Description Language for Software Product Lines (EAB, TVB, AFG, ES), pp. 139–146.
ECSAECSA-2011-SilvaB #architecture #specification #using
A Model for Specifying Rationale Using an Architecture Description Language (LdS, DB), pp. 319–327.
DACDAC-2011-AuerbachBCRS #hardware #object-oriented
Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language (JSA, DFB, PC, RMR, SS), pp. 890–894.
ITiCSEITiCSE-2011-EganCT #evaluation #framework
The academic enhancement program in introductory CS: a workshop framework description and evaluation (RE, DC, DMT), pp. 278–282.
SCAMSCAM-J-2009-PhalpAJVK11 #case study #comprehension #requirements
The role of comprehension in requirements and implications for use case descriptions (KP, AA, SJ, JV, JMK), pp. 461–486.
PLDIPLDI-2011-LiTOKCSH #data flow #hardware #named
Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
AFLAFL-2011-Pin #equation
Equational descriptions of languages (JÉP), pp. 50–63.
DLTDLT-2011-HolzerJ #complexity
Chop Operations and Expressions: Descriptional Complexity Considerations (MH, SJ), pp. 264–275.
LATALATA-2011-OkhotinS #ambiguity #automaton #complexity #word
Descriptional Complexity of Unambiguous Nested Word Automata (AO, KS), pp. 414–426.
CHICHI-2011-HolzW #gesture
Data miming: inferring spatial object descriptions from human gesture (CH, AW), pp. 811–820.
HCIHCD-2011-KlineQ #network #scalability
Attribute Description Service for Large-Scale Networks (DK, JQ), pp. 519–528.
HCIHCD-2011-Kurosu #experience #user interface #word
Descriptive Words for Expressing the User Experience (MK), pp. 81–90.
HCIHCI-UA-2011-IshidaNKOT #word
Therapeutic Category Improvement Method Based on the Words Appearing in Effect-Efficacy Description (HI, KN, MK, MO, FT), pp. 174–181.
CAiSECAiSE-2011-AsnarPM #case study #design pattern #logic #modelling
Modeling Design Patterns with Description Logics: A Case Study (YA, EP, JM), pp. 169–183.
CAiSECAiSE-2011-RoySSWB #design #enterprise #using
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (MR, BS, DS, IW, BB), pp. 566–581.
CIKMCIKM-2011-LiLWG
Context-based entity description rule for entity resolution (LL, JL, HW, HG), pp. 1725–1730.
KDIRKDIR-2011-LiVM #graph #learning #relational #using #visual notation
Unsupervised Handwritten Graphical Symbol Learning — Using Minimum Description Length Principle on Relational Graph (JL, CVG, HM), pp. 172–178.
KEODKEOD-2011-MullerRH #logic #modelling #towards
Towards a Description Logic for Scientific Modeling (JPM, HLR, DH), pp. 183–188.
SEKESEKE-2011-MokarizadehKM #automation #evaluation #semantics #web #web service
Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S) (SM, PK, MM), pp. 353–356.
SIGIRSIGIR-2011-Martinez-Alvarez #classification #information retrieval #integration #modelling
Descriptive modelling of text classification and its integration with other IR tasks (MMA), pp. 1317–1318.
REFSQREFSQ-2011-LauesenK #case study
Use Cases versus Task Descriptions (SL, MAK), pp. 106–120.
SACSAC-2011-NardiniOV
Description spaces with fuzziness (EN, AO, MV), pp. 869–876.
ICSEICSE-2011-DumitruGHCMCM #mining #on-demand #recommendation
On-demand feature recommendations derived from mining public product descriptions (HD, MG, NH, JCH, BM, CCH, MM), pp. 181–190.
SPLCSPLC-2011-AsirelliBGF #product line #variability
Formal Description of Variability in Product Families (PA, MHtB, SG, AF), pp. 130–139.
CADECADE-2011-BaaderBBM #concept #logic #unification
Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.
CADECADE-2011-Horbach11a
System Description: SPASS-FD (MH), pp. 331–337.
CSLCSL-2011-CantoneLA #decidability #logic #order #quantifier #set
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics (DC, CL, MNA), pp. 129–143.
ICLPICLP-2011-DovierFP #coordination #named #prolog
BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.
ICLPICLP-2011-Zombori #information retrieval #logic #performance #reasoning
Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
ECSAECSA-2010-HeeschA #architecture #bibliography #comprehension #process #reasoning #student
Naive Architecting — Understanding the Reasoning Process of Students — A Descriptive Survey (UvH, PA), pp. 24–37.
ECSAECSA-2010-KiwelekarJ #analysis #architecture #generative #ontology
Ontological Analysis for Generating Baseline Architectural Descriptions (AWK, RKJ), pp. 417–424.
ECSAECSA-2010-RuscioMMPP #architecture #framework #named
ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
CASECASE-2010-MikosFBF #design #development #distributed #ontology #reuse #using
Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology (WLM, JCEF, PEAB, LSF), pp. 598–603.
DATEDATE-2010-RaffelsieperMS #library
Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.
ICSMEICSM-2010-GuptaDKR #case study #implementation
A case study in matching service descriptions to implementations in an existing system (HSG, DD, RK, GMR), pp. 1–10.
WCREWCRE-2010-AthanasopoulosK #identification #legacy
Identification of REST-like Resources from Legacy Service Descriptions (MA, KK), pp. 215–219.
FLOPSFLOPS-2010-Kiselyov #ml
Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
LATALATA-2010-Clark #modelling
Three Learnable Models for the Description of Language (AC), pp. 16–31.
LATALATA-2010-PlatekML #automaton #functional #generative
Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
SEFMSEFM-2010-WeitlNF #logic
Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
ICEISICEIS-AIDSS-2010-TomeAC #architecture #enterprise #experience #named
TREEAD — A Tool that Enables the Re-use of Experience in Enterprise Architecture Description (PT, LA, EC), pp. 332–343.
CIKMCIKM-2010-ThurauKB #matrix
Yes we can: simplex volume maximization for descriptive web-scale matrix factorization (CT, KK, CB), pp. 1785–1788.
CIKMCIKM-2010-XiaoLC #bound #concept
K-farthest-neighbors-based concept boundary determination for support vector data description (YX, BL, LC), pp. 1701–1704.
ICPRICPR-2010-GriptonL #kernel #semistructured data #using
Kernel Domain Description with Incomplete Data: Using Instance-Specific Margins to Avoid Imputation (AG, WL), pp. 2921–2924.
ICPRICPR-2010-GueguenSP #composition #difference #image #multi #segmentation
Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.
ICPRICPR-2010-Liao #using
Region Description Using Extended Local Ternary Patterns (WHL), pp. 1003–1006.
ICPRICPR-2010-LuWD #detection #random
Part Detection, Description and Selection Based on Hidden Conditional Random Fields (WL, SW, XD), pp. 657–660.
ICPRICPR-2010-OliverTLM #automation #segmentation #set #using
Automatic Diagnosis of Masses by Using Level set Segmentation and Shape Description (AO, AT, XL, JM), pp. 2528–2531.
ICPRICPR-2010-SantoshWL #using #visual notation
Using Spatial Relations for Graphical Symbol Description (KCS, LW, BL), pp. 2041–2044.
KEODKEOD-2010-CasasCC #fibonacci #modelling #representation #specification #towards #using
Towards a Representation of Enviromental Models using Specification and Description Language — From the Fibonacci Model to a Wildfire Model (PFiC, MC, JC), pp. 343–346.
KMISKMIS-2010-Caballero-GilCM #analysis #clustering #information management #simulation #using
Knowledge Management using Clusters in VANETs — Description, Simulation and Analysis (CCG, PCG, JMG), pp. 170–175.
KRKR-2010-BaaderBLW #logic #query
Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).
KRKR-2010-CeramiEB #decidability #logic
Decidability of a Description Logic over Infinite-Valued Product Logic (MC, FE, FB).
KRKR-2010-KonevLPW #logic #ontology
Decomposing Description Logic Ontologies (BK, CL, DKP, FW).
KRKR-2010-LutzS #logic #nondeterminism #probability
Probabilistic Description Logics for Subjective Uncertainty (CL, LS).
KRKR-2010-PenalozaS #axiom #complexity #logic #on the #product line
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).
KRKR-2010-WangWT #knowledge base #logic
Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).
SEKESEKE-2010-VaraS #modelling
System Modeling from Extended Task Descriptions (JLdlV, JS), pp. 425–429.
MODELSMoDELS-v2-2010-ParetoEE #architecture #bound #design
Architectural Descriptions as Boundary Objects in System and Design Work (LP, PE, SE), pp. 406–419.
LOPSTRLOPSTR-2010-SakuraiA #library #named #proving #user interface #visualisation
MikiBeta: A General GUI Library for Visualizing Proof Trees — System Description and Demonstration (KS, KA), pp. 84–98.
POPLPOPL-2010-DiasR #automation #declarative #generative #using
Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
RERE-2010-ChenYJ #named #problem
Dptool: A Tool for Supporting the Problem Description and Projection (XC, BY, ZJ), pp. 401–402.
SACSAC-2010-AlmeidaYA10a #principle #using
Filtering spams using the minimum description length principle (TAA, AY, JA), pp. 1854–1858.
SACSAC-2010-WeinreichB #architecture #development
Paving the road for formally defined architecture description in software development (RW, GB), pp. 2337–2343.
LDTALDTA-2010-Bagge #implementation
Language description for front end implementation (AHB), p. 9.
LCTESLCTES-2010-PykaKMM #approach #embedded #framework
Versatile system-level memory-aware platform description approach for embedded MPSoCs (RP, FK, PM, SM), pp. 9–16.
CSLCSL-2010-EickmeyerG #complexity
Randomisation and Derandomisation in Descriptive Complexity Theory (KE, MG), pp. 275–289.
ICLPICLP-2010-OetschPT10 #source code
Methods and Methodologies for Developing Answer-Set Programs — Project Description (JO, JP, HT), pp. 154–161.
ICLPICLP-J-2010-WangYYS #logic programming #source code
Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.
IJCARIJCAR-2010-DunchevLLWP #proving
System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.
IJCARIJCAR-2010-GlimmHM #logic #reasoning
Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.
IJCARIJCAR-2010-GoreKPS #algebra #logic
Global Caching for Coalgebraic Description Logics (RG, CK, DP, LS), pp. 46–60.
IJCARIJCAR-2010-Kazakov #axiom #logic
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.
IJCARIJCAR-2010-MagkaKH #data type #logic
Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
IJCARIJCAR-2010-PientkaD #deduction #framework #named #programming #reasoning
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (BP, JD), pp. 15–21.
WICSA-ECSAWICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named #process
PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
WICSA-ECSAWICSA-ECSA-2009-EmeryH #architecture #framework #using
Every architecture description needs a framework: Expressing architecture frameworks using ISO/IEC 42010 (DEE, RH), pp. 31–40.
FoSSaCSFoSSaCS-2009-AdamekMV #monad
A Description of Iterative Reflections of Monads (Extended Abstract) (JA, SM, JV), pp. 152–166.
ICSMEICSM-2009-KhomhGA #design pattern #empirical #game studies
Playing roles in design patterns: An empirical descriptive and analytic study (FK, YGG, GA), pp. 83–92.
SCAMSCAM-2009-AlikacemS #framework #metric
A Metric Extraction Framework Based on a High-Level Description Language (EHA, HAS), pp. 159–167.
PEPMPEPM-2009-SalamaMTGO #consistency #dependent type #using
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.
CIAACIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism
Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
DLTDLT-2009-FreydenbergerR
Existence and Nonexistence of Descriptive Patterns (DDF, DR), pp. 228–239.
DLTDLT-2009-GruberH #bound #complexity #regular expression
Tight Bounds on the Descriptional Complexity of Regular Expressions (HG, MH), pp. 276–287.
LATALATA-2009-HolzerK #automaton #complexity #finite
Descriptional and Computational Complexity of Finite Automata (MH, MK), pp. 23–42.
HCIHCD-2009-Kurosu #approach
Full Description Persona vs. Trait List Persona in the Persona-Based sHEM Approach (MK), pp. 230–238.
HCIHCI-AUII-2009-HamaguchiKDI #framework
User-Definable Rule Description Framework for Autonomous Actor Agents (NH, HK, MD, SI), pp. 257–266.
HCIHCI-VAD-2009-OHearB #enterprise #process #user interface #using
Using Activity Descriptions to Generate User Interfaces for ERP Software (TO, YB), pp. 577–586.
HCIHIMI-II-2009-KimuraONOT #analysis
Analysis on Descriptions of Dosage Regimens in Package Inserts of Medicines (MK, KO, KN, MO, FT), pp. 539–548.
VISSOFTVISSOFT-2009-HassaineDSP #analysis #generative #maintenance #visualisation
Generating visualization-based analysis scenarios from maintenance task descriptions (SH, KD, HAS, PP), pp. 41–44.
ICEISICEIS-DISI-2009-AmiratO #architecture #first-order #metamodelling #named
C3: A Metamodel for Architecture Description Language based on First-order Connector Types (AA, MO), pp. 76–81.
CIKMCIKM-2009-YangXBHSY #case study #cumulative #generative #information retrieval #social #using
A study of information retrieval on accumulative social descriptions using the generation features (LY, SX, SB, DH, ZS, YY), pp. 721–730.
ECIRECIR-2009-BaillieCC #distributed #information retrieval #quality #topic
A Topic-Based Measure of Resource Description Quality for Distributed Information Retrieval (MB, MJC, FC), pp. 485–496.
ECIRECIR-2009-LeaseAC #learning #query #rank
Regression Rank: Learning to Meet the Opportunity of Descriptive Queries (ML, JA, WBC), pp. 90–101.
KEODKEOD-2009-ZambachM #implementation #logic #ontology
Applying Terminological Methods and Description Logic for Creating and Implementing an Ontology on Inhibition (SZ, BNM), pp. 452–455.
RecSysRecSys-2009-CarolisNPG #comparative #generative
Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
RecSysRecSys-2009-GreenLAMKHBM #generative #recommendation
Generating transparent, steerable recommendations from textual descriptions of items (SJG, PL, JA, FM, SK, JH, JB, XWM), pp. 281–284.
SEKESEKE-2009-VaraS #requirements #specification
Specification of Data Requirements from Task Descriptions (JLdlV, JS), pp. 55–60.
SIGIRSIGIR-2009-Potthast #web
Measuring the descriptiveness of web comments (MP), pp. 724–725.
MODELSMoDELS-2009-DhaussyPCRTB #validation
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MODELSMoDELS-2009-DhaussyPCRTB #validation
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
REFSQREFSQ-2009-VaraS #approach #lessons learnt #specification
BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt (JLdlV, JS), pp. 124–138.
SACSAC-2009-CaldersGPR #mining #process #using
Using minimum description length for process mining (TC, CWG, MP, AR), pp. 1451–1455.
SACSAC-2009-YokoyamaHSK #internet #operating system #policy #security
Simplifying security policy descriptions for internet servers in secure operating systems (TY, MH, MS, KK), pp. 326–333.
CADECADE-2009-IhlemannS
System Description: H-PILoT (CI, VSS), pp. 131–139.
CADECADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
ICLPICLP-2009-Simkus #logic #logic programming
Fusion of Logic Programming and Description Logics (MS), pp. 551–552.
RTARTA-2009-BaaderM #logic #unification
Unification in the Description Logic EL (FB, BM), pp. 350–364.
ECSAECSA-2008-BernardoB #algebra #architecture #process
Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
ECSAECSA-2008-MohammadA #architecture #component #named
TADL — An Architecture Description Language for Trustworthy Component-Based Systems (MM, VSA), pp. 290–297.
MSRMSR-2008-ParninG
Improving change descriptions with change contexts (CP, CG), pp. 51–60.
PEPMPEPM-2008-GillenwaterMSZTGO #hardware #static typing #using
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
CIAACIAA-2008-HolzerK #complexity #finite #nondeterminism
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
IFLIFL-2008-WangG #ad hoc #haskell #library
A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.
GT-VMTGT-VMT-2008-BraatzB #framework #graph transformation
Graph Transformations for the Resource Description Framework (BB, CB).
AdaSIGAda-2008-LiangRB #ada #architecture #named #reliability
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model (SXL, LAR, JB), pp. 39–56.
ICEISICEIS-ISAS2-2008-AmiratO #architecture #modelling #reasoning #representation
Representation and Reasoning Models for C3 Architecture Description Language (AA, MO), pp. 207–212.
ICPRICPR-2008-HulkkonenH #detection #monitoring
A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.
ICPRICPR-2008-MorrisT #adaptation #analysis #process #video
An adaptive scene description for activity analysis in surveillance video (BM, MMT), pp. 1–4.
ICPRICPR-2008-TavakkoliNBN #incremental #modelling #performance
Efficient background modeling through incremental Support Vector Data Description (AT, MN, GB, MNN), pp. 1–4.
KRKR-2008-BaaderGL #axiom #logic #ltl
LTL over Description Logic Axioms (FB, SG, CL), pp. 684–694.
KRKR-2008-Bienvenu #abduction #complexity #lightweight #logic #product line
Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.
KRKR-2008-CalvaneseGLLR #constraints #identification #logic
Path-Based Identification Constraints in Description Logics (DC, GDG, DL, ML, RR), pp. 231–241.
KRKR-2008-CalvaneseGLR #logic #ontology #query
View-Based Query Answering over Description Logic Ontologies (DC, GDG, ML, RR), pp. 242–251.
KRKR-2008-MotikGHS #graph #representation #using
Representing Structured Objects using Description Graphs (BM, BCG, IH, US), pp. 296–306.
KRKR-2008-SchroderP #how #logic #strict
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics (LS, DP), pp. 307–317.
KRKR-2008-TomanW #identification #logic
Identifying Objects Over Time with Description Logics (DT, GEW), pp. 724–732.
RecSysRecSys-2008-GeyerDMMF #online #recommendation #self #topic
Recommending topics for self-descriptions in online user profiles (WG, CD, DRM, MJM, JF), pp. 59–66.
SEKESEKE-2008-QayyumO #architecture #dot-net
.NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
ECMFAECMDA-FA-2008-WoodAHM #array
Array OL Descriptions of Repetitive Structures in VHDL (SW, DHA, WGJH, KDMM), pp. 137–152.
MODELSMoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
MODELSMoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
SACSAC-2008-ZhangMD #feature model #fuzzy #image #retrieval #set #using
Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval (GZ, ZMM, LD), pp. 1760–1761.
SLESLE-2008-GjosaeterIP #case study #named
Sudoku — A Language Description Case Study (TG, IFI, AP), pp. 305–321.
CSLCSL-2008-DawarG #complexity #game studies
The Descriptive Complexity of Parity Games (AD, EG), pp. 354–368.
ICLPICLP-2008-LukacsySK #logic #prolog #reasoning
Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.
IJCARIJCAR-2008-AvanziniMS #analysis #automation #complexity
Automated Implicit Computational Complexity Analysis (System Description) (MA, GM, AS), pp. 132–138.
IJCARIJCAR-2008-BeierleKK #automation #implementation #reasoning
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (CB, GKI, NK), pp. 147–153.
IJCARIJCAR-2008-BenzmullerPTF #automation #higher-order #logic #named #proving #theorem proving
LEO-II — A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (CB, LCP, FT, AF), pp. 162–170.
IJCARIJCAR-2008-DuranLM #maude #named #termination
MTT: The Maude Termination Tool (System Description) (FD, SL, JM), pp. 313–319.
IJCARIJCAR-2008-FurbachGHP #named
LogAnswer — A Deduction-Based Question Answering System (System Description) (UF, IG, HH, BP), pp. 139–146.
IJCARIJCAR-2008-Gacek #interactive #proving #theorem proving
The Abella Interactive Theorem Prover (System Description) (AG), pp. 154–161.
IJCARIJCAR-2008-GoreP #evaluation
An Experimental Evaluation of Global Caching for (System Description) (RG, LP), pp. 299–305.
IJCARIJCAR-2008-KonevWW #difference #logic #problem
The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.
IJCARIJCAR-2008-Korovin #first-order #logic #named #proving #theorem proving
iProver — An Instantiation-Based Theorem Prover for First-Order Logic (System Description) (KK), pp. 292–298.
IJCARIJCAR-2008-Kovacs #generative #invariant #named
Aligator: A Mathematica Package for Invariant Generation (System Description) (LK), pp. 275–282.
IJCARIJCAR-2008-Lutz #complexity #logic #query
The Complexity of Conjunctive Query Answering in Expressive Description Logics (CL), pp. 179–193.
IJCARIJCAR-2008-MotikH #logic #reasoning #reuse
Individual Reuse in Description Logic Reasoning (BM, IH), pp. 242–258.
IJCARIJCAR-2008-Otten #agile #logic #performance #proving #theorem proving
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (JO), pp. 283–291.
IJCARIJCAR-2008-PlatzerQ #hybrid #named #proving #theorem proving
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (AP, JDQ), pp. 171–178.
IJCARIJCAR-2008-SatoWKM #multi #termination #tool support
Multi-completion with Termination Tools (System Description) (HS, SW, MK, AM), pp. 306–312.
IJCARIJCAR-2008-Schack-NielsenS #concurrent #deduction #framework #logic #named
Celf — A Logical Framework for Deductive and Concurrent Systems (System Description) (ASN, CS), pp. 320–326.
IJCARIJCAR-2008-SchmidtT #first-order #logic
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.
WICSAWICSA-2007-OliveiraW #approach #architecture #modelling
A Model-Driven Approach to Extract Views from an Architecture Description Language (CO, MW), p. 7.
DACDAC-2007-GoldgeisserCD #hardware #modelling
Modeling Safe Operating Area in Hardware Description Languages (LBG, EC, ZD), pp. 377–382.
DATEDATE-2007-EckerESSVH #abstraction #interactive #performance #representation #simulation
Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance (WE, VE, LS, TS, MV, MH), pp. 767–772.
DATEDATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.
ICDARICDAR-2007-HiranoOOY #analysis #documentation #information management #layout
Text and Layout Information Extraction from Document Files of Various Formats Based on the Analysis of Page Description Language (TH, YO, YO, FY), pp. 262–266.
ICDARICDAR-2007-LemaitreCC #documentation #multi #recognition
Contribution of Multiresolution Description for Archive Document Structure Recognition (AL, JC, BC), pp. 247–251.
DLTDLT-2007-MalcherP #bound #complexity #context-free grammar
Descriptional Complexity of Bounded Context-Free Languages (AM, GP), pp. 312–323.
DLTDLT-2007-Salomaa #automaton #complexity #finite #nondeterminism
Descriptional Complexity of Nondeterministic Finite Automata (KS), pp. 31–35.
LATALATA-2007-BaaderHP #automaton #exclamation #logic
SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.
LATALATA-2007-DassowF #approach #comparison
Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach (JD, HF), pp. 249–260.
LATALATA-2007-KutribR #automaton #regular expression
Succinct Description of Regular Languages by Weak Restarting Automata (MK, JR), pp. 343–354.
LATALATA-2007-MasopustM #complexity
Descriptional Complexity of Grammars Regulated by Context Conditions (TM, AM), pp. 403–412.
LATALATA-2007-Povarov #complexity #regular expression
Descriptive Complexity of the Hamming Neighborhood of a Regular Language (GP), pp. 509–520.
AdaEuropeAdaEurope-2007-ZalilaHHP #architecture #distributed #generative
Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.
ICEISICEIS-EIS-2007-Egyhazy #architecture #comparison #design #security
Comparison of Five Architecture Description Languages on Design Focus, Security and Style (CJE), pp. 270–277.
SEKESEKE-2007-LeitaoTB #named #natural language #specification #testing
NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.
SIGIRSIGIR-2007-TurnbullBTL #semantics #set #towards #using
Towards musical query-by-semantic-description using the CAL500 data set (DT, LB, DAT, GRGL), pp. 439–446.
POPLPOPL-2007-MandelbaumFWFG #functional #ml #named
PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
SACSAC-2007-GooneratneTH #algorithm #graph #traversal #using #verification #web #web service
Verification of web service descriptions using graph-based traversal algorithms (NG, ZT, JH), pp. 1385–1392.
SACSAC-2007-SantoZ #adaptation #user interface
Reversing GUIs to XIML descriptions for the adaptation to heterogeneous devices (GDS, EZ), pp. 1456–1460.
ICSEICSE-2007-LeclercqOQS #architecture #tool support
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
CADECADE-2007-LutzW #lightweight #logic
Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
CADECADE-2007-MotikSH #logic #reasoning #using
Optimized Reasoning in Description Logics Using Hypertableaux (BM, RS, IH), pp. 67–83.
CADECADE-2007-PelzerW
System Description: E-KRHyper (BP, CW), pp. 508–513.
CADECADE-2007-WeidenbachSHRT
System Description: SpassVersion 3.0 (CW, RAS, TH, RR, DT), pp. 514–520.
ICLPICLP-2007-CaliL #logic programming #probability #semantics #source code #web
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.
ICLPICLP-2007-Nguyen #approximate #complexity #knowledge base #logic
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.
CBSECBSE-2006-PerezACR #architecture #aspect-oriented #design
Designing Software Architectures with an Aspect-Oriented Architecture Description Language (JP, NA, JÁC, IR), pp. 123–138.
DACDAC-2006-WangKO #nondeterminism #parametricity #probability #statistics
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
FASEFASE-2006-LavazzaB #problem #requirements #uml
Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
ICALPICALP-v2-2006-HondaBY #higher-order #logic
Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.
EDOCEDOC-2006-Zhang #collaboration
Extended Collaboration Description Language (X-CODL) (JZ), pp. 56–66.
ICEISICEIS-J-2006-KoutsomitropoulosMKP06a #framework #logic #reasoning #semantics #web
Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines (DAK, DPM, ANK, TSP), pp. 351–362.
ICEISICEIS-SAIC-2006-KoutsomitropoulosMKP #information management #logic #using
OWL-Based Knowledge Discovery Using Description Logics Reasoners (DAK, DPM, ANK, TSP), pp. 43–50.
ICPRICPR-v1-2006-KimK #classification #using
Simultaneous Classification and VisualWord Selection using Entropy-based Minimum Description Length (SK, ISK), pp. 650–653.
ICPRICPR-v3-2006-LiuZ
Minimum Enclosing and Maximum Excluding Machine for Pattern Description and Discrimination (YL, YFZ), pp. 129–132.
ICPRICPR-v4-2006-RosL #image
Description of Local Singularities for Image Registration (JR, CL), pp. 61–64.
KRKR-2006-BonattiLW #logic
Description Logics with Circumscription (PAB, CL, FW), pp. 400–410.
KRKR-2006-CalvaneseGLLR #complexity #logic #query
Data Complexity of Query Answering in Description Logics (DC, GDG, DL, ML, RR), pp. 260–270.
KRKR-2006-CateCMV #logic
Definitorially Complete Description Logics (BtC, WC, MM, YV), pp. 79–89.
KRKR-2006-GhilardiLW #logic #ontology
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
KRKR-2006-LiuLMW #logic
Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.
KRKR-2006-LukasiewiczS #logic
Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.
KRKR-2006-Rosati #datalog #integration #logic
DL+log: Tight Integration of Description Logics and Disjunctive Datalog (RR), pp. 68–78.
KRKR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
KRKR-2006-SirinGP #logic #optimisation #reasoning
From Wine to Water: Optimizing Description Logic Reasoning for Nominals (ES, BCG, BP), pp. 90–99.
LOPSTRLOPSTR-2006-MoralesCH #automaton #optimisation #prolog #towards
Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.
PADLPADL-2006-NagyLS #logic #prolog #query
Translating Description Logic Queries to Prolog (ZN, GL, PS), pp. 168–182.
POPLPOPL-2006-FisherMW
The next 700 data description languages (KF, YM, DW), pp. 2–15.
SACSAC-2006-BaillieAC #evaluation #metric #quality
An evaluation of resource description quality measures (MB, LA, FC), pp. 1110–1111.
SACSAC-2006-dAmatoFE #concept #difference
A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
CCCC-2006-DiasR #assembly #declarative #using
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
LCTESLCTES-2006-FarfelederKSB #architecture #compilation #effectiveness #generative
Effective compiler generation by architecture description (SF, AK, ES, FB), pp. 145–152.
ICLPICLP-2006-Lukacsy #logic #prolog #reasoning
Description Logic Reasoning in Prolog (GL), pp. 463–464.
IJCARIJCAR-2006-JanicicQ
System Description: GCLCprover + GeoThms (PJ, PQ), pp. 145–150.
IJCARIJCAR-2006-TomanW #dependence #functional #logic #on the
On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
IJCARIJCAR-2006-TsarkovH #logic
FaCT++ Description Logic Reasoner: System Description (DT, IH), pp. 292–297.
MBTMBT-2006-ConradK #classification #embedded
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
RTARTA-2006-Salvati #equation #linear #type system #λ-calculus
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (SS), pp. 151–165.
ICSTSAT-2006-SebastianiV #case study #encoding #logic #satisfiability
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.
WICSAWICSA-2005-WoodsH #architecture
Architecture Description Languages in Practice Session Report (EW, RH), pp. 243–246.
DocEngDocEng-2005-LumleyGR05a #documentation #framework
A demonstration of the document description framework (JWL, RG, OR), pp. 227–228.
ICDARICDAR-2005-ArrivaultRB #approach #fuzzy #graph
A Fuzzy Hierarchical Attributed Graph Approach for Handwritten Egyptian Hieroglyphs description and matching (DA, NR, PB), pp. 898–903.
ICDARICDAR-2005-MozaffariFFZ #composition #statistics
Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.
CSMRCSMR-2005-JiangLSS #analysis #comparison #uml #web #web service
UML-Level Analysis and Comparison of Web Service Descriptions (JJ, JL, PS, TS), pp. 236–240.
CIAACIAA-2005-VielhaberC #infinity #on the #set #transducer
On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set (MV, MdPCC), pp. 356–357.
SEFMSEFM-2005-DittmarF
A unified description formalism for complex HCI-systems (AD, PF), pp. 342–351.
SEFMSEFM-2005-GeorgievaM #analysis #logic
Description Logics for Shape Analysis (LG, PM), pp. 321–331.
ICEISICEIS-v1-2005-OuziriVF #approach #integration #logic #modelling #topic
Data Integration and User Modelling: An Approach Based on Topic Maps and Description Logics (MO, CV, AF), pp. 171–175.
ICEISICEIS-v3-2005-KacemJKD #architecture #comparison #evaluation
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures (MHK, MJ, AHK, KD), pp. 189–195.
MLDMMLDM-2005-JanichenP #clustering #concept
Acquisition of Concept Descriptions by Conceptual Clustering (SJ, PP), pp. 153–162.
LOPSTRLOPSTR-2005-SimonMG #design #implementation #realtime
Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.
PADLPADL-2005-Ramsey #compilation #declarative
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
CADECADE-2005-BechhoferHT #owl
The OWL Instance Store: System Description (SB, IH, DT), pp. 177–181.
CADECADE-2005-MeierM #multi #proving #theorem proving
System Description: Multi A Multi-strategy Proof Planner (AM, EM), pp. 250–254.
ICLPICLP-2005-Horrocks #logic #named #ontology #owl
OWL: A Description Logic Based Ontology Language (IH), pp. 1–4.
LICSLICS-2005-Hofmann #approach
Proof-Theoretic Approach to Description-Logic (MH0), pp. 229–237.
WICSAWICSA-2004-BernardoB #architecture #generative #parallel #source code #thread
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
DACDAC-2004-KappS #automation #behaviour #control flow #scheduling #synthesis
Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis (KK, VKS), pp. 61–66.
DATEDATE-v1-2004-MartensG #architecture #design
A Phase-Frequency Transfer Description of Analog and Mixed-Signal Front-End Architectures for System-Level Design (EM, GGEG), pp. 436–441.
DATEDATE-v1-2004-ReNR #automation #generative
A Tool for Automatic Generation of RTL-Level VHDL Description of RNS FIR Filters (ADR, AN, MR), pp. 686–687.
DocEngDocEng-2004-TroncyC
A reduced yet extensible audio-visual description language (RT, JC), pp. 87–89.
IFMIFM-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.
ICEISICEIS-v2-2004-NairC #image
Linguistic Description of Patterns from Mined Images (HN, IC), pp. 77–83.
ICPRICPR-v1-2004-ValienteACG #design #image #using
Structural Description of Textile and Tile Pattern Designs Using Image Processing (JMV, FA, CC, JMG), pp. 498–503.
ICPRICPR-v3-2004-ChengCK #database #video
Periodic Human Motion Description for Sports Video Databases (FC, WJC, JK), pp. 870–873.
ICPRICPR-v3-2004-Li04a #representation
Sky-Ground Representation for Local Scene Description (SL), pp. 252–255.
ICPRICPR-v3-2004-RicardCB #3d #retrieval
ART Extension for Description, Indexing and Retrieval of 3D Objects (JR, DC, AB), pp. 79–82.
ICPRICPR-v4-2004-LaiY #algorithm #fault #network #predict
Successive-Least-Squares Error Algorithm on Minimum Description Length Neural Networks for Time Series Prediction (YNL, SYY), pp. 609–612.
ICPRICPR-v4-2004-SelmaouiRLA #analysis #detection #image
Image Analysis for Core Geological Descriptions : Strata and Granulometry Detection (NS, BR, CLM, MA), pp. 305–310.
ICPRICPR-v4-2004-SialaCCB #detection
Moving Shadow Detection with Support Vector Domain Description in the Color Ratios Space (KS, MC, FC, OB), pp. 384–387.
KRKR-2004-EiterLST #logic #programming #semantics #set #web
Combining Answer Set Programming with Description Logics for the Semantic Web (TE, TL, RS, HT), pp. 141–151.
KRKR-2004-HustadtMS #datalog #logic #source code
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.
KRKR-2004-MasoloVBCFGG #social
Social Roles and their Descriptions (CM, LV, EB, CC, RF, AG, NG), pp. 267–277.
KRKR-2004-SmythP #probability
Qualitative Probabilistic Matching with Hierarchical Descriptions (CS, DP), pp. 479–487.
SEKESEKE-2004-MouhoubSS
Formal Description Techniques for CSPs and TCSPs (MM, SS, AS), pp. 406–410.
GPCEGPCE-2004-Mosses #composition
Modular Language Descriptions (PDM), p. 489.
ICSEICSE-2004-CaporuscioIP #architecture #composition #middleware #verification
Compositional Verification of Middleware-Based Software Architecture Descriptions (MC, PI, PP), pp. 221–230.
ICSEICSE-2004-Waewsawangwong #approach #architecture #component #constraints #self
A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems (PW), pp. 81–83.
HPDCHPDC-2004-WeinbergJDFH #execution #matrix #query #using
Gridflow Description, Query, and Execution at SCEC using the SDSC Matrix (JW, AJ, AD, MF, YH), pp. 262–263.
LCTESLCTES-2004-QinRM #architecture #concurrent #development #modelling #synthesis #tool support
A formal concurrency model based architecture description language for synthesis of software development tools (WQ, SR, SM), pp. 47–56.
IJCARIJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
IJCARIJCAR-2004-Schulz
System Description: E 0.81 (SS), pp. 223–228.
DACDAC-2003-Hershenson #design #performance
Efficient description of the design space of analog circuits (MdMH), pp. 970–973.
DATEDATE-2003-Castro-LopezFMR #behaviour #hardware #modelling #simulation #using
Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages (RCL, FVF, FM, ÁRV), pp. 10168–10175.
PODSPODS-2003-MendelzonP #set
Concise descriptions of subsets of structured sets (AOM, KQP), pp. 123–133.
FASEFASE-2003-SoraVB #component #composition
A Description Language For Composable Components (IS, PV, YB), pp. 22–36.
TACASTACAS-2003-BarayCDM #functional #generative #testing #validation
Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
CIAACIAA-2003-Zijl #regular expression
Succinct Descriptions of Regular Languages with Binary +-NFAs (LvZ), pp. 72–82.
SFMSFM-2003-StaffordWC #analysis #architecture #dependence
The Application of Dependence Analysis to Software Architecture Descriptions (JAS, ALW, MC), pp. 52–62.
AGTIVEAGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk) (HKR), pp. 369–382.
CAiSECAiSE-2003-DammHG #ontology #using
Translating and Searching Service Descriptions Using Ontologies (DD, FH, AG), pp. 308–323.
EDOCEDOC-2003-JonkersBABBBDGSHIJLLPSTZ #architecture #enterprise #towards
Towards a Language for Coherent Enterprise Architecture Descriptions (HJ, RvB, FA, FSdB, MMB, HB, HWLtD, LG, JGS, SH, MEI, WJ, MML, DvL, EP, AS, LWNvdT, GVvZ), pp. 28–39.
ICEISICEIS-v2-2003-KjellinD #knowledge base
A General Knowledge Base for Comparing Descriptions of Knowledge (HK, SD), pp. 272–279.
ICEISICEIS-v3-2003-AllouiMO #approach #architecture #generative #modelling #using
Modelling and Generating Business-To-Business Applications Using an Architecture Description Language — Based Approach (IA, KM, FO), pp. 201–210.
ICEISICEIS-v3-2003-FaulknerK #architecture #information management #towards
Towards an Agent Architectural Description Language for Information Systems (SF, MK), pp. 59–66.
SEKESEKE-2003-Lavazza #requirements #uml
Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
SEKESEKE-2003-MaLCCZ #approach #architecture #distributed #implementation
A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture (XM, JL, JC, ATSC, KZ), pp. 518–525.
UMLUML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #uml #using
Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.
UMLUML-2003-YangX #architecture #case study #encoding #experience #uml
Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
GPCEGPCE-2003-Kastner #analysis #hardware #named #optimisation
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses (DK), pp. 18–36.
GPCEGPCE-2003-PintoFT #architecture #component #development #named
DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development (MP, LF, JMT), pp. 118–137.
RERE-2003-RichardsFA #approach #case study #multi #visualisation
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints (DR, ABF, OA), pp. 373–374.
SACSAC-2003-PenaCA #approach #protocol #top-down
A Top Down Approach for MAS Protocol Descriptions (JP, RC, JLA), pp. 45–49.
ICSEICSE-2003-Reiss #java #named #visualisation
JIVE: Visualizing Java in Action Demonstration Description (SPR), pp. 820–821.
ICSEICSE-2003-ReissKWK #evolution #named
CLIME: An Environment for Constrained Evolution Demonstration Description (SPR, CMK, TW, SK), pp. 818–819.
CADECADE-2003-HladikS #automaton #logic
A Translation of Looping Alternating Automata into Description Logics (JH, US), pp. 90–105.
CADECADE-2003-LutzST #complexity #finite #logic #reasoning
The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
WICSAWICSA-2002-CuestaFBB #architecture
Introducing Reflection in Architecture Description Languages (CECQ, PdlF, MBS, MEBG), pp. 143–156.
DATEDATE-2002-BruschiCFS #design #fault #simulation
Error Simulation Based on the SystemC Design Description Language (FB, MC, FF, DS), p. 1135.
DATEDATE-2002-FerrandiRS #constraints #functional #theorem proving #using #verification
Functional Verification for SystemC Descriptions Using Constraint Solving (FF, MR, DS), pp. 744–751.
DATEDATE-2002-Leveugle #automation #detection #fault
Automatic Modifications of High Level VHDL Descriptions for Fault Detection or Tolerance (RL), pp. 837–841.
ITiCSEITiCSE-2002-LevyL #recursion #syntax
Shared terminology, private syntax: the case of recursive descriptions (DL, TL), pp. 89–93.
SASSAS-2002-Hymans #abstract interpretation #behaviour #safety
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.
FLOPSFLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
DLTDLT-2002-DassowNR #complexity #on the
On the Descriptional Complexity of Some Variants of Lindenmayer Systems (JD, TYN, BR), pp. 128–139.
ICEISICEIS-2002-Audy #analysis #information management
Analysis of the Relation between the Prescriptive and Descriptive Approaches of the Information System Planning (JLNA), pp. 553–561.
ICEISICEIS-2002-MarirZO #database #logic #online #retrieval #video
An Integrated Object Database and Description Logic System for Online Content and Event-Based Indexing and Retrieval of a Car Park Surveillance Video (FM, KZ, KO), pp. 129–139.
ICEISICEIS-2002-PanMMARV #query
A Model for Advanced Query Capability Description in Mediator Systems (AP, PM, AM, , JR, ÁV), pp. 140–147.
CIKMCIKM-2002-GloverPLK
Inferring hierarchical descriptions (EJG, DMP, SL, RK), pp. 507–514.
ICMLICML-2002-GambergerL #case study #induction
Descriptive Induction through Subgroup Discovery: A Case Study in a Medical Domain (DG, NL), pp. 163–170.
ICPRICPR-v1-2002-CostaGB #difference #statistics
Orientation Difference Statistics for Texture Description (JPDC, CG, PB), pp. 652–655.
ICPRICPR-v2-2002-Amin #learning #prototype #using
Prototyping Structural Description Using Decision Tree Learning Techniques (AA), pp. 76–79.
ICPRICPR-v2-2002-GibsonCT #abstraction #modelling #using #visual notation
Visual Abstraction of Wildlife Footage Using Gaussian Mixture Models and the Minimum Description Length Criterion (DPG, NWC, BTT), pp. 814–817.
ICPRICPR-v2-2002-KojimaTF #process
Textual Description of Human Activities by Tracking Head and Hand Motions (AK, TT, KF), pp. 1073–1077.
ICPRICPR-v3-2002-BoyerSF #for free #multi #recognition
Multiscale Surface Organization and Description for Free Form bject Recognition (KLB, RS, PJF), pp. 569–572.
ICPRICPR-v3-2002-FauqueurB #detection #image #query
Coarse Detection and Fine Color Description for Region-Based Image Queries (JF, NB), pp. 1027–1034.
KRKR-2002-BrandtKT #approximate #difference #logic
Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
KRKR-2002-KutzWZ
Connecting Abstract Description Systems (OK, FW, MZ), pp. 215–226.
KRKR-2002-Lutz #logic
Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
UMLUML-2002-Jackson #development
Descriptions in Software Development (MJ), p. 1.
SACSAC-2002-RinePG #re-engineering #theory and practice
ACM SAC2002 software engineering: theory and applications (SETA) track description (DCR, JFP, JPG), pp. 969–970.
SACSAC-2002-SmithH #analysis #design #reliability
Augmenting descriptive scenario analysis for improvements in human reliability design (SPS, MDH), pp. 739–743.
SACSAC-2002-StanS
Color patterns for pictorial content description (DS, IKS), pp. 693–698.
ICSEICSE-2002-DashofyHT #agile #architecture #development #framework #xml
An infrastructure for the rapid development of XML-based architecture description languages (EMD, AvdH, RNT), pp. 266–276.
ICSEICSE-2002-NittoLSTT #execution #process #uml
Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
CADECADE-2002-Horrocks #logic #reasoning #theory and practice
Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.
CADECADE-2002-JamnikKP
Learn Omega-matic: System Description (MJ, MK, MP), pp. 150–155.
CADECADE-2002-SchulzS
System Description: GrAnDe 1.0 (SS, GS), pp. 280–284.
CADECADE-2002-WhalenSF #automation #certification #named #synthesis
AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
CADECADE-2002-ZimmerK #distributed #reasoning
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning (JZ, MK), pp. 139–143.
LICSLICS-2002-CalvaneseGL #information management #logic #representation
Description Logics: Foundations for Class-based Knowledge Representation (DC, GDG, ML), pp. 359–370.
WICSAWICSA-2001-BernardoCD #algebra #architecture #detection #process
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems (MB, PC, LD), pp. 77–86.
WICSAWICSA-2001-DashofyHT #architecture #xml
A Highly-Extensible, XML-Based Architecture Description Language (EMD, AvdH, RNT), pp. 103–112.
WICSAWICSA-2001-Jonkers #architecture #interface
Interface-Centric Architecture Descriptions (HJ), pp. 113–124.
ASEASE-2001-GrundyCL #architecture #distributed #generative
Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions (JCG, YC, AL), pp. 193–200.
DATEDATE-2001-DasguptaCNKC #abstraction #component #linear
Abstraction of word-level linear arithmetic functions from bit-level component descriptions (PD, PPC, AN, SK, AC), pp. 4–8.
DATEDATE-2001-HoffmannNPBM #development #generative #quality #tool support #using
Generating production quality software development tools using a machine description language (AH, AN, SP, GB, HM), pp. 674–678.
DATEDATE-2001-PandayCM #architecture #named
AIL: description of a global electronic architecture at the vehicle scale (AP, DC, SM), p. 112.
DATEDATE-2001-TerechkoPE #architecture #clustering #named
PRMDL: a machine description language for clustered VLIW architectures (AT, EJDP, JTJvE), p. 821.
DocEngDocEng-2001-Muchaluat-SaadeS #architecture #authoring #convergence #hypermedia #towards
Towards the convergence between hypermedia authoring languages and architecture description languages (DCMS, LFGS), pp. 48–57.
ICDARICDAR-2001-Amin #induction #logic programming #recognition
Recognition of Hand-Printed Characters Based on Structural Description and Inductive Logic Programming (AA), pp. 333–337.
ICDARICDAR-2001-ValvenyM #learning #using
Learning of Structural Descriptions of Graphic Symbols Using Deformable Template Matching (EV, EM), pp. 455–459.
ICDARICDAR-2001-YangLL #approach
A Bezier Curve-Based Approach to Shape Description for Chinese Calligraphy Characters (HMY, JJL, HJL), pp. 276–280.
CAiSECAiSE-2001-BrinkkemperSH #development
A Method Engineering Language for the Description of Systems Development Methods (SB, MS, FH), pp. 473–476.
ICEISICEIS-v1-2001-AllouiO #architecture #component #distributed #process #using
Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language (IA, FO), pp. 207–215.
KDDKDD-2001-MannilaS #sequence
Finding simple intensity descriptions from event sequence data (HM, MS), pp. 341–346.
SEKESEKE-2001-SierraFFN
Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies (JLS, AFV, BFM, AN), pp. 379–386.
SACSAC-2001-MernikNAZ #implementation
Designa and implementation of simple object description language (MM, UN, EA, VZ), pp. 590–595.
ICSEICSE-2001-NordPSH #analysis #architecture #design #effectiveness #uml
Effective Software Architecture Design: From Global Analysis to UML Descriptions (RLN, DJP, DS, CH), pp. 741–742.
IJCARIJCAR-2001-ArmandoCR
System Description: RDL : Rewrite and Decision Procedure Laboratory (AA, LC, SR), pp. 663–669.
IJCARIJCAR-2001-CerroFGHLM #logic #proving
Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.
IJCARIJCAR-2001-HaarslevM
RACER System Description (VH, RM), pp. 701–706.
IJCARIJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
IJCARIJCAR-2001-HaarslevMW #approach #logic #motivation
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
IJCARIJCAR-2001-HodgsonS
System Description: SCOTT-5 (KH, JKS), pp. 443–447.
IJCARIJCAR-2001-Lutz #logic
NEXPTIME-Complete Description Logics with Concrete Domains (CL), pp. 45–60.
IJCARIJCAR-2001-LutzSWZ #constant #logic
Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
IJCARIJCAR-2001-RiazanovV
Vampire 1.1 (System Description) (AR, AV), pp. 376–380.
ASEASE-2000-ChaudetO #algebra #architecture #evolution #named #process
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.
ASEASE-2000-MarreA #generative #sequence #testing
Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
DATEDATE-2000-CornoRSMP #automation #experience #generative #industrial #validation
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience (FC, MSR, GS, AM, AP), pp. 385–389.
DATEDATE-2000-PeesHM #using
Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language (SP, AH, HM), pp. 669–673.
DATEDATE-2000-SchonherrS #algorithm #automation #equivalence
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level (JS, BS), p. 759.
CSMRCSMR-2000-SellinkV #assessment #development #re-engineering
Development, Assessment, and Reengineering of Language Descriptions (MPAS, CV), pp. 151–160.
IFMIFM-2000-Bowen #animation #hardware #logic programming #semantics #specification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
AdaEuropeAdaEurope-2000-HovaterMB #design #documentation #generative #interface #using
Generation of Interface Design Description Documents Using ASIS (SVH, WM, AB), pp. 138–148.
ICEISICEIS-2000-MartinLMRM #integration #modelling #network #standard
Integration of Expert System Rules into Standardized Object Description Models for Telecommunication Network Management (SM, CL, MM, MCR, AVM), pp. 171–175.
CIKMCIKM-2000-JohoS #scalability
Retrieving Descriptive Phrases from Large Amounts of Free Text (HJ, MS), pp. 180–186.
ICMLICML-2000-NomotoM #analysis #automation
Comparing the Minimum Description Length Principle and Boosting in the Automatic Analysis of Discourse (TN, YM), pp. 687–694.
ICPRICPR-v2-2000-TaxD
Data Description in Subspaces (DMJT, RPWD), pp. 2672–2675.
ICPRICPR-v3-2000-BenaventeSBVL #normalisation #segmentation
Normalized Color Segmentation for Human Appearance Description (RB, GS, RB, MV, JL), pp. 3637–3641.
ICPRICPR-v3-2000-DuricRR
Qualitative Description of Camera Motion from Histograms of Normal Flow (ZD, ER, AR), pp. 3198–3202.
ICPRICPR-v3-2000-ValdesME #analysis #behaviour #case study #image
Behavior Analysis of Fractal Features for Texture Description in Digital Images: An Experimental Study (JJV, LCM, SE), pp. 3917–3920.
ICPRICPR-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.
ICPRICPR-v4-2000-KoLB #feature model #image #performance #retrieval #using
Region-Based Image Retrieval System Using Efficient Feature Description (BK, HSL, HB), pp. 4283–4286.
KRKR-2000-BaaderK #concept #strict
Matching Concept Descriptions with Existential Restrictions (FB, RK), pp. 261–272.
KRKR-2000-Yelland #logic #network
An Alternative Combination of Bayesian Networks and Description Logics (PMY), pp. 225–234.
UMLUML-2000-BrennerD #uml
UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.
UMLUML-2000-GarlanK #architecture
Reconciling the Needs of Architectural Description with Object-Modeling Notations (DG, AK), pp. 498–512.
UMLUML-2000-KandeS #architecture #towards #uml
Towards a UML Profile for Software Architecture Descriptions (MMK, AS), pp. 513–527.
REICRE-2000-Saeki #aspect-oriented #case study #reuse
Patterns and Aspects for Use Cases: Reuse Techniques for Use Case Descriptions (MS), p. 62.
SACSAC-2000-LichtnerAC #architecture
An Extensible Model of Architecture Description (KL, PSCA, DDC), pp. 156–165.
ICSEICSE-2000-BertolinoCIM #architecture #testing
Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
ICSEICSE-2000-Liu #automation #independence #testing
Platform-independent and tool-neutral test descriptions for automated software testing (CL), pp. 713–715.
CADECADE-2000-AndrewsBB #proving #theorem proving #type system
System Description: TPS: A Theorem Proving System for Type Theory (PBA, MB, CEB), pp. 164–169.
CADECADE-2000-BrownS #semantics
System Description: PTTP+GLiDes: Semantically Guided PTTP (MB, GS), pp. 411–416.
CADECADE-2000-CollinsD #verification
System Description: Embedding Verification into Microsoft Excel (GC, LAD), pp. 497–501.
CADECADE-2000-FrankeK #knowledge base
System Description: MBASE, an Open Mathematical Knowledge Base (AF, MK), pp. 455–459.
CADECADE-2000-GiunchigliaT #development #framework
System Description: *SAT: A Platform for the Development of Modal Decision Procedures (EG, AT), pp. 291–296.
CADECADE-2000-HorrocksST #logic #reasoning
Reasoning with Individuals for the Description Logic SHIQ (IH, US, ST), pp. 482–496.
CADECADE-2000-JacksonL #interactive #proving
System Description: Interactive Proof Critics in XBarnacle (MJ, HL), pp. 502–506.
CADECADE-2000-McCuneS
System Description: IVY (WM, OS), pp. 401–405.
CADECADE-2000-Meier #proving
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level (AM), pp. 460–464.
CADECADE-2000-Patel-Schneider
System Description: DLP (PFPS), pp. 297–301.
CADECADE-2000-Sinz #algebra #automation #proving #theorem proving
System Description: ARA — An Automatic Theorem Prover for Relation Algebras (CS), pp. 177–182.
CADECADE-2000-Sutcliffe
System Description: SystemOn TPTP (GS), pp. 406–410.
ICLPCL-2000-KhizderTW #logic #reasoning
Reasoning about Duplicate Elimination with Description Logic (VLK, DT, GEW), pp. 1017–1032.
CSLCSL-2000-Atserias #bound #complexity #fixpoint
The Descriptive Complexity of the Fixed-Points of Bounded Formulas (AA), pp. 172–186.
CSLCSL-2000-Blumensath #bound #complexity
Bounded Arithmetic and Descriptive Complexity (AB), pp. 232–246.
RTARTA-2000-Arts #dependence
System Description: The Dependency Pair Method (TA), pp. 261–264.
DACDAC-1999-FallahAD #generative #simulation
Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage (FF, PA, SD), pp. 666–671.
DACDAC-1999-KuhnRK #hardware #java #simulation
Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.
DACDAC-1999-PeesHZM #architecture #modelling #named #programmable
LISA — Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures (SP, AH, VZ, HM), pp. 933–938.
DACDAC-1999-PegatoquetGAB #agile #development
Rapid Development of Optimized DSP Code from a High Level Description Through Software Estimations (AP, EG, MA, LB), pp. 823–826.
ICDARICDAR-1999-AntonacopoulosC #analysis #comparative #representation #using
Region Description and Comparative Analysis using a Tesseral Representation (AA, FC), pp. 193–196.
ITiCSEITiCSE-1999-McCrackenNC #concept #design
Misconceptions of designing: a descriptive study (MM, WN, JC), pp. 48–51.
FMFM-v2-1999-SchatzH
Integrating Formal Description Techniques (BS, FH), pp. 1206–1225.
IFMIFM-1999-Deiss #approach
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.
AGTIVEAGTIVE-1999-PetriuW #architecture #modelling #performance #uml
From UML Descriptions of High-Level Software Architectures to LQN Performance Models (DCP, XW), pp. 47–62.
HCIHCI-CCAD-1999-Davies #visualisation
Expertise in a complex domain: supporting creativity through knowledge visualisation and re-description (SPD), pp. 112–116.
AdaEuropeAdaEurope-1999-Emery #architecture #framework
Architectural Frameworks: Defining the Contents of Architectural Descriptions (DEE), pp. 64–75.
ICEISICEIS-1999-LeonardoS #approach #development #information management
An Interpretative Approach to Organisational Inquiry and Description for Information Systems Development in Innovation Centres (PL, ALS), pp. 469–476.
CIKMCIKM-1999-GovertLF #approach #categorisation #documentation #probability #web
A Probabilistic Description-Oriented Approach for Categorizing Web Documents (NG, ML, NF), pp. 475–482.
ICMLICML-1999-Kadous #learning #multi
Learning Comprehensible Descriptions of Multivariate Time Series (MWK), pp. 454–463.
ICMLICML-1999-PalhangS #induction #learning #logic programming
Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System (MP, AS), pp. 288–297.
UMLUML-1999-Hilliard #architecture #uml #using
Using the UML for Architectural Description (RH), pp. 32–48.
HPDCHPDC-1999-BruneRV #distributed
A Resource Description Environment for Distributed Computing Systems (MB, AR, JV), pp. 279–286.
CADECADE-1999-ArecesNR #logic
Prefixed Resolution: A Resolution Method for Modal and Description Logics (CA, HdN, MdR), pp. 187–201.
CADECADE-1999-AutexierHMS #logic
System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.
CADECADE-1999-BaazLM
System Description: CutRes 0.1: Cut Elimination by Resolution (MB, AL, GM), pp. 212–216.
CADECADE-1999-FrankeK #automation #communication #distributed #proving #theorem proving
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (AF, MK), pp. 217–221.
CADECADE-1999-GribomontS #using #validation #verification
System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
CADECADE-1999-HillenbrandJL #performance
System Description: Waldmeister — Improvements in Performance and Ease of Use (TH, AJ, BL), pp. 232–236.
CADECADE-1999-KonradW #first-order #generative #logic
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics (KK, DAW), pp. 282–286.
CADECADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus
System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
CADECADE-1999-PfenningS #deduction #framework #logic
System Description: Twelf — A Meta-Logical Framework for Deductive Systems (FP, CS), pp. 202–206.
CADECADE-1999-Weidenbach99a
System Description: Spass Version 1.0.0 (CW), pp. 378–382.
CADECADE-1999-WhittleBBL
System Description: CyNTHIA (JW, AB, RJB, HL), pp. 388–392.
CADECADE-1999-ZhangJ #modelling
System Description: MCS: Model-based Conjecture Searching (JZ0), pp. 393–397.
CSLCSL-1999-GradelK #complexity #constraints #database
Descriptive Complexity Theory for Constraint Databases (EG, SK), pp. 67–81.
CSLCSL-1999-Grohe #complexity
Descriptive and Parameterized Complexity (MG), pp. 14–31.
CSLCSL-1999-Tobies #logic #strict
A NExpTime-Complete Description Logic Strictly Contained in C2 (ST), pp. 292–306.
LICSLICS-1999-GradelR
Two-Variable Descriptions of Regularity (EG, ER), pp. 14–23.
ASEASE-1998-LeueMR #architecture #sequence chart #specification
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
ASEASE-1998-SellinkV #assessment #development #re-engineering
Development, Assessment, and Reengineering of Language Descriptions (MPAS, CV), pp. 314–317.
DACDAC-1998-LakshminarayanaJ #behaviour #control flow #framework #named #optimisation #throughput
FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions (GL, NKJ), pp. 102–107.
DACDAC-1998-LakshminarayanaJ98a #behaviour #power management #synthesis
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions (GL, NKJ), pp. 439–444.
DACDAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling
Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
DACDAC-1998-SeawrightM #clustering #optimisation
Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions (AS, WM), pp. 770–775.
DATEDATE-1998-FerrandiFMP #behaviour #estimation
Power Estimation of Behavioral Descriptions (FF, FF, EM, MP), pp. 762–766.
DATEDATE-1998-Kazmierski
A Formal Description of VHDL-AMS Analogue Systems (TJK), pp. 916–920.
DATEDATE-1998-LiG #algorithm #behaviour
An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.
HTHT-1998-BullockG #hypermedia #logic #named #semantics
TourisT: The Application of a Description Logic Based Semantic Hypermedia System for Tourism (JCB, CAG), pp. 132–141.
VLDBVLDB-1998-ChakrabartiSD #mining #using
Mining Surprising Patterns Using Temporal Description Length (SC, SS, BD), pp. 606–617.
WRLAWRLA-1998-Bruni #composition #concurrent #logic
A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.
ICPRICPR-1998-CinqueLLT #image #retrieval #using
Retrieval of images using rich region descriptions (LC, FL, SL, SLT), pp. 899–901.
ICPRICPR-1998-LebourgeoisJA #towards #video
Towards a description for video indexation (FL, JMJ, PCA), pp. 912–915.
ICPRICPR-1998-MatsuoKI #energy #multi #using
Multi-scale and hierarchical description using energy controlled active balloon model (HM, MK, AI), pp. 205–209.
ICPRICPR-1998-OjalaP #multi #parametricity
Nonparametric multichannel texture description with simple spatial operators (TO, MP), pp. 1052–1056.
ICPRICPR-1998-SchererAP #adaptation #constraints #integration #robust
Robust adaptive window matching by homogeneity constraint and integration of descriptions (SS, WA, AP), pp. 777–779.
ICPRICPR-1998-ValkealahtiO #multi
Reduced multidimensional histograms in color texture description (KV, EO), pp. 1057–1061.
ICPRICPR-1998-ZhaTH #3d #adaptation #multi
Multi-resolution surface description of 3D objects by shape-adaptive triangular meshes (HZ, ST, TH), pp. 954–958.
KRKR-1998-CalvaneseGLNR #framework #integration #logic
Description Logic Framework for Information Integration (DC, GDG, ML, DN, RR), pp. 2–13.
KRKR-1998-HaarslevLM #logic #reasoning
Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
KRKR-1998-Horrocks #logic #question #using
Using an Expressive Description Logic: FaCT or Fiction? (IH), pp. 636–649.
KRKR-1998-Lenzerini #logic
Description Logics and their Applications (ML), p. 652.
KRKR-1998-WolterZ #decidability #logic #on the
On the Decidability of Description Logics with Modal Operators (FW, MZ), pp. 512–523.
TOOLSTOOLS-PACIFIC-1998-RakotonirainyB #architecture
A Simple Architecture Description Model (AR, AB), pp. 278–286.
REFSQREFSQ-1998-Paech #case study
The Four Levels of Use Case Description (BP), pp. 207–218.
ICSEICSE-1998-RobbinsMR #architecture #design #standard
Integrating Architecture Description Languages with a Standard Design Method (JER, NM, DFR), pp. 209–218.
ISMMISMM-1998-KakkadJW #compilation #runtime
Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
LCTESLCTES-1998-RamseyD #embedded #tool support
Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
CADECADE-1998-ArtsDFG #distributed #erlang #source code #verification
System Description: Verification of Distributed Erlang Programs (TA, MD, LÅF, DG), pp. 38–41.
CADECADE-1998-BeckertG
System Description: leanK 2.0 (BB, RG), pp. 51–55.
CADECADE-1998-BenzmullerK98a #higher-order #proving #theorem proving
System Description: LEO — A Higher-Order Theorem Prover (CB, MK), pp. 139–144.
CADECADE-1998-Fuchs #generative #similarity
System Description: Similarity-Based Lemma Generation for Model Elimination (MF), pp. 33–37.
CADECADE-1998-FuchsW
System Description: Cooperation in Model Elimination: CPTHEO (MF, AW), pp. 42–46.
CADECADE-1998-GorePSV #proving #smarttech #theorem proving
System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.
CADECADE-1998-MazureSG #framework #satisfiability
System Description: CRIL Platform for SAT (BM, LS, ÉG), pp. 124–128.
CADECADE-1998-Peltier #constraints #equation
System Description: An Equational Constraints Solver (NP), pp. 119–123.
CADECADE-1998-RichardsonSG #higher-order #logic #proving #theorem proving
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam (JR, AS, IG), pp. 129–133.
CADECADE-1998-SlindGBB #interface
System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.
CSLCSL-1998-Schwentick #bound #complexity #linear
Descriptive Complexity, Lower Bounds and Linear Time (TS), pp. 9–28.
DACDAC-1997-HadjiyiannisHD #named #set
ISDL: An Instruction Set Description Language for Retargetability (GH, SH, SD), pp. 299–302.
DACDAC-1997-HartoogRRDDHK #generative #hardware #tool support
Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign (MRH, JAR, PDR, SD, DDD, EAH, NK), pp. 303–306.
DATEEDTC-1997-BensoPRRU #approach #fault #graph #low level
A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs (AB, PP, MR, MSR, RU), pp. 560–565.
DATEEDTC-1997-HofmannGSMMSKC #generative
Generation of the HDL-A-model of a micromembrane from its finite-element-description (KH, MG, NS, AM, SM, JS, JMK, BC), pp. 108–112.
DATEEDTC-1997-RomanowiczLLRABMP #hardware #modelling #simulation #transducer #using
Modeling and simulation of electromechanical transducers in microsystems using an analog hardware description language (BR, ML, PL, PR, HPA, AB, VM, FP), pp. 119–123.
ICDARICDAR-1997-CracknellDD #approach #object-oriented
An Object-Oriented form Description Language and Approach to Handwritten Form Processing (CC, ACD, LD), p. 180–?.
PODSPODS-1997-BeeriLR #logic #query #using
Rewriting Queries Using Views in Description Logics (CB, AYL, MCR), pp. 99–108.
CSMRCSMR-1997-JarzabekW #precise #reverse engineering #tool support #towards
Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.
ICSMEICSM-1997-TryggesethN #architecture #traceability
Dynamic Traceability Links Supported by a System Architecture Description (ET, ØN), pp. 180–187.
TOOLSTOOLS-ASIA-1997-WuCMY #component #named #object-oriented
JBCDL: An Object-Oriented Component Description Language (QW, JC, HM, FY), pp. 198–205.
ESECESEC-FSE-1997-MedvidovicT #architecture #framework
A Framework for Classifying and Comparing Architecture Description Languages (NM, RNT), pp. 60–76.
CADECADE-1997-Bonacina #proving #theorem proving
The Clause-Diffusion Theorem Prover Peers-mcd (System Description) (MPB), pp. 53–56.
CADECADE-1997-OzolsCE #named
XIsabelle: A System Description (MAO, AC, KAE), pp. 400–403.
ICLPICLP-1997-BelleghemDS #logic #logic programming
A Strong Correspondence between Description Logics and Open Logic Programming (KVB, MD, DDS), pp. 346–360.
DACDAC-1996-SuttonD #design #process
A Description Language for Design Process Management (PRS, SWD), pp. 175–180.
VLDBVLDB-1996-LevyRO #query #using
Querying Heterogeneous Information Sources Using Source Descriptions (AYL, AR, JJO), pp. 251–262.
PLDIPLDI-1996-EichenbergerD #constraints #multi #pipes and filters #scheduling
A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints (AEE, ESD), pp. 12–22.
ICMLICML-1996-Suzuki #algorithm #learning #network #performance #using
Learning Bayesian Belief Networks Based on the Minimum Description Length Principle: An Efficient Algorithm Using the B & B Technique (JS), pp. 462–470.
ICPRICPR-1996-ChinveeraphanTS #image
A hierarchical description of digital grayscale images based on image dipoles (SC, RT, MS), pp. 246–250.
ICPRICPR-1996-HuY #composition
Structural decomposition and description of printed and handwritten characters (JH, HY), pp. 230–234.
ICPRICPR-1996-Lemaire #nondeterminism #recognition
Use of a priori descriptions in a high-level language and management of the uncertainty in a scene recognition system (JL), pp. 560–564.
ICPRICPR-1996-StefanoFTV #distance #using
A distance measure for structural descriptions using circular arcs as primitives (CDS, PF, FT, MV), pp. 290–294.
KRKR-1996-BaaderS #logic #strict
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.
KRKR-1996-Calvanese #finite #logic #reasoning
Finite Model Reasoning in Description Logics (DC), pp. 292–303.
KRKR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
SEKESEKE-1996-Robertson96a #problem
Domain Specific Problem Description (DR), pp. 206–213.
OOPSLAOOPSLA-1996-Moller #functional #information management #logic #object-oriented #representation
A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing (RM), pp. 198–213.
CADECADE-1996-FarmerGF #named
IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
CADECADE-1996-SchaubBN #named #prolog #proving #reasoning #theorem proving
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description (TS, SB, PN), pp. 293–297.
CADECADE-1996-ZhangZ #generative #modelling
System Description: Generating Models by SEM (JZ, HZ), pp. 308–312.
LICSLICS-1996-HirstH #complexity #recursion
More About Recursive Structures: Descriptive Complexity and Zero-One Laws (TH, DH), pp. 334–347.
ICDARICDAR-v1-1995-LefevreR #documentation #layout #named
ODIL: an SGML description language of the layout structure of documents (PL, FR), pp. 480–488.
ICDARICDAR-v1-1995-SimonPJ #automation #documentation #generative #image
(Chem)DeT/sub E/X automatic generation of a markup language description of (chemical) documents from bitmap images (AS, JCP, APJ), pp. 458–461.
ICDARICDAR-v2-1995-AzoklyI #documentation #layout #segmentation
A language for document generic layout description and its use for segmentation into regions (AA, RI), pp. 1123–1126.
ICDARICDAR-v2-1995-LeedhamM #evaluation #interactive
Evaluation of an Interactive Tool for Handwritten Form Description (GL, DM), p. 706.
ICDARICDAR-v2-1995-LiuDW #automation #recognition
Description and recognition of form and automated form data entry (JL, XD, YW), pp. 579–582.
ICDARICDAR-v2-1995-WorringBS #evaluation #interactive
Evaluation of an interactive tool for handwritten form description (MW, RvdB, AWMS), p. 1185–?.
SIGMODSIGMOD-1995-ThomasDM #design #implementation
Design and Implementation of Advanced Knowledge Processing in the KDMS KRISYS (Demonstration Description) (JT, SD, NMM), p. 479.
STOCSTOC-1995-GradelM #complexity
Descriptive complexity theory over the real numbers (EG, KM), pp. 315–324.
ICMLICML-1995-DattaK #concept #learning #prototype
Learning Prototypical Concept Descriptions (PD, DFK), pp. 158–166.
ICMLICML-1995-OliveiraS #graph #order
Inferring Reduced Ordered Decision Graphs of Minimum Description Length (ALO, ALSV), pp. 421–429.
SEKESEKE-1995-BernardeschiFP #architecture #correctness #interactive #specification #user interface
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications (CB, AF, FP), pp. 234–243.
SEKESEKE-1995-FarCK #design #reuse #specification #using
Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts’ Knowledge in Software Design (BHF, HC, ZK), pp. 189–196.
PPDPPLILP-1995-SaglamG #approximate #constraints #logic programming #polymorphism #source code #using
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions (HS, JPG), pp. 461–462.
ICSEICSE-1995-TanakaSKMK #estimation #process
Improvement of Software Process by Process Description and Benefit Estimation (TT, KS, SK, KiM, TK), pp. 123–132.
ICLPILPS-1995-LevyR #bibliography #logic
Combining Rules and Description Logics: An Overview of CARIN (AYL, MCR), p. 635.
DACDAC-1994-ParulkarBN #representation
Extraction of a High-level structural Representation from Circuit Descriptions with Applications to DFT/BIST (IP, MAB, CN), pp. 345–356.
DATEEDAC-1994-BalboniCFS #architecture #array #behaviour
From Behavioral Description to Systolic Array Based Architectures (AB, CC, FF, DS), p. 657.
DATEEDAC-1994-ZepterG #data flow #generative
Generating Synchronous Timed Descriptions of Digital Receivers from Dynamic Data Flow System Level Configurations (PZ, TG), p. 672.
ASEKBSE-1994-Balmas #concept #pattern matching #source code
An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs (FB), pp. 150–157.
CIKMCIKM-1994-Borgida #logic #on the
On The Relationship Between Description Logic and Predicate Logic (AB), pp. 219–225.
ICMLICML-1994-Quinlan #category theory
The Minimum Description Length Principle and Categorical Theories (JRQ), pp. 233–241.
KRKR-1994-ArtaleF #logic
A Computational Account for a Description Logic of Time and Action (AA, EF), pp. 3–14.
KRKR-1994-CohenH #learning #logic
Learning the Classic Description Logic: Theoretical and Experimental Results (WWC, HH), pp. 121–133.
KRKR-1994-Teege #difference #logic
Making the Difference: A Subtraction Operation for Description Logics (GT), pp. 540–550.
ECOOPECOOP-1994-MoreiraC #analysis #object-oriented
Combining Object-Oriented Analysis and Formal Description Techniques (AMDM, RGC), pp. 344–364.
ICSEICSE-1994-DevanbuJ #case study #experience #logic
The Use of Description Logics in KBSE Systems: Experience Report (PTD, MAJ), pp. 23–35.
ICSEICSE-1994-YasumotoHT #process #using
Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.
CADECADE-1994-RoyerQ #on the #query
On Intuitionistic Query Answering in Description Bases (VR, JQ), pp. 326–340.
CADECADE-1994-Slaney94a #finite #named
FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
CADECADE-1994-SlaneyLM #named #semantics
SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.
ICDARICDAR-1993-MongerLD #documentation #image #interactive
An interactive document image description for OCR of handwritten forms (DM, GL, ACD), pp. 524–527.
SIGMODSIGMOD-1993-BorgidaB
Loading Data into Description Reasoners (AB, RJB), pp. 217–226.
HCIHCI-SHI-1993-Karsenty #case study
Task-Dependent Descriptions: A Preliminary Study (LK), pp. 897–902.
HCIHCI-SHI-1993-MittalP #generative #natural language
Intelligent Help Facilities: Generating Natural Language Descriptions with Examples (VOM, CP), pp. 379–384.
CIKMCIKM-1993-Devanbu #logic #query
Translating Description Logics to Information Server Queries (PTD), pp. 256–263.
CIKMCIKM-1993-Mineau #documentation #multi
Facilitating the Creation of a Multiple Index on Graph-Described Documents by Transforming Their Descriptions (GWM), pp. 132–138.
RERE-1993-JacksonZ
Domain descriptions (MJ, PZ), pp. 56–64.
RERE-1993-SouquieresL #specification
Description of specification developments (JS, NL), pp. 216–223.
FSEFSE-1993-AbowdAG #architecture #using
Using Style to Understand Descriptions of Software Architecture (GDA, RA, DG), pp. 9–20.
HTHT-ECHT-1992-OgawaTTH #design #hypermedia
Design Strategies for Scenario-Based Hypermedia: Description of its Structure, Dynamics, and Style (RO, ET, DT, KH), pp. 71–80.
AdaTRI-Ada-C-1992-GieringB #ada #thread #using
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
CAiSECAiSE-1992-CasanovaHF #concept #declarative #modelling
A Declarative Conceptual Modelling Language: Description and Example Applications (MAC, ASH, ALF), pp. 589–611.
KRKR-1992-Borgida #development #logic #towards
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.
KRKR-1992-CadoliS #approximate #concept
Approximation in Concept Description Languages (MC, MS), pp. 330–341.
KRKR-1992-Maida #communication #information management #representation #requirements
Knowledge Representation Requirements for Description-Based Communication (ASM), pp. 232–243.
CADECADE-1992-CraigenKMPS
Eves System Description (DC, SK, IM, BP, MS), pp. 771–775.
CADECADE-1992-FarmerGT92a #named
IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
DACDAC-1991-PitchumaniMR #fault #simulation
A System for Fault Diagnosis and Simulation of VHDL Descriptions (VP, PM, NR), pp. 144–150.
FMVDME-1991-1-Jackson
Description is our Business (MJ), pp. 1–8.
CHICHI-1991-Tatsukawa #approach #interactive #tool support #visual notation
Graphical toolkit approach to user interaction description (KT), pp. 323–328.
KDDKDD-1991-KaufmanMK #database #mining
Mining for Knowledge in Databases: Goals and General Description of the INLEN System (KAK, RSM, LK), pp. 449–464.
SIGIRSIGIR-1991-FuhrP #probability
Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing (NF, UP), pp. 46–56.
ESECESEC-1991-CollinsEGGT #composition #named #object-oriented #re-engineering
Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments (TC, KE, CG, JG, IT), pp. 409–423.
DACDAC-1990-ScheichenzuberGLM #behaviour #data flow #hardware #synthesis
Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
VLDBVLDB-1990-CatarciDL #concept #modelling #statistics
Concept Description Language for Statistical Data Modeling (TC, GD, ML), pp. 722–729.
FMVDME-1990-FitzgeraldJ #database
Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.
CHICHI-1990-Olsen
Propositional production systems for dialog description (DROJ), pp. 57–64.
SEKESEKE-1990-RizmanR #agile #data flow #knowledge-based #prototype #specification #using
Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System (KR, IR), pp. 58–63.
SEKESEKE-1990-SheuVH #execution #process
Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.
ICSEICSE-1990-BernsteinF #automation #case study #declarative #experience #maintenance #programming
Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report) (DBB, RF), pp. 310–315.
WAGAWAGA-1990-JourdanBP #attribute grammar #design #evaluation #implementation
The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation (MJ, CLB, DP), pp. 222–237.
CAVCAV-1990-Eveking #automation #hardware #verification
Automatic Verification of Extensions of Hardware Descriptions (HE), pp. 2–12.
DACDAC-1989-BlaauwSMAR #automation #behaviour #generative #modelling
Automatic Generation of Behavioral Models from Switch-Level Descriptions (DB, DGS, RBMT, JAA, JTR), pp. 179–184.
DACDAC-1989-Cyre #synthesis #towards
Toward Synthesis from English Descriptions (WRC), pp. 742–745.
DACDAC-1989-FrydmanGGB #named
DeBuMA: Description, Building and Management of Applications (CSF, NG, MG, PB), pp. 203–208.
DACDAC-1989-HayatiP #automation #behaviour #specification
Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions (SH, AP), pp. 75–80.
DACDAC-1989-HoevenLDD #network #simulation
A New Model for the High Level Description and Simulation of VLSI Networks (AJvdH, AAdL, EFD, PD), pp. 738–741.
DACDAC-1989-KumarKKG #automation #behaviour #synthesis
Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions (AK, SK, PK, SG), pp. 147–154.
DACDAC-1989-Norrod #algorithm #automation #generative #hardware #testing
An Automatic Test Generation Algorithm for Hardware Description Languages (FEN), pp. 429–434.
DACDAC-1989-NowakM #code generation #hardware #verification
Verification of Hardware Descriptions by Retargetable Code Generation (LN, PM), pp. 441–447.
DACDAC-1989-RoyA #approach #novel #using #verification
A Novel Approach to Accurate Timing Verification Using RTL Descriptions (KR, JAA), pp. 638–641.
KRKR-1989-Rosenschein #automaton
Synthesizing Information-Tracking Automata from Environment Descriptions (SJR), pp. 386–393.
ICMLML-1989-Aha #concept #incremental #independence #learning
Incremental, Instance-Based Learning of Independent and Graded Concept Descriptions (DWA), pp. 387–391.
ICMLML-1989-Keller #compilation #learning #performance
Compiling Learning Vocabulary from a Performance System Description (RMK), pp. 482–495.
ICMLML-1989-Kokar #concept #embedded
Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.
ICMLML-1989-ZhangM #learning
A Description of Preference Criterion in Constructive Learning: A Discussion of Basis Issues (JZ, RSM), pp. 17–19.
SIGIRSIGIR-1989-Parkes #automation #image #network
Settings and the Setting Structure: The Description and Automated Propagation of Networks for Perusing Videodisk Image States (APP), pp. 229–238.
ICSEICSE-1989-InoueOKT #adaptation #process
A Formal Adaptation Method for Process Descriptions (KI, TO, TK, KT), pp. 145–153.
ICSEICSE-1989-Katayama #functional #process
A Hierarchical and Functional Software Process Description and Its Enaction (TK), pp. 343–352.
CSLCSL-1989-Gradel #complexity #concept #logic #on the
On Logical Descriptions of Some Concepts in Structural Complexity Theory (EG), pp. 163–175.
FMVDME-1988-BorzyszkowskiS #architecture #comprehension #documentation #standard
Understanding an informal Description: Office Documents Architecture, an ISO Standard (AMB, SS), pp. 48–63.
SIGIRSIGIR-1988-BonziL #documentation #information retrieval
The Use of Anaphoric Resolution for Document Description in Information Retrieval (SB, EDL), pp. 53–66.
ICSEICSE-1988-Hallman
An Operational Requirement Description Model for Open Systems (MH), pp. 286–295.
CSLCSL-1988-SchonfeldS #integration
Integration of Descriptive and Procedural Language Constructs (WS, WS), pp. 344–356.
DACDAC-1987-LeeLP #editing #named #visual notation
TED: A Graphical Technology Description Editor (WL, GL, KP), pp. 423–428.
DACDAC-1987-WuHHYY #behaviour
Function Search from Behavioral Description of a Digital System (JGW, WPCH, YHH, DYYY, HJY), pp. 574–579.
FMVDME-1987-MinkowitzH #object-oriented #programming #using
A Formal Description of Object-Oriented Programming Using VDM (CM, PBH), pp. 237–259.
FMVDME-1987-Pedersen
VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.
SIGIRSIGIR-1987-Humphrey #interactive #knowledge-based
Illustrated Description of an Interactive Knowledge-Based Indexing System (SMH), pp. 73–90.
ASPLOSASPLOS-1987-WallP #experience #using
The Mahler Experience: Using and Intermediate Language as the Machine Description (DWW, MLP), pp. 100–104.
DACDAC-1986-BruckKKR #algorithm #composition #concurrent #synthesis
Synthesis of concurrent modular controllers from algorithmic descriptions (RB, BK, TK, FJR), pp. 285–292.
DACDAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
DACDAC-1986-WatanabeMNH #generative #knowledge-based #logic
Knowledge-based optimal IIL generator from conventional logic circuit descriptions (TW, TM, TN, NH), pp. 608–614.
LISPLFP-1986-WandF
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.
ICLPICLP-1986-ChengzhengY86 #execution #logic programming #source code
The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.
DACDAC-1985-MeshkinpourE #design #functional
A functional language for description and design of digital systems: sequential constructs (FM, MDE), pp. 238–244.
DACDAC-1985-OdawaraTO #data flow #diagrams
Diagrammatic function description of microprocessor and data-flow processor (GO, MT, IO), pp. 731–734.
SIGIRSIGIR-1985-Gordon #algorithm #documentation #learning
A Learning Algorithm Applied to Document Description (MG), pp. 179–186.
ICSEICSE-1985-BuhrWKLL #design #multi #prolog #tool support
Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems (RJAB, CMW, GMK, KVDL, DGL), pp. 62–67.
DACDAC-1984-Dewey #hardware
The VHSIC hardware description language (VHDL) program (AD), pp. 556–557.
DACDAC-1984-Lieberherr #hardware #standard #towards
Towards a standard hardware description language (KJL), pp. 265–272.
DACDAC-1984-Milne #hardware #verification
A model for hardware description and verification (GJM), pp. 251–257.
DACDAC-1984-OdawaraST #functional
A symbolic functional description language (GO, JS, MT), pp. 73–80.
DACDAC-1984-SlutzOW
Block description language (BDL): A structural description language (ES, GO, JW), pp. 81–85.
DACDAC-1984-VeigaL #hardware #multi #named
HARPA: A hierarchical multi-level hardware description language (PV, ML), pp. 59–65.
PLDISCC-1984-Kessler #architecture #named
Peep: an architectural description driven peephole optimizer (RRK), pp. 106–110.
DACDAC-1983-Dewey #development #hardware
VHSIC hardware description (VHDL) development program (AD), pp. 625–628.
DACDAC-1983-LieberherrK #hardware #named
Zeus: A hardware description language for VLSI (KJL, SEK), pp. 17–23.
DACDAC-1983-McFarland #behaviour #clustering #hardware
Computer-aided partitioning of behavioral hardware descriptions (MCM), pp. 472–478.
DACDAC-1983-RobinsonD #hardware
Programmimg languages for hardware description (PR, JD), pp. 12–16.
ICALPICALP-1983-Ganzinger #compilation #composition #data type #semantics
Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract) (HG), pp. 237–249.
DACDAC-1982-Chu #design
Computer system design description (YC), pp. 842–850.
DACDAC-1982-ShivaC #composition #simulation #synthesis #using
Modular description/simulation/synthesis using DDL (SGS, JAC), pp. 321–329.
DACDAC-1982-TraceyK #hardware
A hardware description language for processor based digital systems (JHT, KSK), pp. 330–337.
POPLPOPL-1982-GanapathiF #attribute grammar #code generation #using
Description-Driven Code Generation using Attribute Grammars (MG, CNF), pp. 108–119.
ICSEICSE-1982-AgusaOO #requirements #verification
Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.
ICSEICSE-1982-ChibaKK #communication #protocol
A Model for Description of Communication Protocol (KC, KK, AK), pp. 424–428.
ICSEICSE-1982-MuraiSDMF #specification
Requirement Specification Description System in Japanese Language — JISDOS (JM, NS, ND, MM, TF), pp. 127–136.
DACDAC-1981-BellonSG #hardware
Hardware description levels and test for complex circuits (CB, GS, JMG), pp. 213–219.
DACDAC-1981-KangC #automation #synthesis
Automatic PLA synthesis from a DDL-P description (SK, WMvC), pp. 391–397.
DACDAC-1981-LacroixP #data type
Data structures for CAD object description (ML, AP), pp. 653–659.
DACDAC-1980-Shiva #logic #synthesis
Combinational logic synthesis from an HDL description (SGS), pp. 550–555.
CADECADE-1980-Goad #proving
Proofs as Description of Computation (CG), pp. 39–52.
DACDAC-1979-Cleemput #hardware
Computer hardware description languages and their applications (WMvC), pp. 554–560.
DACDAC-1979-Hoskins #database #design
Descriptive databases in some design/manufacturing environments (EMH), pp. 421–436.
DACDAC-1979-Marwedel #design
The MIMOLA design system: Detailed description of the software system (PM), pp. 59–63.
DACDAC-1979-RoseRS
The N. mPc system description facility (CWR, LAR, RS), pp. 520–528.
VLDBVLDB-1979-Sandewall
A Description Language and Pilot-System Executive for Information-Transport Systems (ES), pp. 101–110.
ICSEICSE-1979-BanatreB #process
Language Features for Description of Cooperating Processes (JPB, MB), pp. 308–314.
VLDBVLDB-1978-Kleefstra #database
Data Base Description with a Single Name Category Data Model (WJK), pp. 177–185.
DACDAC-1977-Cleemput
An hierarchical language for the structural description of digital systems (WMvC), pp. 377–385.
DACDAC-1977-PedroG #algorithm #automation #design #named #set
DOCIL: An automatic system for printed circuit board (PCB) designing. A board description language and an algorithm to connect a set of points (TdP, RG), pp. 174–181.
VLDBVLDB-1977-HotakaT #database #relational #self
Self-Descriptive Relational Data Base (RH, MT), pp. 415–426.
DACDAC-1976-Pierce #re-engineering
The literature of software engineering: Description and guide (ARP), pp. 451–461.
DACDAC-1975-RoseA #design #hardware #modelling
Modeling and design description of hierarchical hardware/software systems (CWR, MA), pp. 421–430.
SIGMODSIGMOD-1975-BandurskiJ #design
Data Description for Computer-Aided Design (AEB, DKJ), pp. 193–202.
SIGMODSIGMOD-1975-SchneiderS
Quantitative Data Description (LSS, CRS), pp. 167–185.
POPLPOPL-1975-LauerC #petri net
A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.
SIGMODSIGFIDET-1974-MertenF #approach
A Data Description Language Approach to File Translation (AGM, JPF), pp. 191–205.
SIGMODSIGFIDET-1974-RamirezRP #automation #generative #source code #using
Automatic Generation of Data Conversion Programs Using A Data Description Language (JAR, NAR, NSP), pp. 207–225.
SIGIRSIGIR-1973-Smith #perspective
From a Data Description Point of View (DCPS), pp. 118–130.
SIGMODSIGFIDET-1972-McGee #roadmap
Some Current Issues in Data Description (WCM), pp. 1–12.
STOCSTOC-1972-MeyerB
Program Size and Economy of Descriptions: Preliminary Report (ARM, AB), pp. 183–186.
SIGMODSIGFIDET-1970-EllisN
A Data Description Language for Hierarchical Data Files (MEE, KHN), pp. 87–106.
SIGMODSIGFIDET-1970-Hatfield #summary
Data Description of Text Structures/Text Processing (pre-discussion summary) (DJH), p. 285.
DACDAC-1969-Srinivasan #design
A discussion of CDLI, a computer description language and associated design aid systems (CVS), p. 383.
DACDAC-1968-Darringer
A language for the description of digital computer processors (JAD).
DACSHARE-1965-Falkoff #automation #design #process
Formal description of processes — the first step in design automation (ADF).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.