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:
regular (137)
use (91)
logic (77)
languag (75)
facial (70)

Stem express$ (all stems)

867 papers:

DRRDRR-2015-StalnakerZ #retrieval #using
Math expression retrieval using an inverted index over symbol pairs (DS, RZ), p. 940207.
PODSPODS-2015-GottlobPS #dependence
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
PODSPODS-2015-MartensNNS #named #xml
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (WM, FN, MN, TS), pp. 145–156.
VLDBVLDB-2015-El-HelwRSCGP #database #optimisation
Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.
FoSSaCSFoSSaCS-2015-ChadhaSVB #automaton #decidability #probability
Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.
PLDIPLDI-2015-PanchekhaSWT #automation #float
Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
SASSAS-2015-AldousM #low level #static analysis
Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
CIAACIAA-2015-BerglundM #on the #parsing #regular expression #semantics
On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.
CIAACIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression
From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.
CIAACIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression
BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.
CIAACIAA-2015-Hulden #automaton #finite #regular expression
From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
CIAACIAA-2015-KutribW #capacity
Expressive Capacity of Concatenation Freeness (MK, MW), pp. 199–210.
CIAACIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression
Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
LATALATA-2015-SulzmannT
Derivatives for Regular Shuffle Expressions (MS, PT), pp. 275–286.
LATALATA-2015-ThiemannS #automaton #regular expression
From ω-Regular Expressions to Büchi Automata via Partial Derivatives (PT, MS), pp. 287–298.
ICFPICFP-2015-RendelTO #automation #pattern matching #problem
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
ICFPICFP-2015-SteuwerFLD #functional #generative #performance #using
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
ICFPICFP-2015-SwordsST #communication #contract #monitoring
Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
CHICHI-2015-BaiBC #artificial reality #game studies #social
Exploring Expressive Augmented Reality: The FingAR Puppet System for Social Pretend Play (ZB, AFB, GC), pp. 1035–1044.
CHICHI-2015-HydeCKH #interactive #persuasion #using
Using an Interactive Avatar’s Facial Expressiveness to Increase Persuasiveness and Socialness (JH, EJC, SBK, JKH), pp. 1719–1728.
CHICHI-2015-WithanaPSN #gesture #named #recognition #smarttech
zSense: Enabling Shallow Depth Gesture Recognition for Greater Input Expressivity on Smart Wearables (AIW, RLP, NS, SN), pp. 3661–3670.
CHICHI-2015-ZgraggenDFD #query #regular expression #sequence #visual notation
(s|qu)eries: Visual Regular Expressions for Querying and Exploring Event Sequences (EZ, SMD, DF, RD), pp. 2683–2692.
HCIDUXU-DD-2015-Zhang #design #research #semantics
Research on the Correspondence Between Designer End Expressions of Product Semantics with the Cognition of User End (LZ), pp. 379–391.
HCIDUXU-IXD-2015-IwamotoKM #analysis #case study #using
A Study of Conversation Support System Between the Elderly Person and Young Adults by Using Facial Expression Analysis (MI, NK, KM), pp. 616–627.
HCIHCI-DE-2015-JensenRB #collaboration #design #interactive
An Interaction Design Method to Support the Expression of User Intentions in Collaborative Systems (CJJ, JCdR, RB), pp. 214–226.
HCIHCI-DE-2015-WatabeM #regular expression #user interface #visual notation
Graphical User Interface for Search of Mathematical Expressions with Regular Expressions (TW, YM), pp. 438–447.
HCIHIMI-IKD-2015-YoshinoO #using
Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.
KDDKDD-2015-GaoYCH #integration #learning #multi #visual notation
Anatomical Annotations for Drosophila Gene Expression Patterns via Multi-Dimensional Visual Descriptors Integration: Multi-Dimensional Feature Learning (HG, LY, WC, HH), pp. 339–348.
ECOOPECOOP-2015-ShinnarSH #calculus #compilation
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
OOPSLAOOPSLA-2015-GveroK #java #query
Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.
PPDPPPDP-2015-RondogiannisT #logic programming #using
Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.
SACSAC-2015-AbbesPHB #documentation
Leveraging temporal expressions to filter vital documents related to an entity (RA, KPS, NH, MB), pp. 1093–1098.
SACSAC-2015-ChoobdarRS #network
Discovering weighted motifs in gene co-expression networks (SC, PMPR, FMAS), pp. 10–17.
SACSAC-2015-JakobssonKS #c #hybrid #memory management #monitoring #performance
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
ESEC-FSEESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer
Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.
SLESLE-2015-LaurentM #parsing expression grammar
Parsing expression grammars made practical (NL, KM), pp. 167–172.
CADECADE-2015-HeuleHW #proving #symmetry
Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.
CAVCAV-2015-FisherKPW #execution #network
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.
CAVCAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
CAVCAV-2015-AkazakiH #hybrid #robust
Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
ICLPICLP-2015-Zaniolo #algorithm #logic programming #source code
Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
LICSLICS-2015-FigueiraL #graph #logic #performance #query
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.
CASECASE-2014-HabibDBHP #android #learning
Learning human-like facial expressions for Android Phillip K. Dick (AH, SKD, ICB, DH, DOP), pp. 1159–1165.
DATEDATE-2014-ZhuCYP
Application mapping for express channel-based networks-on-chip (DZ, LC, SY, MP), pp. 1–6.
PODSPODS-2014-ArenasGP #query #semantics #web
Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
PODSPODS-2014-GottlobRS
Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
TFPIETFPIE-2014-OlmerHJ #haskell
Evaluating Haskell expressions in a tutoring environment (TO, BH, JJ), pp. 50–66.
FASEFASE-2014-SvenningssonSSANH #semantics
An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.
PLDIPLDI-2014-SampsonPMMGC #probability #verification
Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
FLOPSFLOPS-2014-SulzmannL #parsing #regular expression
POSIX Regular Expression Parsing with Derivatives (MS, KZML), pp. 203–220.
DLTDLT-J-2013-TanV14 #graph #query #regular expression
Regular Expressions for Querying Data graphs (TT, DV), pp. 971–986.
AFLAFL-2014-BerglundDM #backtracking #behaviour #regular expression
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.
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.
CIAACIAA-2014-DemailleDLSS #automaton #type system
A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.
LATALATA-2014-Martos-SalgadoR #network #petri net
Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
LATALATA-2014-Weidner #probability #regular expression
Probabilistic ω-Regular Expressions (TW), pp. 588–600.
CHICHI-2014-BenjaminCREVR #composition #named
Juxtapoze: supporting serendipity and creative expression in clipart compositions (WB, SKC, DR, NE, SVNV, KR), pp. 341–350.
CHICHI-2014-DiSalvoLLJK #design #how #human-computer #matter
Making public things: how HCI design can express matters of concern (CFD, JL, TL, TJ, TK), pp. 2397–2406.
CHICHI-2014-PedersenH
Expressive touch: studying tapping force on tabletops (EWP, KH), pp. 421–430.
CHICHI-2014-SheininG #difference #game studies #in the small #physics
Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
CHICHI-2014-XiaoLH #smarttech
Expanding the input expressivity of smartwatches with mechanical pan, twist, tilt and click (RX, GL, CH), pp. 193–196.
HCIDUXU-TMT-2014-MedeirosCCR #challenge #design #interface
Challenges in Designing New Interfaces for Musical Expression (RM, FC, GC, GR), pp. 643–652.
HCIHCI-AIMT-2014-AdnanNSZH #evaluation #metric
Evaluation of Graceful Movement in Virtual Fitting through Expressed Emotional Response and Emotion Expressed via Physiology Measures (WAWA, NLMN, FMS, SNZ, WNWH), pp. 788–797.
HCIHCI-AIMT-2014-MiedaODTKK #multi
Expressing Observation Direction through Face and Body Rotation in a Multi-user Conversation Setting (SM, SO, MD, HT, YK, AK), pp. 273–280.
HCIHIMI-AS-2014-ItouMM #chat #communication #development
Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.
HCIHIMI-AS-2014-MikamiT #learning #music #performance
A Music Search System for Expressive Music Performance Learning (TM, KT), pp. 80–89.
HCIHIMI-AS-2014-MiwaNHIN
Co-creative Bodily Expression through Remote Shadow Media System (YM, AN, NH, SI, HN), pp. 445–454.
HCIHIMI-DE-2014-OzawaMDTK #evaluation #multi #named
MulDiRoH: An Evaluation of Facial Direction Expression in Teleconferencing on a Multi-view Display System (SO, SM, MD, HT, AK), pp. 525–535.
HCISCSM-2014-MendesFFC #analysis #classification #how #social #using
How Do Users Express Their Emotions Regarding the Social System in Use? A Classification of Their Postings by Using the Emotional Analysis of Norman (MSM, EF, VF, MFdC), pp. 229–241.
VISSOFTVISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
CIKMCIKM-2014-ZengBLLL #identification #keyword #named #query #relational
ExpressQ: Identifying Keyword Context and Search Target in Relational Keyword Queries (ZZ, ZB, TNL, MLL, TWL), pp. 31–40.
ICPRICPR-2014-BenliE #recognition
Extraction and Selection of Muscle Based Features for Facial Expression Recognition (KSB, MTE), pp. 1651–1656.
ICPRICPR-2014-BrizziGSS #video
Optical Flow Based Expression Suppression in Video (JB, DBG, SS, MS), pp. 1817–1821.
ICPRICPR-2014-GaoEE #3d #recognition #robust
A Low Dimensionality Expression Robust Rejector for 3D Face Recognition (JG, ME, ANE), pp. 506–511.
ICPRICPR-2014-HuangZPZ #canonical #correlation #recognition #robust #using
Robust Facial Expression Recognition Using Revised Canonical Correlation (XH, GZ, MP, WZ), pp. 1734–1739.
ICPRICPR-2014-HuPYYM #multi #recognition #robust
Robust Multi-pose Facial Expression Recognition (QH, XP, PY, FY, DNM), pp. 1782–1787.
ICPRICPR-2014-LiYLYWH #classification #multi #predict
Multi-view Based AdaBoost Classifier Ensemble for Class Prediction from Gene Expression Profiles (LL, ZY, JL, JY, HSW, GH), pp. 178–183.
ICPRICPR-2014-MavadatiM #automation #metric #modelling
Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPRICPR-2014-MoeiniMF14a #2d #3d #image #invariant #re-engineering #recognition #synthesis
Pose-Invariant Facial Expression Recognition Based on 3D Face Reconstruction and Synthesis from a Single 2D Image (AM, HM, KF), pp. 1746–1751.
ICPRICPR-2014-MoeiniMF14b #2d #3d #image #invariant #re-engineering #recognition #using
Expression-Invariant Face Recognition via 3D Face Reconstruction Using Gabor Filter Bank from a 2D Single Image (AM, HM, KF), pp. 4708–4713.
ICPRICPR-2014-PerinaKB #array #classification #kernel #using
Expression Microarray Data Classification Using Counting Grids and Fisher Kernel (AP, MK, MB), pp. 1770–1775.
ICPRICPR-2014-SuL #detection
High-Stakes Deception Detection Based on Facial Expressions (LS, MDL), pp. 2519–2524.
ICPRICPR-2014-WangWJ14a #markov #modelling #recognition #using
Early Facial Expression Recognition Using Hidden Markov Models (JW, SW, QJ), pp. 4594–4599.
ICPRICPR-2014-WangYLZF #independence #recognition #using
Micro-expression Recognition Using Dynamic Textures on Tensor Independent Color Space (SW, WJY, XL, GZ, XF), pp. 4678–4683.
KDDKDD-2014-SudhofEMP #sentiment #social
Sentiment expression conditioned by affective transitions and social forces (MS, AGE, ALM, CP), pp. 1136–1145.
KRKR-2014-AsuncionZZ #first-order #logic programming #semantics #source code
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).
SEKESEKE-2014-PereiraRA #sequence
Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SIGIRSIGIR-2014-ReichenbachAZ #assessment
Rendering expressions to improve accuracy of relevance assessment for math search (MSR, AA, RZ), pp. 851–854.
ECMFAECMFA-2014-DouBB #named #ocl
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
MODELSMoDELS-2014-Reinhartz-BergerFH #feature model #modelling
Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
MODELSMoDELS-2014-Reinhartz-BergerFH #feature model #modelling
Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
ECOOPECOOP-2014-ScherrC #staging
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.
PADLPADL-2014-PetricekS #f#
The F# Computation Expression Zoo (TP, DS), pp. 33–48.
CCCC-2014-SulzmannS #flexibility #ml #performance #regular expression
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
CAVCAV-2014-LiangRTBD #formal method #regular expression #string
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions (TL, AR, CT, CB, MD), pp. 646–662.
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-CarreiroFVZ #automaton #similarity
Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.
LICSLICS-CSL-2014-DemriD #logic
Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
ICSTSAT-2014-WetzlerHH #named #performance #proving #using
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.
DRRDRR-2013-MedjkouneMPV #approach #online #recognition #using
Using online handwriting and audio streams for mathematical expressions recognition: a bimodal approach (SM, HM, SP, CVG).
ICDARICDAR-2013-KessentiniCP #detection #documentation #regular expression #word
Word Spotting and Regular Expression Detection in Handwritten Documents (YK, CC, TP), pp. 516–520.
ICDARICDAR-2013-MouchereVZGK #contest #online #recognition
ICDAR 2013 CROHME: Third International Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, RZ, UG, DHK), pp. 1428–1432.
PODSPODS-2013-AmelootBW #on the #power of
On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.
PODSPODS-2013-Wong #calculus #power of #relational #set
A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
SIGMODSIGMOD-2013-YangWQWL #string #using
Improving regular-expression matching on strings using negative factors (XY, BW, TQ, YW, CL), pp. 361–372.
VLDBVLDB-2013-SzlichtaGGZ #complexity #dependence #order
Expressiveness and Complexity of Order Dependencies (JS, PG, JG, CZ), pp. 1858–1869.
FoSSaCSFoSSaCS-2013-CzerwinskiDLM #regular expression
Deciding Definability by Deterministic Regular Expressions (WC, CD, KL, WM), pp. 289–304.
CIAACIAA-2013-GrathwohlHNR #parsing #regular expression
Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.
DLTDLT-2013-BerglundBDMW #regular expression
Cuts in Regular Expressions (MB, HB, FD, BvdM, BW), pp. 70–81.
DLTDLT-2013-LibkinTV #database #graph #query #regular expression #word
Regular Expressions with Binding over Data Words for Querying Graph Databases (LL, TT, DV), pp. 325–337.
LATALATA-2013-ChamparnaudDJM #regular expression
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions (JMC, JPD, HJ, LM), pp. 202–213.
LATALATA-2013-HaberHMMR #performance #regular expression
Efficient Submatch Extraction for Practical Regular Expressions (SH, WH, PKM, MM, PR), pp. 323–334.
LATALATA-2013-LaugerotteSZ #automaton
From Regular Tree Expression to Position Tree Automaton (ÉL, NOS, DZ), pp. 395–406.
ICFPICFP-2013-TraytelN #regular expression #word
Verified decision procedures for MSO on words based on derivatives of regular expressions (DT, TN), pp. 3–12.
CHICHI-2013-McPhersonGS
The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.
CHICHI-2013-TanenbaumWDT
Democratizing technology: pleasure, utility and expressiveness in DIY and maker practice (JT, AMW, AD, KT), pp. 2603–2612.
HCIDUXU-NTE-2013-DonovanSS #gesture #interactive #research
Gestural, Emergent and Expressive: Three Research Themes for Haptic Interaction (JD, GS, JS), pp. 352–361.
HCIDUXU-NTE-2013-FeijsKSL #design #using
Design for Relaxation during Milk Expression Using Biofeedback (LMGF, JK, NHvS, MvL), pp. 494–503.
HCIHCI-AMTE-2013-ShikanaiH #comparison
Comparison of Kansei Information between Joyful and Happy Expressions in Dance (NS, KH), pp. 611–619.
HCIHCI-III-2013-BockLSWW #automation #classification
Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.
HCIHCI-III-2013-TsurudaHYI #generative #mobile #using
Generation of Facial Expression Emphasized with Cartoon Techniques Using a Cellular-Phone-Type Teleoperated Robot with a Mobile Projector (YT, MH, HY, YI), pp. 391–400.
HCIHCI-IMT-2013-MedjkouneMPV #multimodal #recognition #speech
Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting (SM, HM, SP, CVG), pp. 77–86.
HCIHCI-IMT-2013-OkuuchiKKK #modelling #source code
Modeling Situation-Dependent Nonverbal Expressions for a Pair of Embodied Agent in a Dialogue Based on Conversations in TV Programs (KO, KK, TK, DK), pp. 340–347.
HCIHCI-IMT-2013-SakamotoTT #music #using
A Method for Discussing Musical Expression between Music Ensemble Players Using a Web-Based System (TS, ST, JT), pp. 730–739.
HCIHCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using
System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
HCIHIMI-LCCB-2013-HayashiMIN #design
Bodily Expression Media by Dual Domain Design of Shadow (NH, YM, SI, HN), pp. 195–202.
HCIHIMI-LCCB-2013-ItaiEM #design
Design of Space for Expression Media with the Use of Fog (SI, YE, YM), pp. 210–218.
HCIHIMI-LCCB-2013-WatabeMH #process
Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs (TW, YM, YH), pp. 157–164.
HCIHIMI-LCCB-2013-YaoS #design #visual notation
The Designing Expressions of the Special Visual Effect Film in the Digital Technology (THY, CYS), pp. 267–274.
ICEISICEIS-v2-2013-CuzzocreaF #analysis #comparative #exclamation #metamodelling #power of #state of the art
Comparative Analysis of State-of-the-Art Spatial Data Warehouse Meta-models — Catching the Expressive Power of SDW Schemas! (AC, RdNF), pp. 302–309.
KEODKEOD-2013-WicaksonoDHR #development #energy #ontology #towards
Ontology Development towards Expressive and Reasoning-enabled Building Information Model for an Intelligent Energy Management System (HW, PD, PH, SR), pp. 38–47.
SACSAC-2013-HahnMPM #composition #semantics #web #web service
Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SACSAC-2013-MeloAOAMB #analysis #approach #concept #visual notation
A conceptual approach to gene expression analysis enhanced by visual analytics (CAM, MAA, CO, SA, KM, AB), pp. 1314–1319.
ASPLOSASPLOS-2013-MaiPXKM #invariant #security #verification
Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
PPoPPPPoPP-2013-EdmondsWL #algorithm #graph #using
Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.
PPoPPPPoPP-2013-YuB #automaton #performance #regular expression
Exploring different automata representations for efficient regular expression matching on GPUs (XY, MB), pp. 287–288.
CSLCSL-2013-Hunter #logic #metric #question
When is Metric Temporal Logic Expressively Complete? (PH), pp. 380–394.
ICLPICLP-J-2013-Maher #logic
Relative expressiveness of defeasible logics II (MJM), pp. 579–592.
ISSTAISSTA-2013-YiQTR #contract
Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
LICSLICS-2013-HunterOW #logic #metric
Expressive Completeness for Metric Temporal Logic (PH, JO, JW), pp. 349–357.
LICSLICS-2013-MontanariS #complexity #equivalence #logic
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.
RTARTA-2013-GrabmayerR #λ-calculus #μ-calculus
Expressibility in the λ Calculus with μ (CG, JR), pp. 206–222.
DACDAC-2012-PurandareAH #correctness #proving #regular expression
Proving correctness of regular expression accelerators (MP, KA, CH), pp. 350–355.
DRRDRR-2012-SchellenbergYZ #retrieval
Layout-based substitution tree indexing and retrieval for mathematical expressions (TS, BY, RZ).
PODSPODS-2012-GrozMS #linear #regular expression
Deterministic regular expressions in linear time (BG, SM, SS), pp. 49–60.
PODSPODS-2012-LosemannM #complexity
The complexity of evaluating path expressions in SPARQL (KL, WM), pp. 101–112.
VLDBVLDB-2012-AlexandrovTM #generative #named #scalability
Myriad: Scalable and Expressive Data Generation (AA, KT, VM), pp. 1890–1893.
VLDBVLDB-2012-IseleB #learning #programming #search-based #using
Learning Expressive Linkage Rules using Genetic Programming (RI, CB), pp. 1638–1649.
FASEFASE-2012-ErwigG #regular expression
Explanations for Regular Expressions (ME, RG), pp. 394–408.
SCAMSCAM-2012-WilcoxSB #optimisation #program transformation
Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
PLDIPLDI-2012-PerelmanGBG
Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.
PLDIPLDI-2012-Turon #concurrent #fine-grained #named
Reagents: expressing and composing fine-grained concurrency (AT), pp. 157–168.
SASSAS-2012-IoualalenM #abstract domain #representation
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
CIAACIAA-2012-LiuSGF #automaton #named #regular expression
SDFA: Series DFA for Memory-Efficient Regular Expression Matching (TL, YS, LG, BF), pp. 337–344.
DLTDLT-2012-ChenL #regular expression
Checking Determinism of Regular Expressions with Counting (HC, PL), pp. 332–343.
ICALPICALP-v2-2012-KuperbergB #infinity #logic #on the #power of #word
On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.
ICALPICALP-v2-2012-Velner #automaton #complexity
The Complexity of Mean-Payoff Automaton Expression (YV), pp. 390–402.
LATALATA-2012-ChamparnaudJM #approximate #regular expression
Approximate Regular Expressions and Their Derivatives (JMC, HJ, LM), pp. 179–191.
LATALATA-2012-Hovland #constraints #problem #regular expression
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.
FMFM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
GT-VMTGT-VMT-2012-JalaliRG #incremental #pattern matching #regular expression
Incremental Pattern Matching for Regular Expressions (AJ, AR, AHG).
CHICHI-2012-HarrisonHHH
Unlocking the expressivity of point lights (CH, JH, GH, SEH), pp. 1683–1692.
CHICHI-2012-KinHDA #gesture #multi #named #regular expression
Proton: multitouch gestures as regular expressions (KK, BH, TD, MA), pp. 2885–2894.
CHICHI-2012-SundarOBJK #empirical #self
Interactivity as self-expression: a field experiment with customization and blogging (SSS, JO, SB, HJ, HSK), pp. 395–404.
CHICHI-2012-YangAAWL #sentiment
The way i talk to you: sentiment expression in an organizational context (JY, LAA, MSA, ZW, CYL), pp. 551–554.
ICMLICML-2012-PrasseSLS #email #identification #learning #regular expression
Learning to Identify Regular Expressions that Describe Email Campaigns (PP, CS, NL, TS), p. 146.
ICPRICPR-2012-DhallG #estimation #process
Group expression intensity estimation in videos via Gaussian Processes (AD, RG), pp. 3525–3528.
ICPRICPR-2012-DriraADSB #3d #novel #random #recognition
3D dynamic expression recognition based on a novel Deformation Vector Field and Random Forest (HD, BBA, MD, AS, SB), pp. 1104–1107.
ICPRICPR-2012-HesseGGE #multi #recognition #using
Multi-view facial expression recognition using local appearance features (NH, TG, HG, HKE), pp. 3533–3536.
ICPRICPR-2012-HuHPZ #parsing
Baseline extraction-driven Parsing of handwritten mathematical expressions (LH, KH, RP, RZ), pp. 326–330.
ICPRICPR-2012-KananA #order #pseudo #recognition #using
Recognition of facial expressions using locally weighted and adjusted order Pseudo Zernike Moments (HRK, MA), pp. 3419–3422.
ICPRICPR-2012-LiCHWM #3d #kernel #learning #multi #recognition
3D facial expression recognition via multiple kernel learning of Multi-Scale Local Normal Patterns (HL, LC, DH, YW, JMM), pp. 2577–2580.
ICPRICPR-2012-LiuSW #learning #recognition #taxonomy
Facial expression recognition based on discriminative dictionary learning (WL, CS, YW), pp. 1839–1842.
ICPRICPR-2012-LiuW #image
Posed and spontaneous expression distinguishment from infrared thermal images (ZL, SW), pp. 1108–1111.
ICPRICPR-2012-RichterGE #classification #image #web
Facial expression classification on web images (MR, TG, HKE), pp. 3517–3520.
ICPRICPR-2012-TawariT #analysis
Audio-visual data association for face expression analysis (AT, MMT), pp. 1120–1123.
ICPRICPR-2012-TuH #invariant #matrix #recognition
Dual subspace nonnegative matrix factorization for person-invariant facial expression recognition (YHT, CTH), pp. 2391–2394.
ICPRICPR-2012-WangWZJ #analysis #bias #database
Bias analyses of spontaneous facial expression database (ZW, SW, YZ, QJ), pp. 2926–2929.
ICPRICPR-2012-ZhangFD #algorithm #multi #recognition
A hierarchical algorithm with multi-feature fusion for facial expression recognition (ZZ, CF, XD), pp. 2363–2366.
ICPRICPR-2012-ZhangYMS #recognition
Expressive deformation profiles for cross expression face recognition (LZ, NY, EMM, TS), pp. 1582–1585.
MLDMMLDM-2012-PiatkowskaM #recognition
Computer Recognition of Facial Expressions of Emotion (EP, JM), pp. 405–414.
SIGIRSIGIR-2012-ElbassuoniRW #flexibility #rdf
RDF Xpress: a flexible expressive RDF search engine (SE, MR, GW), p. 1013.
ECOOPECOOP-2012-LeeGHM #metaprogramming #named
Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
PPDPPPDP-2012-SulzmannL #regular expression #using
Regular expression sub-matching using partial derivatives (MS, KZML), pp. 79–90.
SACSAC-2012-CappelloQ
Expressing global priorities by best-matching (IC, PQ), pp. 1544–1550.
SACSAC-2012-WangCCX #fault
Fault class prioritization in Boolean expressions (ZW, ZC, TYC, BX), pp. 1191–1196.
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.
PPoPPPPoPP-2012-ZuYXWTPD #automaton #implementation #memory management #nondeterminism #performance #regular expression
GPU-based NFA implementation for memory efficient high speed regular expression matching (YZ, MY, ZX, LW, XT, KP, QD), pp. 129–140.
ICLPICLP-J-2012-Maher #logic
Relative expressiveness of defeasible logics (MJM), pp. 793–810.
ICSTICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
IJCARIJCAR-2012-SteigmillerLG #logic
Extended Caching, Backjumping and Merging for Expressive Description Logics (AS, TL, BG), pp. 514–529.
ICSTSAT-2012-LiffitonM #constraints #for free
A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.
SMTSMT-2012-BjornerGMV #regular expression #sequence
SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
TAPTAP-2012-BruningGHK #debugging #modelling #ocl #uml
Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
ASEASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
DACDAC-2011-EisenbergAS
In silico synchronization of cellular populations through expression data deconvolution (ME, JNA, DSG), pp. 812–817.
DACDAC-2011-FuketaIYTNSS #logic
A closed-form expression for estimating minimum operating voltage (VDDmin) of CMOS logic gates (HF, SI, TY, MT, MN, HS, TS), pp. 984–989.
DocEngDocEng-2011-ColineauPL
Expressing conditions in tailored brochures for public administration (NC, CP, KVL), pp. 209–218.
DRRDRR-2011-ZanibbiY #keyword #retrieval
Keyword and image-based retrieval of mathematical expressions (RZ, BY), pp. 1–10.
ICDARICDAR-2011-AlvaroSB #2d #context-free grammar #probability #recognition #using
Recognition of Printed Mathematical Expressions Using Two-Dimensional Stochastic Context-Free Grammars (FA, JAS, JMB), pp. 1225–1229.
ICDARICDAR-2011-MouchereVKKG #contest #named #online #recognition
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.
ICDARICDAR-2011-QuiniouMSVMPM #dataset #named
HAMEX — A Handwritten and Audio Dataset of Mathematical Expressions (SQ, HM, SPS, CVG, EM, SP, SM), pp. 452–456.
ICDARICDAR-2011-ZanibbiPMVB #metric #performance
Stroke-Based Performance Metrics for Handwritten Mathematical Expressions (RZ, AP, HM, CVG, DB), pp. 334–338.
SIGMODSIGMOD-2011-SadoghiJ #named
BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
FoSSaCSFoSSaCS-2011-BonnetFHR
Ordinal Theory for Expressiveness of Well Structured Transition Systems (RB, AF, SH, FRV), pp. 153–167.
ICPCICPC-2011-SteinH #aspect-oriented #comparison #constraints #empirical #visual notation
Comparison of a Visual and a Textual Notation to Express Data Constraints in Aspect-Oriented Join Point Selections: A Controlled Experiment (DS, SH), pp. 141–150.
WCREWCRE-2011-KellensRNSJ #evolution #quantifier #reasoning #source code #using
Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions (AK, CDR, CN, RS, VJ), pp. 389–393.
CIAACIAA-J-2010-DrosteM11 #automaton #monad #regular expression
Weighted Automata and Regular Expressions over Valuation Monoids (MD, IM), pp. 1829–1844.
DLTDLT-J-2010-HolzerK11 #complexity
The Complexity of Regular(-like) Expressions (MH, MK), pp. 1533–1548.
CIAACIAA-2011-LonatiP #2d #automaton #towards
Towards More Expressive 2D Deterministic Automata (VL, MP), pp. 225–237.
DLTDLT-2011-HolzerJ #complexity
Chop Operations and Expressions: Descriptional Complexity Considerations (MH, SJ), pp. 264–275.
DLTDLT-2011-Wilke #functional #regular expression
A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
ICALPICALP-v2-2011-BovaCV #comparison
Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.
LATALATA-2011-CaronCM #regular expression
Partial Derivatives of an Extended Regular Expression (PC, JMC, LM), pp. 179–191.
LATALATA-2011-NielsenH #parsing #regular expression
Bit-coded Regular Expression Parsing (LN, FH), pp. 402–413.
GT-VMTGT-VMT-2011-BrugginkH #decidability #graph
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).
CHICHI-2011-HalpernTEDESBG #interactive #named
MoBoogie: creative expression through whole body musical interaction (MKH, JT, ME, SD, AE, KS, EPSB, GG), pp. 557–560.
CHICHI-2011-HookGMTWO #interactive
A VJ centered exploration of expressive interaction (JH, DPG, JCM, ST, PCW, PO), pp. 1265–1274.
CHICHI-2011-PatelF #named #visualisation
Read-N-Karaoke: visualizing prosody in children’s books for expressive oral reading (RP, WF), pp. 3203–3206.
CHICHI-2011-YeeDNL
Introverted elves & conscientious gnomes: the expression of personality in world of warcraft (NY, ND, LN, PL), pp. 753–762.
CSCWCSCW-2011-WesterlundNH #coordination #mobile
Express location: supporting coordination of mobile delivery work (MW, MN, LEH), pp. 729–732.
HCIHCD-2011-Kurosu #experience #user interface #word
Descriptive Words for Expressing the User Experience (MK), pp. 81–90.
HCIHCI-ITE-2011-LeeOL #recognition #using
Facial Expression Recognition Using AAMICPF (JSL, CMO, CWL), pp. 268–274.
HCIHCI-MIIE-2011-ChangL #design #interactive #social
Express Yourself: Designing Interactive Products with Implicitness to Improve Social Interaction (HMC, RHL), pp. 175–184.
HCIHCI-UA-2011-SuzukiWKO #3d #comparison #standard
Comparison of a 3-D Expression System and a Standardized IQ Test for Children (AS, MW, TK, TO), pp. 617–626.
HCIHCI-UA-2011-YangCS #analysis #learning #recognition
Facial Expression Recognition for Learning Status Analysis (MTY, YJC, YCS), pp. 131–138.
HCIHIMI-v1-2011-IidaINM #process
Utilization of Shadow Media — Supporting Co-Creation of Bodily Expression Activity in a Group (KI, SI, HN, YM), pp. 408–417.
HCIHIMI-v1-2011-TewsOSHF #human-computer #interactive
Emotional Human-Machine Interaction: Cues from Facial Expressions (TKT, MO, FWS, RH, HF), pp. 641–650.
ICEISICEIS-v3-2011-Zhao #analysis #contest #industrial
The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.
CIKMCIKM-2011-BrauerRMB #information management #regular expression
Enabling information extraction by inference of regular expressions from sample entities (FB, RR, AM, WMB), pp. 1285–1294.
CIKMCIKM-2011-TsangC #query #regular expression #robust
A robust index for regular expression queries (DT, SC), pp. 2365–2368.
ECIRECIR-2011-KoflerLH #internet #video
To Seek, Perchance to Fail: Expressions of User Needs in Internet Video Search (CK, ML, AH), pp. 611–616.
KDDKDD-2011-MueenKY #classification #named
Logical-shapelets: an expressive primitive for time series classification (AM, EJK, NEY), pp. 1154–1162.
MODELSMoDELS-2011-FabryZG #case study #design #experience #interactive
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
MODELSMoDELS-2011-FabryZG #case study #design #experience #interactive
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
ECOOPECOOP-2011-Chambers
Expressiveness, Simplicity, and Users (CC), p. 229.
POPLPOPL-2011-HengleinN #axiom #induction #regular expression
Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
POPLPOPL-2011-JacobsP #composition #concurrent #fine-grained #specification
Expressive modular fine-grained concurrency specification (BJ, FP), pp. 271–282.
CCCC-2011-MaKA #memory management #multi
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.
ISSTAISSTA-2011-TanejaXTH #generative #named #performance #testing
eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
TLCATLCA-2011-RoweB #approximate #object-oriented #programming #semantics
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (Extended Abstract) (RNSR, SvB), pp. 229–244.
DRRDRR-2010-AwalMV #classification #hybrid #recognition
A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.
PODSPODS-2010-BarceloHLW #query
Expressive languages for path queries over graph-structured data (PB, CAH, LL, PTW), pp. 3–14.
PODSPODS-2010-Wijsen #database #first-order #nondeterminism #on the #query
On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases (JW), pp. 179–190.
SIGMODSIGMOD-2010-FontouraSSVVVZ
Efficiently evaluating complex boolean expressions (MF, SS, JS, SV, EV, SV, JYZ), pp. 3–14.
SIGMODSIGMOD-2010-PoundIW #flexibility #keyword #query
Expressive and flexible access to web-extracted data: a keyword-based structured query language (JP, IFI, GEW), pp. 423–434.
VLDBVLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml
From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
VLDBVLDB-2010-PoundIW #flexibility #knowledge base #named
QUICK: Expressive and Flexible Search over Knowledge Bases and Text Collections (JP, IFI, GEW), pp. 1573–1576.
ESOPESOP-2010-LaneseVF #on the #power of
On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.
STOCSTOC-2010-MagniezMN #streaming
Recognizing well-parenthesized expressions in the streaming model (FM, CM, AN), pp. 261–270.
AFLAFL-J-2008-Lohrey10 #automaton #problem #regular expression
Compressed Membership Problems for Regular Expressions and Hierarchical Automata (ML), pp. 817–841.
CIAACIAA-2010-CimattiMRT #automaton #nondeterminism #regular expression
From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.
CIAACIAA-2010-DrosteM #regular expression
Regular Expressions on Average and in the Long Run (MD, IM), pp. 211–221.
CIAACIAA-2010-LiuGLT #automaton #composition #matrix #regular expression
Compressing Regular Expressions’ DFA Table by Matrix Decomposition (YL, LG, PL, JT), pp. 282–289.
CIAACIAA-2010-Maout #design #regular expression
Regular Expressions at Their Best: A Case for Rational Design (VLM), pp. 310–320.
CIAACIAA-2010-OkuiS #ambiguity #automaton #regular expression
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (SO, TS), pp. 231–240.
CIAACIAA-2010-ReidenbachS #polynomial #regular expression #scalability
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions (DR, MLS), pp. 241–250.
DLTDLT-2010-HolzerK #complexity
The Complexity of Regular(-Like) Expressions (MH, MK), pp. 16–30.
ICALPICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
LATALATA-2010-ChoffrutMMP #on the #power of
On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.
LATALATA-2010-GruberG #regular expression
Simplifying Regular Expressions (HG, SG), pp. 285–296.
LATALATA-2010-Hovland #problem #regular expression
The Inclusion Problem for Regular Expressions (DH), pp. 309–320.
LATALATA-2010-JordanZ #first-order #quantifier
Untestable Properties Expressible with Four First-Order Quantifiers (CJ, TZ), pp. 333–343.
LATALATA-2010-MiloPZ #constraints #named #regular expression #sequence
SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.
ICFPICFP-2010-FischerHW #functional #game studies #regular expression
A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
CHICHI-2010-CramerESGW #mobile #social #trust
Trying too hard: effects of mobile agents’ (Inappropriate) social expressiveness on trust, affect and compliance (HSMC, VE, TvS, MG, BJW), pp. 1471–1474.
CHICHI-2010-GonzalesNZG
Motivating expressive writing with a text-to-sound application (ALG, TYN, OJZ, GG), pp. 1937–1940.
CHICHI-2010-KomatsuYKFN
Artificial subtle expressions: intuitive notification methodology of artifacts (TK, SY, KK, KF, MN), pp. 1941–1944.
CHICHI-2010-SaerbeckSBJ #behaviour #education #social
Expressive robots in education: varying the degree of social supportive behavior of a robotic tutor (MS, TS, CB, MDJ), pp. 1613–1622.
ICPRICPR-2010-BerrettiBPAD #3d #recognition #set
A Set of Selected SIFT Features for 3D Facial Expression Recognition (SB, ADB, PP, BBA, MD), pp. 4125–4128.
ICPRICPR-2010-BicegoLFD #array #clustering #modelling #topic
Biclustering of Expression Microarray Data with Topic Models (MB, PL, AF, MD), pp. 2728–2731.
ICPRICPR-2010-ChiuHW #clustering
AP-Based Consensus Clustering for Gene Expression Time Series (TYC, TCH, JSW), pp. 2512–2515.
ICPRICPR-2010-FukuiKIN
Facial Expression Mimicking System (RF, KK, YI, TN), pp. 3776–3779.
ICPRICPR-2010-GunluB #3d #composition
3D Face Decomposition and Region Selection Against Expression Variations (GG, HSB), pp. 1298–1301.
ICPRICPR-2010-HuntyAG #linear #modelling
Linear Facial Expression Transfer with Active Appearance Models (MdlH, AA, RG), pp. 3789–3792.
ICPRICPR-2010-JiI #recognition #using
Using Moments on Spatiotemporal Plane for Facial Expression Recognition (YJ, KI), pp. 3806–3809.
ICPRICPR-2010-KhwajaAG #invariant #recognition #representation #using
Illumination and Expression Invariant Recognition Using SSIM Based Sparse Representation (AAK, AA, RG), pp. 4028–4031.
ICPRICPR-2010-KojimaMK #n-gram #recognition
Object Recognition Based on n-gram Expression of Human Actions (AK, HM, KK), pp. 372–375.
ICPRICPR-2010-LiPBT #2d #recognition
Improved Facial Expression Recognition with Trainable 2-D Filters and Support Vector Machines (PL, SLP, AB, FHCT), pp. 3732–3735.
ICPRICPR-2010-MaalejADSB #3d #analysis #recognition
Local 3D Shape Analysis for Facial Expression Recognition (AM, BBA, MD, AS, SB), pp. 4129–4132.
ICPRICPR-2010-ManoharSGS #modelling #video
Modeling Facial Skin Motion Properties in Video and Its Application to Matching Faces across Expressions (VM, MS, DBG, SS), pp. 2122–2125.
ICPRICPR-2010-RudovicPP #multi #recognition
Regression-Based Multi-view Facial Expression Recognition (OR, IP, MP), pp. 4121–4124.
ICPRICPR-2010-SchelsS #approach #classification #image #multi #sequence
A Multiple Classifier System Approach for Facial Expressions in Image Sequences Utilizing GMM Supervectors (MS, FS), pp. 4251–4254.
ICPRICPR-2010-SmeetsFHVS #3d #approach #composition #invariant #modelling #recognition #using
Fusion of an Isometric Deformation Modeling Approach Using Spectral Decomposition and a Region-Based Approach Using ICP for Expression-Invariant 3D Face Recognition (DS, TF, JH, DV, PS), pp. 1172–1175.
ICPRICPR-2010-VenkateshKM #3d #approach #recognition #using
Resampling Approach to Facial Expression Recognition Using 3D Meshes (YVV, AAK, OVRM), pp. 3772–3775.
ICPRICPR-2010-VuralBLCEM
Discrimination of Moderate and Acute Drowsiness Based on Spontaneous Facial Expressions (EV, MSB, GL, , AE, JRM), pp. 3874–3877.
ICPRICPR-2010-ZhaoHDC #3d #automation #feature model #recognition #statistics
Automatic 3D Facial Expression Recognition Based on a Bayesian Belief Net and a Statistical Facial Feature Model (XZ, DH, ED, LC), pp. 3724–3727.
PPDPPPDP-2010-BrabrandT #ambiguity #pattern matching #regular expression #string #using
Typed and unambiguous pattern matching on strings using regular expressions (CB, JGT), pp. 243–254.
SACSAC-OOPS-J-2008-JarviF10 #c++
C++ λ expressions and closures (JJ, JF), pp. 762–772.
SACSAC-2010-BelohlavekV10a #database #logic #query #similarity
Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.
SACSAC-2010-BicegoLOP #array #classification #modelling #topic #using
Expression microarray classification using topic models (MB, PL, BO, AP), pp. 1516–1520.
SACSAC-2010-ReisS #constant #programming language
General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
SACSAC-2010-ZambranoFJS #case study #experience #interactive #requirements
Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain (AZ, JF, GJ, SEG), pp. 2161–2168.
ISMMISMM-2010-VechevYY #named #parallel
PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.
CSLCSL-2010-Chaudhuri #logic
Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.
ICSTICST-2010-VeanesHT #named #regular expression
Rex: Symbolic Regular Expression Explorer (MV, PdH, NT), pp. 498–507.
IJCARIJCAR-2010-Benthem #complexity #logic
Logic between Expressivity and Complexity (JvB), pp. 122–126.
LICSLICS-2010-LaneveV #power of
The Expressive Power of Synchronizations (CL, AV), pp. 382–391.
LICSLICS-2010-StatonW #on the #symmetry
On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
RTARTA-2010-KutsiaM #order #regular expression #unification
Order-Sorted Unification with Regular Expression Sorts (TK, MM), pp. 193–208.
ICSTSAT-2010-TompkinsH #satisfiability
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
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.
ASEASE-2009-KhatchadourianGRX #aspect-oriented #evolution
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software (RK, PG, AR, G(X), pp. 575–579.
ASEASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
DACDAC-2009-ArfaeeILFK #linear #multi #named #performance
Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DATEDATE-2009-GopalakrishnanK #algebra #polynomial #synthesis
Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis (SG, PK), pp. 1452–1457.
ICDARICDAR-2009-AwalMV #recognition #towards
Towards Handwritten Mathematical Expression Recognition (AMA, HM, CVG), pp. 1046–1050.
ICDARICDAR-2009-ChangHZ #framework
A Unified Framework for Recognizing Handwritten Chemical Expressions (MC, SH, DZ), pp. 1345–1349.
ICDARICDAR-2009-Garain #documentation #identification #image
Identification of Mathematical Expressions in Document Images (UG), pp. 1340–1344.
ICDARICDAR-2009-KimRLK #consistency #recognition
Utilizing Consistency Context for Handwritten Mathematical Expression Recognition (KK, THR, JSL, JHK), pp. 1051–1055.
SIGMODSIGMOD-2009-BexGMN #nondeterminism #regular expression #xml
Simplifying XML schema: effortless handling of nondeterministic regular expressions (GJB, WG, WM, FN), pp. 731–744.
SIGMODSIGMOD-2009-KoutrikaBG #flexibility #named #recommendation
FlexRecs: expressing and combining flexible recommendations (GK, BB, HGM), pp. 745–758.
VLDBVLDB-2009-MeccaPRB
Concise and Expressive Mappings with +Spicy (GM, PP, SR, MB), pp. 1582–1585.
VLDBVLDB-2009-WhangBSVVYG
Indexing Boolean Expressions (SW, CB, JS, SV, EV, RY, HGM), pp. 37–48.
FoSSaCSFoSSaCS-2009-ArandaVV #on the #power of #replication #strict
On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
CIAACIAA-2009-CaronCM #automaton
Small Extended Expressions for Acyclic Automata (PC, JMC, LM), pp. 198–207.
CIAACIAA-2009-GruberHT #automaton #empirical #finite #regular expression
Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.
DLTDLT-2009-GruberH #bound #complexity #regular expression
Tight Bounds on the Descriptional Complexity of Regular Expressions (HG, MH), pp. 276–287.
ICALPICALP-v1-2009-BilleT #performance #regular expression
Faster Regular Expression Matching (PB, MT), pp. 171–182.
LATALATA-2009-CarleN #on the #regular expression
On Extended Regular Expressions (BC, PN), pp. 279–289.
LATALATA-2009-SumanP #automaton #integer
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.
IFMIFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
GT-VMTGT-VMT-2009-SchimmelGS #graph grammar #term rewriting
Gene Expression with General Purpose Graph Rewriting Systems (JS, TG, CS), pp. 202–212.
HCIDHM-2009-ClavelM #approach #modelling #multimodal #named #permutation
PERMUTATION: A Corpus-Based Approach for Modeling Personality and Multimodal Expression of Affects in Virtual Characters (CC, JCM), pp. 211–220.
HCIHCI-AUII-2009-Cloud-BucknerSSYG #analysis #gender
Expression of Personality through Avatars: Analysis of Effects of Gender and Race on Perceptions of Personality (JCB, MS, BS, BY, JJG), pp. 248–256.
HCIHCI-AUII-2009-WatanabeMSNM #interactive #interface #novel #towards
Electromyography Focused on Passiveness and Activeness in Embodied Interaction: Toward a Novel Interface for Co-creating Expressive Body Movement (TW, NM, RS, HN, YM), pp. 554–562.
HCIHCI-NIMT-2009-MiwaIWIN
Shadow Awareness: Bodily Expression Supporting System with Use of Artificial Shadow (YM, SI, TW, KI, HN), pp. 226–235.
HCIHCI-NT-2009-SakataWOH #music
Effect of Body Movement on Music Expressivity in Jazz Performances (MS, SW, NO, KH), pp. 159–168.
HCIHIMI-II-2009-ItoTHNYUST #human-computer #interface
Clinical Usefulness of Human-Computer Interface for Training Targeted Facial Expression: Application to Patients with Cleft Lip and/or Palate (KI, AT, SH, SN, MY, SU, NS, KT), pp. 513–521.
HCIOCSC-2009-NeviarouskayaPI #automation #communication #named
EmoHeart: Automation of Expressive Communication of Emotions in Second Life (AN, HP, MI), pp. 584–592.
CIKMCIKM-2009-ColazzoGPS #linear #regular expression #xml
Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.
KDDKDD-2009-JiYLZKY #interactive #using
Drosophila gene expression pattern annotation using sparse features and term-term interactions (SJ, LY, YXL, ZHZ, SK, JY), pp. 407–416.
SEKESEKE-2009-LounisAS #approach #impact analysis #maintenance #predict
Predicting Maintainability expressed as Change Impact: A Machine-learning-based Approach (HL, MKA, HAS), pp. 122–128.
SIGIRSIGIR-2009-ArapakisKJK #modelling #predict #topic
Modeling facial expressions and peripheral physiological signals to predict topical relevance (IA, IK, JMJ, IK), pp. 728–729.
TOOLSTOOLS-EUROPE-2009-HovsepyanBBJ #domain-specific language #modelling #specification
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages (AH, SVB, YB, WJ), pp. 116–135.
PPDPPPDP-2009-GabbrielliMM #on the #power of
On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
QAPLQAPL-2009-GiroD #distributed #on the #power of #probability
On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
SACSAC-2009-SherminO #network #using
Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.
HPCAHPCA-2009-GrotHKM
Express Cube Topologies for on-Chip Interconnects (BG, JH, SWK, OM), pp. 163–174.
LICSLICS-2009-ChatterjeeDH
Expressiveness and Closure Properties for Quantitative Languages (KC, LD, TAH), pp. 199–208.
ICSTSAT-2009-BuningZB #quantifier #subclass
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
ASEASE-2008-BucchiaroneGLTF #tool support
QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
DATEDATE-2008-BonesanaPS #adaptation #regular expression
An adaptable FPGA-based System for Regular Expression Matching (IB, MP, MDS), pp. 1262–1267.
PODSPODS-2008-Koch #approximate #database #probability #query
Approximating predicates and expressive queries on probabilistic databases (CK), pp. 99–108.
SIGMODSIGMOD-2008-BalminOST #optimisation #xpath
Grouping and optimization of XPath expressions in DB2 pureXML (AB, , AS, ET), pp. 1065–1074.
SIGMODSIGMOD-2008-MajumderRV #data type #regular expression #scalability
Scalable regular expression matching on data streams (AM, RR, SV), pp. 161–172.
ESOPESOP-2008-Cheney #query #regular expression #type system #xml
Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.
FoSSaCSFoSSaCS-2008-GruberJ #bound #communication #complexity #regular expression #using
Optimal Lower Bounds on Regular Expression Size Using Communication Complexity (HG, JJ), pp. 273–286.
SCAMSCAM-2008-KhatchadourianR #aspect-oriented #evolution
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software (RK, AR), pp. 261–262.
PLDIPLDI-2008-HuangS
Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.
DLTDLT-2008-GeffertMP #automaton #regular expression #representation
More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.
DLTDLT-2008-GruberH #automaton #finite #regular expression
Provably Shorter Regular Expressions from Deterministic Finite Automata (HG, MH), pp. 383–395.
DLTDLT-2008-KuskeM #automaton #regular expression
Construction of Tree Automata from Regular Expressions (DK, IM), pp. 491–503.
ICALPICALP-B-2008-BouyerMOW #complexity #model checking #on the #realtime
On Expressiveness and Complexity in Real-Time Model Checking (PB, NM, JO, JW), pp. 124–135.
ICALPICALP-B-2008-EgriLT #datalog #symmetry
Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.
ICALPICALP-B-2008-GruberH #automaton #finite #regular expression
Finite Automata, Digraph Connectivity, and Regular Expression Size (HG, MH), pp. 39–50.
EDOCEDOC-2008-NitzscheLL #multi
Extending BPELlight for Expressing Multi-Partner Message Exchange Patterns (JN, TvL, FL), pp. 245–254.
CIKMCIKM-2008-ChanLY #logic #modelling #using
Coreference resolution using expressive logic models (KC, WL, XY), pp. 1373–1374.
CIKMCIKM-2008-GhelliCS #linear #regular expression
Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.
ECIRECIR-2008-NunesRD #web
Use of Temporal Expressions in Web Search (SN, CR, GD), pp. 580–584.
ICPRICPR-2008-HuZYWTH #case study #recognition
A study of non-frontal-view facial expressions recognition (YH, ZZ, LY, XW, JT, TSH), pp. 1–4.
ICPRICPR-2008-ParkSK #analysis
Facial expression analysis with facial expression deformation (SP, JS, DK), pp. 1–4.
ICPRICPR-2008-ShiS #graph #recognition
A symbol graph based handwritten math expression recognition (YS, FKS), pp. 1–4.
ICPRICPR-2008-ZhiRM #fuzzy #recognition
Fuzzy discriminant projections for facial expression recognition (RZ, QR, ZM), pp. 1–4.
KRKR-2008-CaliGK #constraints #infinity #query #relational
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.
KRKR-2008-RogerHN #on the
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
SEKESEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using
Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.
PPDPPPDP-2008-OlarteV #monad #security
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security (CO, FDV), pp. 8–19.
SACSAC-2008-Al-MansariHU #on the #semantics
On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.
SACSAC-2008-LoTP #detection #hardware #implementation #network #regular expression
Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.
SACSAC-2008-ShaoYN #classification
Strangeness-based feature weighting and classification of gene expression profiles (HS, BY, JHN), pp. 1292–1296.
LCTESLCTES-2008-CohenK #named #regular expression
EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.
CAVCAV-2008-GulavaniG #abstract domain #abstraction #analysis
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (BSG, SG), pp. 370–384.
ICSTICST-2008-WeisslederS #automation #ocl #quality #testing
Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.
IJCARIJCAR-2008-Lutz #complexity #logic #query
The Complexity of Conjunctive Query Answering in Expressive Description Logics (CL), pp. 179–193.
LICSLICS-2008-ChadhaSV #complexity #finite #monitoring #on the
On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
LICSLICS-2008-LanesePSS #calculus #decidability #higher-order #on the #process
On the Expressiveness and Decidability of Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 145–155.
RTARTA-2008-Toyama #lisp #proving #recursion #term rewriting #termination
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations (YT), pp. 381–391.
CASECASE-2007-AnLM #collaboration #design #verification
Expression and Verification of Task Management in Collaborative Design (YSA, RHL, AM), pp. 800–805.
DRRDRR-2007-BuyukbayrakYE #online #recognition
Online handwritten mathematical expression recognition (HB, BAY, AE).
ICDARICDAR-2007-GuoHLJ #automation #comprehension
An Automatic Mathematical Expression Understanding System (YsG, LH, CpL, XJ), pp. 719–723.
ICDARICDAR-2007-ShiLS #framework #recognition #segmentation
A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions (YS, HL, FKS), pp. 854–858.
ICDARICDAR-2007-SmirnovaW #analysis #aspect-oriented
Aspects of Mathematical Expression Analysis in Arabic Handwriting (ESS, SMW), pp. 1183–1187.
PODSPODS-2007-CateL #complexity #query #xpath
The complexity of query containment in expressive fragments of XPath 2.0 (BtC, CL), pp. 73–82.
PODSPODS-2007-FanGN #complexity #transducer #xml
Expressiveness and complexity of xml publishing transducers (WF, FG, FN), pp. 83–92.
VLDBVLDB-2007-ChenCB #estimation #performance
A Simple and Efficient Estimation Method for Stream Expression Cardinalities (AC, JC, TB), pp. 171–182.
FoSSaCSFoSSaCS-2007-LaroussinieMO #atl #complexity #on the
On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.
FoSSaCSFoSSaCS-2007-Rosu #algorithm #effectiveness #problem #regular expression
An Effective Algorithm for the Membership Problem for Extended Regular Expressions (GR), pp. 332–345.
SCAMSCAM-2007-NaylorR
Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.
SASSAS-2007-Martel #semantics
Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.
CIAACIAA-2007-SalomaaYZ
Deterministic Caterpillar Expressions (KS, SY, JZ), pp. 97–108.
DLTDLT-2007-ChamparnaudOZ #equation #performance
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.
IFLIFL-2007-SulzmannL #haskell #named #regular expression
XHaskell — Adding Regular Expression Types to Haskell (MS, KZML), pp. 75–92.
IFLIFL-2007-WidemannP #functional #programming
Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.
LISPILC-2007-Harmon #analysis #lisp #tool support
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
LISPILC-2007-RepenningI #lisp
X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.
AGTIVEAGTIVE-2007-GeissK #graph grammar #performance
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.
CHICHI-2007-DiSalvoMM #case study #named #research
Mapmover: a case study of design-oriented research into collective expression and constructed publics (CFD, JM, NM), pp. 1249–1252.
CHICHI-2007-HancockLS #communication
Expressing emotion in text-based communication (JTH, CL, CS), pp. 929–932.
HCIDHM-2007-GeraciLMPR #algorithm #array #clustering #scalability
FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering (FG, ML, MM, MP, MER), pp. 606–615.
HCIDHM-2007-XueMLD #fuzzy #generative #modelling
Modeling of Layered Fuzzy Facial Expression Generation (YLX, XM, ZL, WHD), pp. 243–252.
HCIHCI-AS-2007-KelliherD #online
Everyday Storytelling: Supporting the Mediated Expression of Online Personal Testimony (AK, GD), pp. 926–933.
HCIHCI-IDU-2007-DavidCDM #collaboration #mobile #named #process
ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns (BTD, RC, OD, GM), pp. 1082–1091.
HCIHCI-IPT-2007-GengLL #3d #retrieval
Force Field Based Expression for 3D Shape Retrieval (XG, WL, HL), pp. 587–596.
HCIHCI-MIE-2007-Alexandris #human-computer #quote #semantics #using
“Show and Tell”: Using Semantically Processable Prosodic Markers for Spatial Expressions in an HCI System for Consumer Complaints (CA), pp. 13–22.
HCIHCI-MIE-2007-FabriEM #learning
Emotionally Expressive Avatars for Chatting, Learning and Therapeutic Intervention (MF, SYAE, DJM), pp. 275–285.
HCIHCI-MIE-2007-LeePL #finite #multi #recognition #transducer
Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer (KL, KSP, YSL), pp. 124–133.
HCIHIMI-IIE-2007-RheeSLLKS #collaboration #community #mobile
Media Sharing and Collaboration Within Mobile Community: Self Expression and Socialization (YR, KPS, JL, JL, DK, YS), pp. 137–146.
HCIHIMI-MTT-2007-ItoKTN #development
Development of Facial Expression Training System (KI, HK, AT, SN), pp. 850–857.
HCIHIMI-MTT-2007-YonemuraYTO #analysis #communication #visual notation
Communication Analysis of Visual Support System That Uses Line Drawing Expression (SY, TY, YT, JO), pp. 359–365.
AdaEuropeAdaEurope-2007-LauLCY #detection #fault #on the
On Detecting Double Literal Faults in Boolean Expressions (MFL, YL, TYC, YTY), pp. 55–68.
ICEISICEIS-HCI-2007-FariaBVR #framework #using
Platform to Drive an Intelligent Wheelchair Using Facial Expressions (PMF, RAMB, EV, LPR), pp. 164–169.
CIKMCIKM-2007-BloehdornM #kernel #semantics
Structure and semantics for expressive text kernels (SB, AM), pp. 861–864.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
OOPSLAOOPSLA-2007-SasitornC #component #framework #java
Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.
SACSAC-2007-LeeHPLJK #performance #regular expression #using
A high performance NIDS using FPGA-based regular expression matching (JL, SHH, NP, SWL, SJ, YSK), pp. 1187–1191.
PPoPPPPoPP-2007-UpadhyayaPM #concurrent
Expressing and exploiting concurrency in networked applications with aspen (GU, VSP, SPM), pp. 13–23.
CADECADE-2007-BaeldeGMNT #model checking
The Bedwyr System for Model Checking over Syntactic Expressions (DB, AG, DM, GN, AT), pp. 391–397.
CAVCAV-2007-BrummayerB #c #named #satisfiability
C32SAT: Checking C Expressions (RB, AB), pp. 294–297.
CSLCSL-2007-AbdullaDB #power of
Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
CSLCSL-2007-Bojanczyk
Forest Expressions (MB), pp. 146–160.
FATESTestCom-FATES-2007-SchulzWR
TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.
DATEDATE-DF-2006-LinHJC #optimisation #pattern matching #regular expression
Optimization of regular expression pattern matching circuits on FPGA (CHL, CTH, CPJ, SCC), pp. 12–17.
DocEngDocEng-2006-GenevesL #xml
Comparing XML path expressions (PG, NL), pp. 65–74.
DocEngDocEng-2006-QeliF #aspect-oriented #documentation #programming #using #xml #xpath
Filtering XML documents using XPath expressions and aspect-oriented programming (EQ, BF), pp. 85–87.
DocEngDocEng-2006-QeliGF #detection #documentation #using #xml #xpath
Customizable detection of changes for XML documents using XPath expressions (EQ, JG, BF), pp. 88–90.
PODSPODS-2006-Cate #transitive #xpath
The expressivity of XPath with transitive closure (BtC), pp. 328–337.
FoSSaCSFoSSaCS-2006-Gorla #communication #on the #power of
On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
TACASTACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
TACASTACAS-2006-ThomasCP #performance #reachability #using
Efficient Guided Symbolic Reachability Using Reachability Expressions (DT, SC, PKP), pp. 120–134.
CIAACIAA-2006-Thurston #automaton #parsing #regular expression
Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression (ADT), pp. 285–286.
ICALPICALP-v1-2006-Bille #algorithm #regular expression
New Algorithms for Regular Expression Matching (PB), pp. 643–654.
ICALPICALP-v1-2006-BojanczykSSS #automaton #power of
Expressive Power of Pebble Automata (MB, MS, TS, LS), pp. 157–168.
SOFTVISSOFTVIS-2006-LobodaB #adaptation #evaluation #visualisation
WADEIn II: adaptive explanatory visualization for expressions evaluation (TDL, PB), pp. 197–198.
EDOCEDOC-2006-YanZY #contract #modelling #ontology #owl #semantics #using
Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.
ICPRICPR-v1-2006-AnC #dataset
Finding Rule Groups to Classify High Dimensional Gene Expression Datasets (JA, YPPC), pp. 1196–1199.
ICPRICPR-v1-2006-LeeE #analysis #modelling #synthesis
Nonlinear Shape and Appearance Models for Facial Expression Analysis and Synthesis (CSL, AME), pp. 497–502.
ICPRICPR-v1-2006-SkelleyFSH #database
Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
ICPRICPR-v1-2006-SungLK #realtime #recognition #using
A Real-Time Facial Expression Recognition using the STAAM (JS, SL, DK), pp. 275–278.
ICPRICPR-v1-2006-TongWZJ #multi #using
Facial Feature Tracking using a Multi-State Hierarchical Shape Model under Varying Face Pose and Facial Expression (YT, YW, ZZ, QJ), pp. 283–286.
ICPRICPR-v1-2006-YinWLB #3d #interactive #using
Analyzing Facial Expressions Using Intensity-Variant 3D Data For Human Computer Interaction (LY, XW, PL, AB), pp. 1248–1251.
ICPRICPR-v2-2006-ArcaCLL #recognition
A face recognition system dealing with expression variant faces (SA, PC, RL, GL), pp. 1242–1245.
ICPRICPR-v2-2006-DornaikaD #modelling #recognition #using
Facial Expression Recognition using Auto-regressive Models (FD, FD), pp. 520–523.
ICPRICPR-v2-2006-GanLY #analysis #detection
Detecting Periodically Expressed Genes based on Time-frequency Analysis and L-curve Method (XG, AWCL, HY), pp. 654–657.
ICPRICPR-v2-2006-HarpazH #geometry #learning
Exploiting the Geometry of Gene Expression Patterns for Unsupervised Learning (RH, RMH), pp. 670–674.
ICPRICPR-v2-2006-KanaujiaM
Recognizing Facial Expressions by Tracking Feature Shapes (AK, DNM), pp. 33–38.
ICPRICPR-v3-2006-Eidenberger #identification #image #robust
Kalman Filtering for Robust Identification of Face Images with Varying Expressions and Lighting Conditions (HE), pp. 1073–1076.
ICPRICPR-v3-2006-JainHSVHG #algorithm #clustering #hybrid #recursion #sequence
A Hybrid, Recursive Algorithm for Clustering Expressed Sequence Tags in Chlamydomonas reinhardtii (MJ, HJH, JS, OV, CH, AG), pp. 404–407.
ICPRICPR-v3-2006-LiuW06a #multi #recognition
Facial Expression Recognition Based on Fusion of Multiple Gabor Features (WL, ZW), pp. 536–539.
ICPRICPR-v3-2006-TaronGP
Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions (MT, CG, NP), pp. 889–892.
ICPRICPR-v3-2006-XuL06a #graph #recognition #sketching
Face Recognition by Expression-Driven Sketch Graph Matching (ZX, JL), pp. 1119–1122.
KDDKDD-2006-GaoGEJ #clustering
Discovering significant OPSM subspace clusters in massive gene expression data (BJG, OLG, ME, SJMJ), pp. 922–928.
KDDKDD-2006-LoekitoB #diagrams #mining #performance #using
Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams (EL, JB), pp. 307–316.
KDDKDD-2006-ZhaoZR #framework #mining #named
BLOSOM: a framework for mining arbitrary boolean expressions (LZ, MJZ, NR), pp. 827–832.
KRKR-2006-ChevaleyreEL #modelling #power of
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.
KRKR-2006-GaudouHL
Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.
GPCEGPCE-2006-PerryJW #contract #linear #logic
Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
QAPLQAPL-2006-PradalierP #probability
Expressiveness of Probabilistic pi (SP, CP), pp. 119–136.
SACSAC-2006-HabichWLP #clustering #set
Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.
SACSAC-2006-ReynosoGPM #comprehension #ocl #question
Does object coupling really affect the understanding and modifying of OCL expressions? (LR, MG, MP, MEM), pp. 1721–1727.
ICSEICSE-2006-Dong #modelling #semantics #specification #web
From semantic web to expressive software specifications: a modeling languages spectrum (JSD), pp. 1063–1064.
CSLCSL-2006-Marcinkowski #graph #logic #on the #power of
On the Expressive Power of Graph Logic (JM), pp. 486–500.
LICSLICS-2006-PalamidessiSVV #on the #persistent #π-calculus
On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
HTHT-2005-ShipmanGW #case study #experience
Hypervideo expression: experiences with hyper-hitchcock (FMSI, AG, LW), pp. 217–226.
ICDARICDAR-2005-GarainC #analysis #approach #multi #segmentation
Segmentation of Touching Symbols for OCR of Printed Mathematical Expressions: An Approach based on Multifactorial Analysis (UG, BBC), pp. 177–181.
ICDARICDAR-2005-TapiaR #online #recognition
Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System — An Extension (ET, RR), pp. 1206–1210.
ICDARICDAR-2005-ZhangBZ #fuzzy #logic #using
Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions (LZ, DB, RZ), pp. 972–976.
SIGMODSIGMOD-2005-CongTTX #mining
Mining Top-k Covering Rule Groups for Gene Expression Data (GC, KLT, AKHT, XX), pp. 670–681.
SIGMODSIGMOD-2005-TatemuraSPAC #incremental #maintenance
Incremental Maintenance of Path Expression Views (AS, JT, OP, DA, KSC), pp. 443–454.
FoSSaCSFoSSaCS-2005-Schroder #algebra #logic
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.
CIAACIAA-J-2004-HanW05 #automaton
The generalization of generalized automata: expression automata (YSH, DW), pp. 499–510.
CIAACIAA-2005-HanW #automaton #finite #regular expression
Shorter Regular Expressions from Finite-State Automata (YSH, DW), pp. 141–152.
CIAACIAA-2005-MoraisMR #automaton #regular expression
Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.
CIAACIAA-2005-Sakarovitch #automaton
The Language, the Expression, and the (Small) Automaton (JS), pp. 15–30.
ICALPICALP-2005-ChiniforooshanFM #evaluation
Worst Case Optimal Union-Intersection Expression Evaluation (EC, AF, MM), pp. 179–190.
ICFPICFP-2005-RamseyFG
An expressive language of signatures (NR, KF, PG), pp. 27–40.
ICMLICML-2005-SinghPGBB #analysis #learning
Active learning for sampling in time-series experiments with application to gene expression analysis (RS, NP, DKG, BB, ZBJ), pp. 832–839.
KDDKDD-2005-LebanMBZ #effectiveness #modelling #visual notation
Simple and effective visual models for gene expression cancer diagnostics (GL, MM, IB, BZ), pp. 167–176.
MLDMMLDM-2005-PrayR #mining
Mining Expressive Temporal Associations from Complex Data (KAP, CR), pp. 384–394.
ECOOPECOOP-2005-OstermannMB #composition
Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.
ECOOPECOOP-2005-SalzmanA #multi #prototype
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model (LS, JA), pp. 312–336.
RERE-2005-BoydZF #empirical #natural language
Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study (SB, DZ, AF), pp. 339–352.
SACSAC-2005-Aguilar-RuizD #clustering
Evolutionary computation for biclustering of gene expression (JSAR, FD), pp. 959–960.
SACSAC-2005-BocchiCMPR #approach #coordination #grid
An OWL-S based approach to express grid services coordination (LB, PC, RM, VP, DR), pp. 1661–1667.
SACSAC-2005-ElkhalifaAC #detection #named #specification
InfoFilter: a system for expressive pattern specification and detection over text streams (LE, RA, SC), pp. 1084–1088.
SACSAC-2005-WangP #clustering
Tree-based clustering for gene expression data (BW, WP), pp. 204–205.
SACSAC-2005-WanMA #array #markov #random #similarity #using
Cleaning microarray expression data using Markov random fields based on profile similarity (RW, HM, KFA), pp. 206–207.
CCCC-2005-Padovani #c++ #compilation #using
Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
LICSLICS-2005-BaetenC #algebra #process #regular expression
Regular Expressions in Process Algebra (JCMB, FC), pp. 12–19.
LICSLICS-2005-BonevaTT #logic
Expressiveness of a Spatial Logic for Trees (IB, JMT, ST), pp. 280–289.
ICTSSTestCom-2005-KrichenT05a #framework #realtime #testing
An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.
VMCAIVMCAI-2005-ChangL #abstract interpretation
Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.
DACDAC-2004-TanjiA #analysis #distributed
Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects (YT, HA), pp. 810–813.
SIGMODSIGMOD-2004-BrunoC #query #statistics
Conditional Selectivity for Statistics on Query Expressions (NB, SC), pp. 311–322.
VLDBVLDB-2004-DasGGR #distributed #estimation #set
Distributed Set Expression Cardinality Estimation (AD, SG, MNG, RR), pp. 312–323.
VLDBVLDB-2004-JiangPZ #interactive #mining #named
GPX: Interactive Mining of Gene Expression Data (DJ, JP, AZ), pp. 1249–1252.
VLDBVLDB-2004-XuCOTH #analysis #mining #semantics
Semantic Mining and Analysis of Gene Expression Data (XX, GC, BCO, KLT, AKHT), pp. 1261–1264.
FoSSaCSFoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
CIAACIAA-2004-ChamparnaudNZ #automaton
Computing the Follow Automaton of an Expression (JMC, FN, DZ), pp. 90–101.
CIAACIAA-2004-DelgadoM #approximate #regular expression
Approximation to the Smallest Regular Expression for a Given Regular Language (MD, JM), pp. 312–314.
CIAACIAA-2004-FrishertCW #automaton #finite #regular expression
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views (MF, LGC, BWW), pp. 125–133.
CIAACIAA-2004-FrishertW #automaton #regular expression
Combining Regular Expressions with (Near-)Optimal Brzozowski Automata (MF, BWW), pp. 319–320.
CIAACIAA-2004-HanW #automaton
The Generalization of Generalized Automata: Expression Automata (YSH, DW), pp. 156–166.
CIAACIAA-2004-LeeS #regular expression
Enumerating Regular Expressions and Their Languages (JL, JS), pp. 2–22.
DLTDLT-2004-AnselmoGM #2d #regular expression
Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet (MA, DG, MM), pp. 63–75.
ICALPICALP-2004-FrischC #regular expression
Greedy Regular Expression Matching (AF, LC), pp. 618–629.
ICALPICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of
On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
IFMIFM-2004-MorilloV #compilation
A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.
SFMSFM-2004-CacciagranoC
Expressiveness of Timed Events and Timed Languages (DC, FC), pp. 98–131.
ICFPICFP-2004-BrobergFS #regular expression
Regular expression patterns (NB, AF, JS), pp. 67–78.
CAiSECAiSE-2004-Patig #concept #modelling
Measuring Expressiveness in Conceptual Modeling (SP), pp. 127–141.
CAiSECAiSE-2004-SalinesiEZ #approach #evolution #modelling #requirements #similarity #using
A Systematic Approach to Express IS Evolution Requirements Using Gap Modelling and Similarity Modelling Techniques (CS, AE, IZ), pp. 338–352.
ICEISICEIS-v2-2004-HamzaY #constraints #mining #regular expression #using
Mining Sequential Patterns with Regular Expression Constraints Using Sequential Pattern Tree (MH, KM, MY), pp. 116–121.
CIKMCIKM-2004-ChungJM #clustering #dataset #mining #using
Mining gene expression datasets using density-based clustering (SC, JJ, DM), pp. 150–151.
ICPRICPR-v1-2004-BuciuP #matrix #recognition
Application of non-Negative and Local non Negative Matrix Factorization to Facial Expression Recognition (IB, IP), pp. 288–291.
ICPRICPR-v1-2004-ChenL #image #invariant #recognition
Illumination and Expression Invariant Face Recognition with One Sample Image (SC, BCL), pp. 300–303.
ICPRICPR-v1-2004-GarainCC #documentation #embedded #identification
Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.
ICPRICPR-v2-2004-MitraM #clustering #feature model
Feature Selection and Gene Clustering from Gene Expression Data (PM, DDM), pp. 343–346.
ICPRICPR-v2-2004-WeiXMJS #hybrid
A Hybrid SOM-SVM Method for Analyzing Zebra Fish Gene Expression (WW, LX, XM, PJ, RS), pp. 323–326.
ICPRICPR-v2-2004-XuanDKHCW #feature model #multi #predict #profiling #robust
Robust Feature Selection by Weighted Fisher Criterion for Multiclass Prediction in Gene Expression Profiling (JX, YD, JIK, EPH, RC, YJW), pp. 291–294.
ICPRICPR-v3-2004-WangAWH #realtime #recognition
Real Time Facial Expression Recognition with Adaboost (YW, HA, BW, CH), pp. 926–929.
ICPRICPR-v3-2004-ZhangM #recognition #using
Recognition of Expression Variant Faces Using Weighted Subspaces (YZ, AMM), pp. 149–152.
ICPRICPR-v4-2004-AbboudD #recognition #synthesis
Appearance Factorization based Facial Expression Recognition and Synthesis (BA, FD), pp. 163–166.
ICPRICPR-v4-2004-Syeda-Mahmood #clustering
Order-Preserving Clustering and Its Application to Gene Expression Data (TFSM), pp. 637–640.
KRKR-2004-Coste-MarquisLLM #representation
Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.
ECOOPECOOP-2004-Torgersen #problem #revisited
The Expression Problem Revisited (MT), pp. 123–143.
POPLPOPL-2004-Ford #parsing expression grammar
Parsing expression grammars: a recognition-based syntactic foundation (BF), pp. 111–122.
SACSAC-2004-AbulAPB #generative #using
Finding differentially expressed genes: pattern generation using Q-values (OA, RA, FP, KB), pp. 138–142.
SACSAC-2004-KomuraNTAI #multi #visualisation
Multidimensional support vector machines for visualization of gene expression data (DK, HN, ST, HA, SI), pp. 175–179.
SACSAC-2004-ZumpanoGTV #on the #optimisation #power of #problem #semantics
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.
RTARTA-2004-Toyama #higher-order #lisp #term rewriting #termination
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms (YT), pp. 40–54.
ICTSSTestCom-2004-NeukirchenDG #communication #realtime #requirements #testing #using
Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing (HN, ZRD, JG), pp. 144–159.
VMCAIVMCAI-2004-Sagiv #abstraction #canonical #on the #power of
On the Expressive Power of Canonical Abstraction (SS), p. 58.
ICDARICDAR-2003-GarainC #comprehension #on the #online
On Machine Understanding of Online Handwritten Mathematical Expressions (UG, BBC), pp. 349–353.
ICDARICDAR-2003-MitraGCVP #automation #comprehension
Automatic Understanding of Structures in Printed Mathematical Expressions (JM, UG, BBC, KSHV, TP), pp. 540–544.
ICDARICDAR-2003-NomuraMUS #detection #segmentation
Detection and Segmentation of Touching Characters in Mathematical Expression (AN, KM, SU, MS), pp. 126–130.
SIGMODSIGMOD-2003-GangulyGR #set
Processing Set Expressions over Continuous Update Streams (SG, MNG, RR), pp. 265–276.
VLDBVLDB-2003-Koch #approach #performance #query #xml
Efficient Processing of Expressive Node-Selecting Queries on XML Data in Secondary Storage: A Tree Automata-based Approach (CK), pp. 249–260.
SASSAS-2003-ChristensenMS #analysis #precise #string
Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.
CIAACIAA-2003-ChamparnaudLOZ #automaton #finite
From Regular Weighted Expressions to Finite Automata (JMC, ÉL, FO, DZ), pp. 49–60.
CIAACIAA-2003-FrishertCW #automaton #regular expression
The Effect of Rewriting Regular Expressions on Their Accepting Automata (MF, LGC, BWW), pp. 304–305.
DLTDLT-2003-CaronF
From Glushkov WFAs to Rational Expressions (PC, MF), pp. 183–193.
AGTIVEAGTIVE-2003-AmselJ #aspect-oriented #component #graph transformation
Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.
CAiSECAiSE-2003-WangL #optimisation #query
Query Processing and Optimization for Regular Path Expressions (GW, ML), pp. 30–45.
ICEISICEIS-v4-2003-LopesO #distributed #using
Application Scenarios for Distributed Management Using Snmp Expressions (RPL, JLO), pp. 49–54.
CIKMCIKM-2003-TangZ #mining #multi
Mining multiple phenotype structures underlying gene expression profiles (CT, AZ), pp. 418–425.
KDDKDD-2003-JiangPZ #interactive
Interactive exploration of coherent patterns in time-series gene expression data (DJ, JP, AZ), pp. 565–570.
KDDKDD-2003-Piatetsky-ShapiroKR #array #data analysis
Capturing best practice for microarray gene expression data analysis (GPS, TK, SR), pp. 407–415.
KDDKDD-2003-TangZP #mining
Mining phenotypes and informative genes from gene expression data (CT, AZ, JP), pp. 655–660.
SEKESEKE-2003-FlakeM #constraints #ocl #semantics
Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.
PPDPPPDP-2003-BanyasadC #functional #geometry #on the
On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
SACSAC-2003-KwonHN
Inference of Transcriptional Regulation Relationships from Gene Expression Data (ATJK, HHH, RTN), pp. 135–140.
SACSAC-2003-ShapiroT #natural language #query #web
Constructing Web Search Queries from the User’s Information Need Expressed in a Natural Language (JS, IT), pp. 1157–1162.
CCCC-2003-MelskiR #interprocedural
The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.
RTARTA-2003-ForestK #reduction
Expression Reduction Systems with Patterns (JF, DK), pp. 107–122.
VMCAIVMCAI-2003-GodefroidJ #modelling #on the
On the Expressiveness of 3-Valued Models (PG, RJ), pp. 206–222.
CBSECBSE-2003-WeideOS #composition #performance #reasoning
Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.
DATEDATE-2002-DaemsGS #approach #linear #performance
A Fitting Approach to Generate Symbolic Expressions for Linear and Nonlinear Analog Circuit Performance Characteristics (WD, GGEG, WMCS), pp. 268–273.
PODSPODS-2002-GottlobK #datalog #information management #monad #power of #web
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction (GG, CK), pp. 17–28.
SIGMODSIGMOD-2002-BrunoC #optimisation #query #statistics
Exploiting statistics on query expressions for optimization (NB, SC), pp. 263–274.
SIGMODSIGMOD-2002-PhanN #analysis #named #tool support
GEA: a toolkit for gene expression analysis (JMP, RTN), p. 628.
VLDBVLDB-2002-ChanGR #named #performance #regular expression
RE-Tree: An Efficient Index Structure for Regular Expressions (CYC, MNG, RR), pp. 263–274.
ESOPESOP-2002-Laird #continuation #exception
Exceptions, Continuations and Macro-expressiveness (JL), pp. 133–146.
WCREWCRE-2002-BullTMG #abstraction #regular expression #relational #semantics
Semantic Grep: Regular Expressions + Relational Abstraction (RIB, AT, AJM, MWG), pp. 267–276.
CIAACIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.
CIAACIAA-2002-CaronF #normalisation
Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.
DLTDLT-2002-Seibert #automaton #finite #performance #regular expression
Efficient Transformations from Regular Expressions to Finite Automata (SS), pp. 28–42.
ICALPICALP-2002-GastinM #logic
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.
ICFPICFP-2002-CraryV #scalability #type system
An expressive, scalable type theory for certified code (KC, JV), pp. 191–205.
EDOCEDOC-2002-MilosevicD #behaviour #contract #monitoring #on the
On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
ICPRICPR-v1-2002-BingPL
Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.
ICPRICPR-v2-2002-DuL
Mapping Emotional Status to Facial Expressions (YD, XL), pp. 524–527.
ICPRICPR-v2-2002-MullerWHR #3d #markov #modelling #pseudo #recognition #using
Facial Expression Recognition Using Pseudo 3-D Hidden Markov Models (SM, FW, FH, GR), pp. 32–35.
KDDKDD-2002-LiangK #mining #network
Mining heterogeneous gene expression data with time lagged recurrent neural networks (YL, AK), pp. 415–421.
PPDPPPDP-2002-Chen #integration #type system
Full integration of subtyping and if-expression (GC), pp. 181–188.
PPDPPPDP-2002-NielsenPV #concurrent #constraints #on the #power of #programming language
On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
CADECADE-2002-Horrocks #logic #reasoning #theory and practice
Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.
CAVCAV-2002-BryantLS #logic #modelling #using #verification
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with λ Expressions and Uninterpreted Functions (REB, SKL, SAS), pp. 78–92.
CSLCSL-2002-KuceraS #logic #ltl
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.
ICLPICLP-2002-PearceSSTW #logic programming #polynomial #source code
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.
LICSLICS-2002-HirschkoffLS #decidability #logic
Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.
LICSLICS-2002-Kreutzer #equivalence #fixpoint #logic
Expressive Equivalence of Least and Inflationary Fixed-Point Logic (SK), p. 403–?.
ICDARICDAR-2001-ChanY #named #novel #online #recognition
PenCalc: A Novel Application of On-Line Mathematical Expression Recognition Technology (KFC, DYY), pp. 774–778.
ICDARICDAR-2001-OkamotoIT #evaluation #performance #recognition #robust
Performance Evaluation of a Robust Method for Mathematical Expression Recognition (MO, HI, KT), pp. 121–128.
PODSPODS-2001-Murata #xml
Extended Path Expressions for XML (MM).
VLDBVLDB-2001-AboulnagaAN #internet #xml
Estimating the Selectivity of XML Path Expressions for Internet Scale Applications (AA, ARA, JFN), pp. 591–600.
VLDBVLDB-2001-LiM #query #xml
Indexing and Querying XML Data for Regular Path Expressions (QL, BM), pp. 361–370.
TACASTACAS-2001-WilliamsAH #diagrams #satisfiability #using
Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
ICALPICALP-2001-KiayiasY #game studies #polynomial
Secure Games with Polynomial Expressions (AK, MY), pp. 939–950.
AdaEuropeAdaEurope-2001-Duret-Lutz #ada
Expression Templates in Ada (ADL), pp. 191–202.
SIGIRSIGIR-2001-ChinenyangaK #documentation #retrieval #xml
Expressive Retrieval from XML Documents (TTC, NK), pp. 163–171.
QAPLQAPL-2001-BrogiPW #comparison #linear
Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.
POPLPOPL-2001-HosoyaP #pattern matching #regular expression #xml
Regular expression pattern matching for XML (HH, BCP), pp. 67–80.
CSLCSL-2001-Kanovich #linear #logic #monad #power of
The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.
ICLPICLP-2001-ErdemL #source code #theorem
Fages’ Theorem for Programs with Nested Expressions (EE, VL), pp. 242–254.
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.
PODSPODS-2000-DantsinV #complexity #query
Expressive Power and Data Complexity of Query Languages for Trees and Lists (ED, AV), pp. 157–165.
PODSPODS-2000-NevenS #pattern matching #performance
Expressive and Efficient Pattern Languages for Tree-Structured Data (FN, TS), pp. 145–156.
SIGMODSIGMOD-2000-AgrawalW #framework
A Framework for Expressing and Combining Preferences (RA, ELW), pp. 297–306.
SIGMODSIGMOD-2000-Ross
Expressing Business Rules (RGR), pp. 515–516.
ESOPESOP-2000-BusiZ #coordination #data-driven #on the
On the Expressiveness of Event Notification in Data-Driven Coordination Languages (NB, GZ), pp. 41–55.
FASEFASE-2000-BellegardeJK #composition #refinement
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FoSSaCSFoSSaCS-2000-Damiani #rank #type system
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (FD), pp. 82–97.
TACASTACAS-2000-BodeveixF #infinity #named #validation
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
CSMRCSMR-2000-BrilFGKW #algebra #multi #using
Hiding Expressed Using Relation Algebra with Multi-Relations — Oblique Lifting and Lowering for Unbalanced Systems (RJB, LMGF, AG, RLK, TW), pp. 33–44.
CIAACIAA-2000-Champarnaud #automaton #nondeterminism #regular expression
Implicit Structures to Implement NFA’s from Regular Expressions (JMC), pp. 80–93.
ICALPICALP-2000-DiekertG #ltl
LTL Is Expressively Complete for Mazurkiewicz Traces (VD, PG), pp. 211–222.
ICFPICFP-2000-HosoyaVP #regular expression #xml
Regular expression types for XML (HH, JV, BCP), pp. 11–22.
CHICHI-2000-MakelaGTS #communication #how #image #network #social
Joking, storytelling, artsharing, expressing affection: a field trial of how children and their social network communicate with digital images in leisure time (AM, VG, MT, RS), pp. 548–555.
ICEISICEIS-2000-DietzB #modelling #petri net #process #requirements
Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
ICMLICML-2000-Khardon #learning
Learning Horn Expressions with LogAn-H (RK), pp. 471–478.
ICPRICPR-v1-2000-BesshoIY #detection #using
Detecting Human Face and Recognizing Facial Expressions Using Potential Net (HB, YI, MY), pp. 5076–5079.
ICPRICPR-v2-2000-ChoudhuryP #modelling #robust
Motion Field Histograms for Robust Modeling of Facial Expressions (TC, AP), pp. 2929–2932.
ICPRICPR-v3-2000-KozlovMSRK #performance #segmentation
Fast Redundant Dyadic Wavelet Transform in Application to Spatial Registration of the Expression Patterns of Drosophila Segmentation Genes (KK, EM, MS, JR, DK), pp. 3463–3466.
ICPRICPR-v4-2000-GarainC #approach #documentation
A Syntactic Approach for Processing Mathematical Expressions in Printed Documents (UG, BBC), pp. 4523–4526.
KRKR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
KRKR-2000-HaarslevM #reasoning #strict #transitive
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
GPCEGCSE-2000-Veldhuizen #java
Just When You Thought Your Little Language Was Safe: “Expression Templates” in Java (TLV), pp. 188–202.
POPLPOPL-2000-Walker #policy #security #type system
A Type System for Expressive Security Policies (DW), pp. 254–267.
ICLPCL-2000-BexMN #formal method
A Formal Model for an Expressive Fragment of XSLT (GJB, SM, FN), pp. 1137–1151.
ICLPCL-2000-Janhunen #logic programming #source code #strict
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs (TJ), pp. 852–866.
CSLCSL-2000-Shelah #logic
Choiceless Polynominal Time Logic: Inability to Express (SS), pp. 72–125.
LICSLICS-2000-LemstromH #approximate #logic #pattern matching #transitive
Approximate Pattern Matching is Expressible in Transitive Closure Logic (KL, LH), pp. 157–167.
DATEDATE-1999-HalambiGGKDN #architecture #compilation #named
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
ICDARICDAR-1999-FukudaSTXS #analysis
A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System (RF, IS, FT, MX, MS), pp. 131–134.
ICDARICDAR-1999-ToumitGE #automation #documentation #recursion
A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents (JT, SGS, HE), pp. 119–122.
PODSPODS-1999-CalvaneseGLV #query #regular expression
Rewriting of Regular Expressions and Regular Path Queries (DC, GDG, ML, MYV), pp. 194–204.
VLDBVLDB-1999-GarofalakisRS #constraints #mining #named #regular expression
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints (MNG, RR, KS), pp. 223–234.
ESOPESOP-1999-KrishnamurthiEF
Expressing Structural Properties as Language Constructs (SK, YDE, MF), pp. 258–272.
ESOPESOP-1999-MoggiTBS #ml
An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
ESOPESOP-1999-Norrish #c
Deterministic Expressions in C (MN), pp. 147–161.
TACASTACAS-1999-ParnasP #tool support
An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
PEPMPEPM-1999-TullsenH
Shifting Expression Procedures into Reverse (MT, PH), pp. 95–104.
SASSAS-1999-Asai #analysis
Binding-Time Analysis for Both Static and Dynamic Expressions (KA), pp. 117–133.
ICALPICALP-1999-RieckeT #continuation
Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.
CIAAWIA-1999-NoordG #compilation #finite #natural language #regular expression
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing (GvN, DG), pp. 122–139.
FMFM-v1-1999-MandelC #ocl #on the #power of
On the Expressive Power of OCL (LM, MVC), pp. 854–874.
FMFM-v2-1999-LeavensB #specification
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (GTL, ALB), pp. 1087–1106.
ICFPICFP-1999-KfouryMTW #type system
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) (AJK, HGM, FAT, JBW), pp. 90–101.
AGTIVEAGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
AGTIVEAGTIVE-1999-PlasmeijerE #functional #graph grammar #mobile
Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.
HCIHCI-EI-1999-KawanoK #animation #comprehension
The Effects of Facial Expression on Understanding Japanese Sign Language Animation (SK, TK), pp. 783–787.
EDOCEDOC-1999-BlancGD #concept #enterprise #uml #using
Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.
EDOCEDOC-1999-Linington #community #enterprise #policy #uml #using
Options for expressing ODP enterprise communities and their policies by using UML (PFL), pp. 72–82.
ICEISICEIS-1999-Goossens #ambiguity #approach #modelling #object-oriented
An Aggregation Based Approach to Reconcile Expressiveness and Unambiguity in Object Oriented Modelling Languages (LG), pp. 427–434.
UMLUML-1999-CookKMWW #ocl
Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.
SACSAC-1999-SauderL #development #standard #user interface #web
The Express Web Server: A User Interface for Standards Development (DAS, JL), pp. 610–615.
CSLCSL-1999-DiekertG #logic
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.
ICLPICLP-1999-CaseauJL #algorithm #named #set
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms (YC, FXJ, FL), pp. 245–259.
LICSLICS-1999-MollerR #on the #power of
On the Expressive Power of CTL (FM, AMR), pp. 360–368.
LICSLICS-1999-Ruhl #transitive
Counting and Addition Cannot Express Deterministic Transitive Closure (MR), pp. 326–334.
RTARTA-1999-DowekHK #first-order #higher-order #logic #named
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic (GD, TH, CK), pp. 317–331.
DATEDATE-1998-RoyAB #clustering #named #power management
PowerShake: A Low Power Driven Clustering and Factoring Methodology for Boolean Expressions (SR, HA, PB), pp. 967–968.
PODSPODS-1998-FlorescuLS #query #regular expression
Query Containment for Conjunctive Queries with Regular Expressions (DF, AYL, DS), pp. 139–148.
PODSPODS-1998-NevenB #attribute grammar #documentation #query
Expressiveness of Structured Document Query Languages Based on Attribute Grammars (FN, JVdB), pp. 11–17.
PODSPODS-1998-VandeurzenGG #database #linear #query
An Expressive Language for Linear Spatial Database Queries (LV, MG, DVG), pp. 109–118.
SASSAS-1998-Volpe #alias #first-order #logic programming #source code
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs (PV), pp. 184–199.
PLDIBest-of-PLDI-1998-BodikGS98a
Complete removal of redundant expressions (with retrospective) (RB, RG, MLS), pp. 596–611.
ICALPICALP-1998-BoigelotRW #automaton #integer #on the
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) (BB, SR, PW), pp. 152–163.
ICGTTAGT-1998-Grosse-RhodePS #graph transformation
Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
ICPRICPR-1998-OhbaCTKT #communication
Facial expression communication with FES (KO, GC, TT, TK, KT), pp. 1376–1378.
ICPRICPR-1998-OhtaSN #feature model #modelling #recognition #using
Recognition of facial expressions using muscle-based feature models (HO, HS, HN), pp. 1379–1381.
ICPRICPR-1998-WangIY
Recognizing degree of continuous facial expression change (MW, YI, MY), pp. 1188–1190.
KRKR-1998-BuccafurriLR #logic #order #semantics
Disjunctive Ordered Logic: Semantics and Expressiveness (FB, NL, PR), pp. 418–431.
KRKR-1998-Horrocks #logic #question #using
Using an Expressive Description Logic: FaCT or Fiction? (IH), pp. 636–649.
SIGIRSIGIR-1998-OunisP #named
RELIEF: Combining Expressiveness and Rapidity into a Single System (IO, MP), pp. 266–274.
UMLUML-1998-ArnoldP #uml
Best of Both Worlds — A Mapping from EXPRESS-G to UML (FA, GP), pp. 49–63.
TOOLSTOOLS-PACIFIC-1998-Taniar #query #traversal
Forward vs. Reverse Traversal in Path Expression Query Processing (DT), pp. 127–140.
TOOLSTOOLS-USA-1998-Watkins #contract #interface #programming #using
Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.
PPDPALP-PLILP-1998-Asperti #functional #reduction
Optimal Reduction of Functional Expressions (AA), pp. 427–428.
SACSAC-1998-DentiNO #coordination #on the #power of #programming
On the expressive power of a language for programming coordination media (ED, AN, AO), pp. 169–177.
SACSAC-1998-LazanoM #query #using
Querying virtual videos using path and temporal expressions (RL, HM), pp. 248–252.
ICLPJICSLP-1998-DevienneTT #constraints #set
Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.
LICSLICS-1998-ParrowV #calculus #mobile #process #symmetry
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.
RTARTA-1998-MullerN #constraints #higher-order #logic #monad
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic (MM, JN), pp. 196–210.
ITiCSEITiCSE-WGR-1997-Jimenez-PerisPV #functional #prototype #visual notation #visualisation
Visual HIPE: a prototype for the graphical visualization of functional expressions (demonstration) (RJP, MPM, JÁVI, CPF), p. 149.
ICALPICALP-1997-BuccafurriGS #power of #semantics
The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
ICALPICALP-1997-HarelS #logic #process
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.
ICALPICALP-1997-KarhumakiPM #equation #word
The Expressibility of Languages and Relations by Word Equations (JK, WP, FM), pp. 98–109.
ICALPICALP-1997-Wilke #first-order #logic #strict
Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic (TW), pp. 347–357.
ICGTGG-Handbook-Vol1-Courcelle #graph transformation #higher-order #logic #monad
The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic (BC), pp. 313–400.
HCIHCI-SEC-1997-Morishima #communication #recognition #synthesis
Expression Recognition and Synthesis for Face-to-Face Communication (SM), pp. 415–418.
CIKMCIKM-1997-NakayamaYK #constraints #regular expression
I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.
ECOOPECOOP-1997-Puntigam #coordination #requirements
Coordination Requirements Expressed in Types for Active Objects (FP), pp. 367–388.
POPLPOPL-1997-Palamidessi #power of #π-calculus
Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.
ESECESEC-FSE-1997-PiccoRM #mobile
Expressing Code Mobility in Mobile UNITY (GPP, GCR, PJM), pp. 500–518.
CSLCSL-1997-Schwentick #higher-order #logic #power of
Padding and the Expressive Power of Existential Second-Order Logics (TS), pp. 461–477.
LICSLICS-1997-AndersenH #diagrams
Boolean Expression Diagrams (Extended Abstract) (HRA, HH), pp. 88–98.
LICSLICS-1997-ThiagarajanW #linear #logic
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.
PODSPODS-1996-BenediktDLW #constraints #power of #query #relational
Relational Expressive Power of Constraint Query Languages (MB, GD, LL, LW), pp. 5–16.
SIGMODSIGMOD-1996-ChristophidesCM #query
Evaluating Queries with Generalized Path Expressions (VC, SC, GM), pp. 413–422.
VLDBVLDB-1996-GardarinGT #algorithm #cost analysis #database #object-oriented
Cost-based Selection of Path Expression Processing Algorithms in Object-Oriented Databases (GG, JRG, ZHT), pp. 390–401.
ESOPESOP-1996-ThuneA #towards
Towards an Expressive Language for PDE Solvers (MT, ), pp. 373–386.
ICALPICALP-1996-Billaud #fault
Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.
ICALPICALP-1996-Pin #automaton #calculus #first-order #power of
The Expressive Power of Existential First Order Sentences of Büchi’s Sequential Calculus (JÉP), pp. 300–311.
ICALPICALP-1996-Raymond #data flow #network #regular expression
Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.
CIAAWIA-1996-PontyZC #algorithm #automaton #polynomial #regular expression
A New Quadratic Algorithm to Convert a Regular Expression into an Automaton (JLP, DZ, JMC), pp. 109–119.
ICPRICPR-1996-AlquezarS #context-sensitive grammar #learning #regular expression
Learning of context-sensitive languages described by augmented regular expressions (RA, AS), pp. 745–749.
ICPRICPR-1996-OhyaK #algorithm #detection #image #search-based #using
Detecting facial expressions from face images using a genetic algorithm (JO, FK), pp. 649–653.
ICPRICPR-1996-OkamotoYSY #network #online #string #using
On-line handwriting character string separation method using network expression (MO, HY, KS, KY), pp. 422–425.
ICPRICPR-1996-SakaguchiM #feature model #recognition
Face feature extraction from spatial frequency for dynamic expression recognition (TS, SM), pp. 451–455.
ICPRICPR-1996-SakoS #realtime #recognition
Real-time facial expression recognition based on features’ positions and dimensions (HS, AVWS), pp. 643–648.
ICPRICPR-1996-TatsunoSYIT #analysis #image #synthesis #using
Analysis and synthesis of six primary facial expressions using range images (YT, SS, NY, HI, HT), pp. 489–493.
KRKR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
KRKR-1996-Gottlob #complexity #power of
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.
PPDPPLILP-1996-Kessler #graph #scheduling
Scheduling Expression DAGs for Minimal Register Need (CWK), pp. 228–242.
POPLPOPL-1996-Jones #composition #using
Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.
ICLPJICSLP-1996-Luttringhaus-KappelS #lazy evaluation #performance #set
Applications of Efficient Lazy Set Expression (Poster Abstract) (SLK, DS), p. 531.
LICSLICS-1996-HillebrandK #on the #power of #λ-calculus
On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi (GGH, PCK), pp. 253–263.
LICSLICS-1996-KolaitisV #logic #on the #power of
On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.
DACDAC-1995-ZhouB #canonical #equivalence
Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions (ZZ, WB), pp. 546–551.
ICDARICDAR-v1-1995-TwaakyondoO #analysis #recognition
Structure analysis and recognition of mathematical expressions (HMT, MO), pp. 430–437.
ICDARICDAR-v2-1995-LeeW #design #recognition
Design of a mathematical expression recognition system (HJL, JSW), pp. 1084–1087.
PODSPODS-1995-PicouetV #database #semantics
Semantics and Expressiveness Issues in Active Databases (PP, VV), pp. 126–138.
PEPMPEPM-1995-Sands #higher-order
Higher Order Expression Procedures (DS), pp. 178–189.
DLTDLT-1995-SchieringT #automaton #first-order #logic
Counter-Free Automata, First-Order Logic and Star-Free Expressions (IS, WT), pp. 166–175.
ICALPICALP-1995-HenzingerKW #power of
The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
SEKESEKE-1995-Ait-AmeurBGPP #metaprogramming #specification
Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
PPDPPLILP-1995-BurguesF #evaluation #framework #multi #paradigm
Evaluation of Expressions in a Multiparadigm Framework (XBI, XF), pp. 455–456.
PPDPPLILP-1995-HansSW #functional #implementation #logic
An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.
POPLPOPL-1995-BrookesD #algorithm #parallel
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (SDB, DD), pp. 13–24.
PODSPODS-1994-CalvaneseL #object-oriented
Making Object-Oriented Schemas More Expressive (DC, ML), pp. 243–254.
SIGMODSIGMOD-1994-IoannidisL #ambiguity
Incomplete Path Expressions and their Disambiguation (YEI, YL), pp. 138–149.
VLDBVLDB-1994-FrohnLU #data access
Access to Objects by Path Expressions and Rules (JF, GL, HU), pp. 273–284.
ICALPICALP-1994-GyssensBG #performance
Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.
ICALPICALP-1994-KanellakisHM #analysis #re-engineering
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction (PCK, GGH, HGM), pp. 83–105.
CHICHI-1994-SmetsOG94a #named
Form-giving: expressing the nonobvious (GS, KO, WWG), pp. 79–84.
CIKMCIKM-1994-LiuR #algebra #relational
Algebraic Equivalences Among Nested Relational Expressions (HCL, KR), pp. 234–243.
TOOLSTOOLS-EUROPE-1994-SuppiahLJ #constraints #eiffel
Expressing and Processing Constraints in Eiffel (AS, TL, ACJ), pp. 337–347.
SACSAC-1994-Chen #learning
Application of Boolean expression minimization to learning via hierarchical generalization (JC), pp. 303–307.
CAVCAV-1994-LongBCJM #algorithm #evaluation #fixpoint
An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.
ICLPILPS-1994-Gottlob #complexity #logic programming #power of
Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.
LICSLICS-1994-DawarH #power of #quantifier
The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
LICSLICS-1994-GeuversW #on the #type system
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study (HG, BW), pp. 320–329.
ICDARICDAR-1993-LeeL #comprehension #documentation
Understanding mathematical expressions in a printed document (HJL, MCL), pp. 502–505.
DLTDLT-1993-AntimirovM #regular expression
Rewriting Extended Regular Expressions (VMA, PDM), pp. 195–209.
HCIHCI-ACS-1993-OnoYA #interactive
A Model of Expressive Machine and Its Application to Human-Robot Interaction (CO, YY, YA), pp. 225–230.
HCIHCI-SHI-1993-SaitoN #algebra #comprehension #visual notation
An Algebraic System that Symbolic Expressions Can Interact with Graphical Representations for Understanding Mathematics (HS, MN), pp. 267–272.
SEKESEKE-1993-YoshiuraY #logic #specification
More Expressive Temporal Logic for Specifications (NY, NY), pp. 363–366.
SACSAC-1993-VaidyanathanL #analysis #bound #learning
Analysis of Upper Bound in Valiant’s Model for Learning Bounded CNF Expressions (SV, SL), pp. 754–761.
ICSEICSE-1993-NuseibehKF #multi #requirements #specification
Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.
RTARTA-1993-Backofen #logic
Regular Path Expression in Feature Logic (RB), pp. 121–135.
DACDAC-1992-BhattacharyaAA #fault #generative #testing #using
Delay Fault Test Generation for Scan/Hold Circuits Using Boolean Expressions (DB, PA, VDA), pp. 159–164.
PODSPODS-1992-Dong #datalog #query #tool support
Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.
VLDBVLDB-1992-KemperMS #optimisation
Optimizing Boolean Expressions in Object-Bases (AK, GM, MS), pp. 79–90.
ICALPICALP-1992-ClerboutRZ
Semi-Commutations and Rational Expressions (MC, YR, WZ), pp. 113–125.
ICALPICALP-1992-Straubing #complexity #first-order #power of
Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
LISPLFP-1992-Chin #functional
Safe Fusion of Functional Expressions (WNC), pp. 11–20.
CAiSECAiSE-1992-DuboisBR #requirements
Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.
TOOLSTOOLS-PACIFIC-1992-GerteisW
Synchronizing Objects by Conditional Path Expressions (WG, WW), pp. 193–201.
CSLCSL-1992-BehrendtCG #approximate #optimisation #problem
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.
ICTSSIWPTS-1992-HigashinoBLYT #parametricity #strict
Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.
PODSPODS-1991-BusscheP #power of
The Expressive Power of Structured Values in Pure OODB’s (JVdB, JP), pp. 291–299.
PODSPODS-1991-ImmermanPS #finite #product line #set
The Expressiveness of a Family of Finite Set Languages (NI, SP, DWS), pp. 37–52.
ESOPESOP-J-1990-Felleisen91 #on the #power of #programming language
On the Expressive Power of Programming Languages (MF), pp. 35–75.
STOCSTOC-1991-AspnesBFR #power of
The Expressive Power of Voting Polynomials (JA, RB, MLF, SR), pp. 402–409.
ICALPICALP-1991-Larsen #power of #specification
The Expressive Power of Implicit Specifications (KGL), pp. 204–216.
FPCAFPCA-1991-AikenM #implementation
Implementing Regular Tree Expressions (AA, BRM), pp. 427–447.
CHICHI-1991-ChalfonteFK #comparison #speech
Expressive richness: a comparison of speech and text as media for revision (BLC, RSF, REK), pp. 21–26.
ICMLML-1991-MaclinS #automaton #finite
Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.
CSLCSL-1991-BarguryM #automaton #multi #power of #transitive
The Expressive Power of Transitive Closue and 2-way Multihead Automata (YB, JAM), pp. 1–14.
ISSTATAV-1991-AvruninBCDW #tool support
Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
PODSPODS-1990-AbiteboulSV #nondeterminism
Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
PODSPODS-1990-KolaitisV #case study #datalog #on the #power of #tool support
On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.
PODSPODS-1990-Schlipf #logic programming #semantics
The Expressive Powers of the Logic Programming Semantics (JSS), pp. 196–204.
PODSPODS-1990-Willard #algorithm #calculus #relational
Quasilinear Algorithms for Processing Relational Calculus Expressions (DEW), pp. 243–257.
SIGMODSIGMOD-1990-Sheng #database #deduction #named #power of
IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.
ESOPESOP-1990-Felleisen #on the #power of #programming language
On the Expressive Power of Programming Languages (MF), pp. 134–151.
SIGIRSIGIR-1990-HoppeALZ #information retrieval #interface #named
EXPRESS: An Experimental Interface for Factual Information Retrieval (HUH, KA, BLS, GZ), pp. 63–81.
PPDPPLILP-1990-Queinnec #compilation #higher-order #lisp
Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
LICSLICS-1990-AlurH #complexity #logic #realtime
Real-time Logics: Complexity and Expressiveness (RA, TAH), pp. 390–401.
LICSLICS-1990-Courcelle #graph #higher-order #monad #on the #set
On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) (BC), pp. 190–196.
DACDAC-1989-McGeerB #logic #performance
Efficient Prime Factorization of Logic Expressions (PCM, RKB), pp. 221–225.
HTHT-1989-ConsensM #hypermedia #query
Expressing Structural Hypertext Queries in GraphLog (MPC, AOM), pp. 269–292.
PODSPODS-1989-Cosmadakis #first-order #on the #query #recursion
On the First-Order Expressibility of Recursive Queries (SSC), pp. 311–323.
PODSPODS-1989-DublishM #bound #fixpoint #query
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies (PD, SNM), pp. 324–335.
PODSPODS-1989-LakshmananM #datalog #game studies #induction #power of
Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.
PODSPODS-1989-Manchanda #database #declarative #deduction
Declarative Expression of Deductive Database Updates (SM), pp. 93–100.
SIGMODSIGMOD-1989-HullS #complexity #database #object-oriented #on the #strict
On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract) (RH, JS), pp. 147–158.
VLDBVLDB-1989-KuntzM #query #visual notation
Pasta-3’s Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power (MK, RM), pp. 97–105.
STOCSTOC-1989-AfratiC #query #recursion #strict
Expressiveness of Restricted Recursive Queries (Extended Abstract) (FNA, SSC), pp. 113–126.
ICALPICALP-1989-Baeza-YatesG #performance #regular expression
Efficient Text Searching of Regular Expressions (Extended Abstract) (RABY, GHG), pp. 46–62.
POPLPOPL-1989-Baudinet #logic programming
Temporal Logic Programming is Complete and Expressive (MB), pp. 267–280.
ICLPNACLP-1989-BonnerMV #database #logic #query
Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.
ICLPNACLP-1989-JamsekGCH #named #reduction
WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.
ICLPNACLP-1989-KiferS #logic programming #on the #power of #source code
On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.
PODSPODS-1988-HouOT #algebra #relational #statistics
Statistical Estimators for Relational Algebra Expressions (WCH, , BKT), pp. 276–287.
PODSPODS-1988-HullS #database #on the #power of #query
On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
PODSPODS-1988-Kuper #logic programming #on the #power of #programming language #set
On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
PODSPODS-1988-ParedaensG #algebra #using
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.
STOCSTOC-1988-Yannakakis #combinator #linear #optimisation #problem #source code
Expressing Combinatorial Optimization Problems by Linear Programs (Extended Abstract) (MY), pp. 223–228.
LISPLFP-1988-Roylance
Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.
POPLPOPL-1988-HudakY
A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.
POPLPOPL-1988-Pelegri-LlopartG #code generation
Optimal Code Generation for Expression Trees: An Application of BURS Theory (EPL, SLG), pp. 294–308.
CSLCSL-1988-Lippert #logic
Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.
ICLPJICSCP-1988-McCroskyK88 #array #prolog #using
Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.
DACDAC-1987-Brei #metalanguage #named #representation
Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.
PODSPODS-1987-Gucht #algebra #on the #power of #relational
On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model (DVG), pp. 302–312.
PODSPODS-1987-Shmueli #decidability #logic #query
Decidability and Expressiveness of Logic Queries (OS), pp. 237–249.
PLDIPLDI-1987-Waters #performance
Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.
LICSLICS-1987-HalpernW #abstraction
Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.
VLDBVLDB-1986-LowdenR #natural language #query #relational
The REMIT System for Paraphrasing Relational Query Expressions into Natural Language (BGTL, ANDR), pp. 365–371.
STOCSTOC-1986-Kosaraju #evaluation #parallel
Parallel Evaluation of Division-Free Arithmetic Expressions (SRK), pp. 231–239.
LISPLFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.
ICGTGG-1986-Courcelle #algebra #graph #graph grammar #representation #term rewriting
A representation of graphs by algebraic expressions and its use for graph rewriting systems (BC), pp. 112–132.
POPLPOPL-1986-Kurki-Suonio #programming #towards
Towards Programming with Knowledge Expressions (RKS), pp. 140–149.
POPLPOPL-1986-MacQueen #composition #dependent type #using
Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.
POPLPOPL-1986-Wolper #logic #source code
Expressing Interesting Properties of Programs in Propositional Temporal Logic (PW), pp. 184–193.
SIGMODSIGMOD-1985-KuperV #logic #on the #power of
On the Expressive Power of the Logical Data Model (Preliminary Report) (GMK, MYV), pp. 180–187.
ICALPICALP-1985-SippuS #algorithm #design #on the #performance #relational
On the Use of Relational Expressions in the Design of Efficient Algorithms (Extended Abstract) (SS, ESS), pp. 456–464.
POPLPOPL-1985-AnantharamanCFM #compilation
Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.
RTARTA-1985-Zaionc #regular expression #set #λ-calculus
The Set of Unifiers in Typed λ-Calculus as Regular Expression (MZ), pp. 430–440.
SIGMODSIGMOD-1984-Chan
Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions (EPFC), pp. 149–163.
SIGMODSIGMOD-1984-Willard #calculus #performance #query #relational #using
Efficient Processing of Relational Calculus Expressions Using Range Query Theory (DEW), pp. 164–175.
VLDBVLDB-1984-Kobayashi
A Data Manipulation Model: An Extension of the Alpha Expression (IK), pp. 57–62.
VLDBVLDB-1984-Morgenstern #automation #constraints #declarative #equation
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.
STOCSTOC-1984-Gonnet #equivalence #polynomial #random
Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract) (GHG), pp. 334–341.
ICALPICALP-1984-IzumiIH #algebra #axiom #regular expression
A Complete Axiom System for Algebra of Closed-Regular Expression (HI, YI, NH), pp. 260–269.
LISPLFP-1984-Bellegarde #sequence #term rewriting
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.
LISPLFP-1984-Griswold #evaluation #programming language
Expression Evaluation in the ICON Programming Language (REG), pp. 177–183.
PODSPODS-1983-Graham #database
Path Expressions in Databases (MHG), pp. 366–378.
PODSPODS-1983-ImielinskiL #database #problem #relational
Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.
POPLPOPL-1983-Wegman #graph #regular expression
Summarizing Graphs by Regular Expressions (MNW), pp. 203–216.
PODSPODS-1982-Casanova #dependence #formal method #relational
A Theory of Data Dependencies over Relational Expressions (MAC), pp. 189–198.
SIGMODSIGMOD-1982-DintelmanM #implementation #query
An Implementation of a Query Language Supporting Path Expressions (SMD, ATM), pp. 87–93.
STOCSTOC-1982-EmersonH #branch #logic
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.
LISPLFP-1982-Jones #combinator
An Investigation of the Relative Efficiencies of Combinators and λ Expressions (SLPJ), pp. 150–158.
LISPLFP-1982-KennawayS #process
Expressions as Processes (RK, MRS), pp. 21–28.
LISPLFP-1982-MuchnickJ #combinator #evaluation
A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.
ICGTGG-1982-Staples #evaluation #performance #representation
Two-level expression representation for faster evaluation (JS), pp. 392–404.
POPLPOPL-1982-Boehm #logic
A Logic for Expressions with Side-Effects (HJB), pp. 268–280.
POPLPOPL-1982-Cooper #database #on the #power of #query #relational
On the Expressive Power of Query Languages for Relational Databases (ECC), pp. 361–365.
SIGMODSIGMOD-1981-Richard #algebra #evaluation #query #relational
Evaluation of the Size of a Query Expressed in Relational Algebra (PR), pp. 155–163.
VLDBVLDB-1981-Warren #database #interactive #logic #performance #query #relational
Efficient Processing of Interactive Relational Data Base Queries expressed in Logic (DHDW), pp. 272–281.
ICALPICALP-1981-IbarraLM #complexity #on the
On the Complexity of Simple Arithmetic Expressions (OHI, BSL, SM), pp. 294–304.
ICALPICALP-1981-Jones #analysis
Flow Analysis of λ Expressions (Preliminary Version) (NDJ), pp. 114–128.
ICALPICALP-1981-Makowsky81a #logic #named #power of
Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), p. 551.
ICALPICALP-1981-Sethi
Circular Expressions: Elimination of Static Environments (RS), pp. 378–392.
SIGMODSIGMOD-1980-ChiuH #query
A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions (DMC, YCH), pp. 169–178.
VLDBVLDB-1980-Demolombe #calculus #estimation #query #tuple
Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language (RD), pp. 55–63.
VLDBVLDB-1980-ShneidermanT #automation #database #query
Path Expressions for Complex Queries and Automatic Database Program Conversion (BS, GT), pp. 33–44.
ICALPICALP-1980-Furer #complexity #problem #regular expression
The Complexity of the Inequivalence Problem for Regular Expressions with Intersection (MF), pp. 234–245.
ICALPICALP-1980-LangmaackO #hoare #programming language
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.
ICALPICALP-1980-Makowsky #logic #power of
Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.
POPLPOPL-1980-KapurM #abstraction #set
Expressiveness of the Operation Set of a Data Abstraction (DK, MKS), pp. 139–153.
CCSDCG-1980-Schmidt #λ-calculus
State transition machines for λ calculus expressions (DAS), pp. 415–440.
CADECADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
VLDBVLDB-1979-Demolombe #calculus #semantics
Semantic Checking of Questions Expressed in Predicate Calculus Language (RD), pp. 444–450.
STOCSTOC-1979-MeyerW #logic #on the #power of
On the Expressive Power of Dynamic Logic (Preliminary Report) (ARM, KW), pp. 167–175.
POPLPOPL-1979-Andler
Predicate Path Expressions (SA), pp. 226–236.
ICSEICSE-1979-CampbellK #pascal
Path Expressions in Pascal (RHC, RBK), pp. 212–219.
ICSEICSE-1979-Mullery
CORE : A Method for Controlled Requirement Expression (GPM), pp. 126–135.
SIGMODSIGMOD-1978-AhoSU #optimisation #performance #relational
Efficient Optimization of a Class of Relational Expressions (Abstract) (AVA, YS, JDU), p. 39.
VLDBVLDB-1978-SagivY #difference #equivalence #relational
Equivalence among Relational Expressions with the Union and Difference Operation (YS, MY), pp. 535–548.
POPLPOPL-1978-OgdenRR #complexity #concurrent
Complexity of Expressions Allowing Concurrency (WFO, WER, WCR), pp. 185–194.
POPLPOPL-1978-PrabhalaS #performance
Efficient Computation of Expressions with Common Subexpressions (BP, RS), pp. 222–230.
ICSEICSE-1978-StephensT #requirements #verification
Requirements Expression and Verification Aid (SAS, LLT), pp. 101–108.
POPLPOPL-1976-AhoJU #code generation
Code Generation for Expressions with Common Subexpressions (AVA, SCJ, JDU), pp. 19–31.
STOCSTOC-1975-AhoJ #code generation
Optimal Code Generation for Expression Trees (AVA, SCJ), pp. 207–217.
POPLPOPL-1975-LauerC #petri net
A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.
POPLPOPL-1975-Solomon
Modes, Values, and Expressions (MHS), pp. 149–159.
STOCSTOC-1974-EhrenfeuchtZ #complexity #metric #regular expression
Complexity Measures for Regular Expressions (AE, HPZ), pp. 75–79.
STOCSTOC-1974-Kung #algorithm #bound #evaluation #parallel
New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions (HTK), pp. 323–333.
SIGIRSIGIR-1973-BoyceCHK #query #relational #specification
Specifying Queries as Relational Expressions (RFB, DDC, MH, WFKI), pp. 31–47.
DACDAC-1971-ChuangK
Computer expansion of Boolean expressions (YHC, CCK), pp. 378–383.
STOCSTOC-1969-Johansen #regular expression
Free Groups and Regular Expressions (PJ), pp. 113–128.

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.