Stem express$ (all stems)

867 papers:

DRR-2015-StalnakerZ #retrieval #using

Math expression retrieval using an inverted index over symbol pairs (DS, RZ), p. 940207.

PODS-2015-GottlobPS #dependence

Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.

PODS-2015-MartensNNS #named #xml

BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (WM, FN, MN, TS), pp. 145–156.

VLDB-2015-El-HelwRSCGP #database #optimisation

Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.

FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability

Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.

PLDI-2015-PanchekhaSWT #automation #float

Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.

SAS-2015-AldousM #low level #static analysis

Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.

CIAA-2015-BerglundM #on the #parsing #regular expression #semantics

On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.

CIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression

From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.

CIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression

BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.

CIAA-2015-Hulden #automaton #finite #regular expression

From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.

CIAA-2015-KutribW #capacity

Expressive Capacity of Concatenation Freeness (MK, MW), pp. 199–210.

CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression

Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.

LATA-2015-SulzmannT

Derivatives for Regular Shuffle Expressions (MS, PT), pp. 275–286.

LATA-2015-ThiemannS #automaton #regular expression

From ω-Regular Expressions to Büchi Automata via Partial Derivatives (PT, MS), pp. 287–298.

ICFP-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.

ICFP-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.

ICFP-2015-SwordsST #communication #contract #monitoring

Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.

CHI-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.

CHI-2015-HydeCKH #interactive #persuasion #using

Using an Interactive Avatar’s Facial Expressiveness to Increase Persuasiveness and Socialness (JH, EJC, SBK, JKH), pp. 1719–1728.

CHI-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.

CHI-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.

DUXU-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.

DUXU-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.

HCI-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.

HCI-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.

HIMI-IKD-2015-YoshinoO #using

Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.

KDD-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.

ECOOP-2015-ShinnarSH #calculus #compilation

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.

OOPSLA-2015-GveroK #java #query

Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.

PPDP-2015-RondogiannisT #logic programming #using

Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.

SAC-2015-AbbesPHB #documentation

Leveraging temporal expressions to filter vital documents related to an entity (RA, KPS, NH, MB), pp. 1093–1098.

SAC-2015-ChoobdarRS #network

Discovering weighted motifs in gene co-expression networks (SC, PMPR, FMAS), pp. 10–17.

SAC-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-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.

SLE-2015-LaurentM #parsing expression grammar

Parsing expression grammars made practical (NL, KM), pp. 167–172.

CADE-2015-HeuleHW #proving #symmetry

Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.

CAV-2015-FisherKPW #execution #network

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.

CAV-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.

CAV-2015-AkazakiH #hybrid #robust

Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.

ICLP-2015-Zaniolo #algorithm #logic programming #source code

Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).

LICS-2015-FigueiraL #graph #logic #performance #query

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.

CASE-2014-HabibDBHP #android #learning

Learning human-like facial expressions for Android Phillip K. Dick (AH, SKD, ICB, DH, DOP), pp. 1159–1165.

DATE-2014-ZhuCYP

Application mapping for express channel-based networks-on-chip (DZ, LC, SY, MP), pp. 1–6.

PODS-2014-ArenasGP #query #semantics #web

Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.

PODS-2014-GottlobRS

Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.

TFPIE-2014-OlmerHJ #haskell

Evaluating Haskell expressions in a tutoring environment (TO, BH, JJ), pp. 50–66.

FASE-2014-SvenningssonSSANH #semantics

An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.

PLDI-2014-SampsonPMMGC #probability #verification

Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.

FLOPS-2014-SulzmannL #parsing #regular expression

POSIX Regular Expression Parsing with Derivatives (MS, KZML), pp. 203–220.

DLT-J-2013-TanV14 #graph #query #regular expression

Regular Expressions for Querying Data graphs (TT, DV), pp. 971–986.

AFL-2014-BerglundDM #backtracking #behaviour #regular expression

Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.

AFL-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.

CIAA-2014-DemailleDLSS #automaton #type system

A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.

LATA-2014-Martos-SalgadoR #network #petri net

Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.

LATA-2014-Weidner #probability #regular expression

Probabilistic ω-Regular Expressions (TW), pp. 588–600.

CHI-2014-BenjaminCREVR #composition #named

Juxtapoze: supporting serendipity and creative expression in clipart compositions (WB, SKC, DR, NE, SVNV, KR), pp. 341–350.

CHI-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.

CHI-2014-PedersenH

Expressive touch: studying tapping force on tabletops (EWP, KH), pp. 421–430.

CHI-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.

CHI-2014-XiaoLH #smarttech

Expanding the input expressivity of smartwatches with mechanical pan, twist, tilt and click (RX, GL, CH), pp. 193–196.

DUXU-TMT-2014-MedeirosCCR #challenge #design #interface

Challenges in Designing New Interfaces for Musical Expression (RM, FC, GC, GR), pp. 643–652.

HCI-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.

HCI-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.

HIMI-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.

HIMI-AS-2014-MikamiT #learning #music #performance

A Music Search System for Expressive Music Performance Learning (TM, KT), pp. 80–89.

HIMI-AS-2014-MiwaNHIN

Co-creative Bodily Expression through Remote Shadow Media System (YM, AN, NH, SI, HN), pp. 445–454.

HIMI-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.

SCSM-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.

VISSOFT-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.

CIKM-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.

ICPR-2014-BenliE #recognition

Extraction and Selection of Muscle Based Features for Facial Expression Recognition (KSB, MTE), pp. 1651–1656.

ICPR-2014-BrizziGSS #video

Optical Flow Based Expression Suppression in Video (JB, DBG, SS, MS), pp. 1817–1821.

ICPR-2014-GaoEE #3d #recognition #robust

A Low Dimensionality Expression Robust Rejector for 3D Face Recognition (JG, ME, ANE), pp. 506–511.

ICPR-2014-HuangZPZ #canonical #correlation #recognition #robust #using

Robust Facial Expression Recognition Using Revised Canonical Correlation (XH, GZ, MP, WZ), pp. 1734–1739.

ICPR-2014-HuPYYM #multi #recognition #robust

Robust Multi-pose Facial Expression Recognition (QH, XP, PY, FY, DNM), pp. 1782–1787.

ICPR-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.

ICPR-2014-MavadatiM #automation #metric #modelling

Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.

ICPR-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.

ICPR-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.

ICPR-2014-PerinaKB #array #classification #kernel #using

Expression Microarray Data Classification Using Counting Grids and Fisher Kernel (AP, MK, MB), pp. 1770–1775.

ICPR-2014-SuL #detection

High-Stakes Deception Detection Based on Facial Expressions (LS, MDL), pp. 2519–2524.

ICPR-2014-WangWJ14a #markov #modelling #recognition #using

Early Facial Expression Recognition Using Hidden Markov Models (JW, SW, QJ), pp. 4594–4599.

ICPR-2014-WangYLZF #independence #recognition #using

Micro-expression Recognition Using Dynamic Textures on Tensor Independent Color Space (SW, WJY, XL, GZ, XF), pp. 4678–4683.

KDD-2014-SudhofEMP #sentiment #social

Sentiment expression conditioned by affective transitions and social forces (MS, AGE, ALM, CP), pp. 1136–1145.

KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).

SEKE-2014-PereiraRA #sequence

Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.

SIGIR-2014-ReichenbachAZ #assessment

Rendering expressions to improve accuracy of relevance assessment for math search (MSR, AA, RZ), pp. 851–854.

ECMFA-2014-DouBB #named #ocl

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.

MoDELS-2014-Reinhartz-BergerFH #feature model #modelling

Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.

MoDELS-2014-Reinhartz-BergerFH #feature model #modelling

Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.

ECOOP-2014-ScherrC #staging

Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.

PADL-2014-PetricekS #f#

The F# Computation Expression Zoo (TP, DS), pp. 33–48.

CC-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.

CAV-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.

IJCAR-2014-SteigmillerGL #algorithm #logic

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.

LICS-CSL-2014-CarreiroFVZ #automaton #similarity

Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.

LICS-CSL-2014-DemriD #logic

Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.

SAT-2014-WetzlerHH #named #performance #proving #using

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.

DRR-2013-MedjkouneMPV #approach #online #recognition #using

Using online handwriting and audio streams for mathematical expressions recognition: a bimodal approach (SM, HM, SP, CVG).

ICDAR-2013-KessentiniCP #detection #documentation #regular expression #word

Word Spotting and Regular Expression Detection in Handwritten Documents (YK, CC, TP), pp. 516–520.

ICDAR-2013-MouchereVZGK #contest #online #recognition

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

PODS-2013-AmelootBW #on the #power of

On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.

PODS-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.

SIGMOD-2013-YangWQWL #string #using

Improving regular-expression matching on strings using negative factors (XY, BW, TQ, YW, CL), pp. 361–372.

VLDB-2013-SzlichtaGGZ #complexity #dependence #order

Expressiveness and Complexity of Order Dependencies (JS, PG, JG, CZ), pp. 1858–1869.

FoSSaCS-2013-CzerwinskiDLM #regular expression

Deciding Definability by Deterministic Regular Expressions (WC, CD, KL, WM), pp. 289–304.

CIAA-2013-GrathwohlHNR #parsing #regular expression

Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.

DLT-2013-BerglundBDMW #regular expression

Cuts in Regular Expressions (MB, HB, FD, BvdM, BW), pp. 70–81.

DLT-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.

LATA-2013-ChamparnaudDJM #regular expression

Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions (JMC, JPD, HJ, LM), pp. 202–213.

LATA-2013-HaberHMMR #performance #regular expression

Efficient Submatch Extraction for Practical Regular Expressions (SH, WH, PKM, MM, PR), pp. 323–334.

LATA-2013-LaugerotteSZ #automaton

From Regular Tree Expression to Position Tree Automaton (ÉL, NOS, DZ), pp. 395–406.

ICFP-2013-TraytelN #regular expression #word

Verified decision procedures for MSO on words based on derivatives of regular expressions (DT, TN), pp. 3–12.

CHI-2013-McPhersonGS

The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.

CHI-2013-TanenbaumWDT

Democratizing technology: pleasure, utility and expressiveness in DIY and maker practice (JT, AMW, AD, KT), pp. 2603–2612.

DUXU-NTE-2013-DonovanSS #gesture #interactive #research

Gestural, Emergent and Expressive: Three Research Themes for Haptic Interaction (JD, GS, JS), pp. 352–361.

DUXU-NTE-2013-FeijsKSL #design #using

Design for Relaxation during Milk Expression Using Biofeedback (LMGF, JK, NHvS, MvL), pp. 494–503.

HCI-AMTE-2013-ShikanaiH #comparison

Comparison of Kansei Information between Joyful and Happy Expressions in Dance (NS, KH), pp. 611–619.

HCI-III-2013-BockLSWW #automation #classification

Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.

HCI-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.

HCI-IMT-2013-MedjkouneMPV #multimodal #recognition #speech

Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting (SM, HM, SP, CVG), pp. 77–86.

HCI-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.

HCI-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.

HCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using

System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.

HIMI-LCCB-2013-HayashiMIN #design

Bodily Expression Media by Dual Domain Design of Shadow (NH, YM, SI, HN), pp. 195–202.

HIMI-LCCB-2013-ItaiEM #design

Design of Space for Expression Media with the Use of Fog (SI, YE, YM), pp. 210–218.

HIMI-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.

HIMI-LCCB-2013-YaoS #design #visual notation

The Designing Expressions of the Special Visual Effect Film in the Digital Technology (THY, CYS), pp. 267–274.

ICEIS-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.

KEOD-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.

SAC-2013-HahnMPM #composition #semantics #web #web service

Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.

SAC-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.

ASPLOS-2013-MaiPXKM #invariant #security #verification

Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.

PPoPP-2013-EdmondsWL #algorithm #graph #using

Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.

PPoPP-2013-YuB #automaton #performance #regular expression

Exploring different automata representations for efficient regular expression matching on GPUs (XY, MB), pp. 287–288.

CSL-2013-Hunter #logic #metric #question

When is Metric Temporal Logic Expressively Complete? (PH), pp. 380–394.

ICLP-J-2013-Maher #logic

Relative expressiveness of defeasible logics II (MJM), pp. 579–592.

ISSTA-2013-YiQTR #contract

Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.

LICS-2013-HunterOW #logic #metric

Expressive Completeness for Metric Temporal Logic (PH, JO, JW), pp. 349–357.

LICS-2013-MontanariS #complexity #equivalence #logic

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.

RTA-2013-GrabmayerR #λ-calculus #μ-calculus

Expressibility in the λ Calculus with μ (CG, JR), pp. 206–222.

DAC-2012-PurandareAH #correctness #proving #regular expression

Proving correctness of regular expression accelerators (MP, KA, CH), pp. 350–355.

DRR-2012-SchellenbergYZ #retrieval

Layout-based substitution tree indexing and retrieval for mathematical expressions (TS, BY, RZ).

PODS-2012-GrozMS #linear #regular expression

Deterministic regular expressions in linear time (BG, SM, SS), pp. 49–60.

PODS-2012-LosemannM #complexity

The complexity of evaluating path expressions in SPARQL (KL, WM), pp. 101–112.

VLDB-2012-AlexandrovTM #generative #named #scalability

Myriad: Scalable and Expressive Data Generation (AA, KT, VM), pp. 1890–1893.

VLDB-2012-IseleB #learning #programming #search-based #using

Learning Expressive Linkage Rules using Genetic Programming (RI, CB), pp. 1638–1649.

FASE-2012-ErwigG #regular expression

Explanations for Regular Expressions (ME, RG), pp. 394–408.

SCAM-2012-WilcoxSB #optimisation #program transformation

Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.

PLDI-2012-PerelmanGBG

Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.

PLDI-2012-Turon #concurrent #fine-grained #named

Reagents: expressing and composing fine-grained concurrency (AT), pp. 157–168.

SAS-2012-IoualalenM #abstract domain #representation

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.

CIAA-2012-LiuSGF #automaton #named #regular expression

SDFA: Series DFA for Memory-Efficient Regular Expression Matching (TL, YS, LG, BF), pp. 337–344.

DLT-2012-ChenL #regular expression

Checking Determinism of Regular Expressions with Counting (HC, PL), pp. 332–343.

ICALP-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.

ICALP-v2-2012-Velner #automaton #complexity

The Complexity of Mean-Payoff Automaton Expression (YV), pp. 390–402.

LATA-2012-ChamparnaudJM #approximate #regular expression

Approximate Regular Expressions and Their Derivatives (JMC, HJ, LM), pp. 179–191.

LATA-2012-Hovland #constraints #problem #regular expression

The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.

FM-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-VMT-2012-JalaliRG #incremental #pattern matching #regular expression

Incremental Pattern Matching for Regular Expressions (AJ, AR, AHG).

CHI-2012-HarrisonHHH

Unlocking the expressivity of point lights (CH, JH, GH, SEH), pp. 1683–1692.

CHI-2012-KinHDA #gesture #multi #named #regular expression

Proton: multitouch gestures as regular expressions (KK, BH, TD, MA), pp. 2885–2894.

CHI-2012-SundarOBJK #empirical #self

Interactivity as self-expression: a field experiment with customization and blogging (SSS, JO, SB, HJ, HSK), pp. 395–404.

CHI-2012-YangAAWL #sentiment

The way i talk to you: sentiment expression in an organizational context (JY, LAA, MSA, ZW, CYL), pp. 551–554.

ICML-2012-PrasseSLS #email #identification #learning #regular expression

Learning to Identify Regular Expressions that Describe Email Campaigns (PP, CS, NL, TS), p. 146.

ICPR-2012-DhallG #estimation #process

Group expression intensity estimation in videos via Gaussian Processes (AD, RG), pp. 3525–3528.

ICPR-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.

ICPR-2012-HesseGGE #multi #recognition #using

Multi-view facial expression recognition using local appearance features (NH, TG, HG, HKE), pp. 3533–3536.

ICPR-2012-HuHPZ #parsing

Baseline extraction-driven Parsing of handwritten mathematical expressions (LH, KH, RP, RZ), pp. 326–330.

ICPR-2012-KananA #order #pseudo #recognition #using

Recognition of facial expressions using locally weighted and adjusted order Pseudo Zernike Moments (HRK, MA), pp. 3419–3422.

ICPR-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.

ICPR-2012-LiuSW #learning #recognition #taxonomy

Facial expression recognition based on discriminative dictionary learning (WL, CS, YW), pp. 1839–1842.

ICPR-2012-LiuW #image

Posed and spontaneous expression distinguishment from infrared thermal images (ZL, SW), pp. 1108–1111.

ICPR-2012-RichterGE #classification #image #web

Facial expression classification on web images (MR, TG, HKE), pp. 3517–3520.

ICPR-2012-TawariT #analysis

Audio-visual data association for face expression analysis (AT, MMT), pp. 1120–1123.

ICPR-2012-TuH #invariant #matrix #recognition

Dual subspace nonnegative matrix factorization for person-invariant facial expression recognition (YHT, CTH), pp. 2391–2394.

ICPR-2012-WangWZJ #analysis #bias #database

Bias analyses of spontaneous facial expression database (ZW, SW, YZ, QJ), pp. 2926–2929.

ICPR-2012-ZhangFD #algorithm #multi #recognition

A hierarchical algorithm with multi-feature fusion for facial expression recognition (ZZ, CF, XD), pp. 2363–2366.

ICPR-2012-ZhangYMS #recognition

Expressive deformation profiles for cross expression face recognition (LZ, NY, EMM, TS), pp. 1582–1585.

MLDM-2012-PiatkowskaM #recognition

Computer Recognition of Facial Expressions of Emotion (EP, JM), pp. 405–414.

SIGIR-2012-ElbassuoniRW #flexibility #rdf

RDF Xpress: a flexible expressive RDF search engine (SE, MR, GW), p. 1013.

ECOOP-2012-LeeGHM #metaprogramming #named

Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.

PPDP-2012-SulzmannL #regular expression #using

Regular expression sub-matching using partial derivatives (MS, KZML), pp. 79–90.

SAC-2012-CappelloQ

Expressing global priorities by best-matching (IC, PQ), pp. 1544–1550.

SAC-2012-WangCCX #fault

Fault class prioritization in Boolean expressions (ZW, ZC, TYC, BX), pp. 1191–1196.

SAC-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.

PPoPP-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.

ICLP-J-2012-Maher #logic

Relative expressiveness of defeasible logics (MJM), pp. 793–810.

ICST-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.

IJCAR-2012-SteigmillerLG #logic

Extended Caching, Backjumping and Merging for Expressive Description Logics (AS, TL, BG), pp. 514–529.

SAT-2012-LiffitonM #constraints #for free

A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.

SMT-2012-BjornerGMV #regular expression #sequence

SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.

TAP-2012-BruningGHK #debugging #modelling #ocl #uml

Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.

ASE-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.

DAC-2011-EisenbergAS

In silico synchronization of cellular populations through expression data deconvolution (ME, JNA, DSG), pp. 812–817.

DAC-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.

DocEng-2011-ColineauPL

Expressing conditions in tailored brochures for public administration (NC, CP, KVL), pp. 209–218.

DRR-2011-ZanibbiY #keyword #retrieval

Keyword and image-based retrieval of mathematical expressions (RZ, BY), pp. 1–10.

ICDAR-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.

ICDAR-2011-MouchereVKKG #contest #named #online #recognition

CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.

ICDAR-2011-QuiniouMSVMPM #dataset #named

HAMEX — A Handwritten and Audio Dataset of Mathematical Expressions (SQ, HM, SPS, CVG, EM, SP, SM), pp. 452–456.

ICDAR-2011-ZanibbiPMVB #metric #performance

Stroke-Based Performance Metrics for Handwritten Mathematical Expressions (RZ, AP, HM, CVG, DB), pp. 334–338.

SIGMOD-2011-SadoghiJ #named

BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.

FoSSaCS-2011-BonnetFHR

Ordinal Theory for Expressiveness of Well Structured Transition Systems (RB, AF, SH, FRV), pp. 153–167.

ICPC-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.

WCRE-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.

CIAA-J-2010-DrosteM11 #automaton #monad #regular expression

Weighted Automata and Regular Expressions over Valuation Monoids (MD, IM), pp. 1829–1844.

DLT-J-2010-HolzerK11 #complexity

The Complexity of Regular(-like) Expressions (MH, MK), pp. 1533–1548.

CIAA-2011-LonatiP #2d #automaton #towards

Towards More Expressive 2D Deterministic Automata (VL, MP), pp. 225–237.

DLT-2011-HolzerJ #complexity

Chop Operations and Expressions: Descriptional Complexity Considerations (MH, SJ), pp. 264–275.

DLT-2011-Wilke #functional #regular expression

A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.

ICALP-v2-2011-BovaCV #comparison

Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.

LATA-2011-CaronCM #regular expression

Partial Derivatives of an Extended Regular Expression (PC, JMC, LM), pp. 179–191.

LATA-2011-NielsenH #parsing #regular expression

Bit-coded Regular Expression Parsing (LN, FH), pp. 402–413.

GT-VMT-2011-BrugginkH #decidability #graph

Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).

CHI-2011-HalpernTEDESBG #interactive #named

MoBoogie: creative expression through whole body musical interaction (MKH, JT, ME, SD, AE, KS, EPSB, GG), pp. 557–560.

CHI-2011-HookGMTWO #interactive

A VJ centered exploration of expressive interaction (JH, DPG, JCM, ST, PCW, PO), pp. 1265–1274.

CHI-2011-PatelF #named #visualisation

Read-N-Karaoke: visualizing prosody in children’s books for expressive oral reading (RP, WF), pp. 3203–3206.

CHI-2011-YeeDNL

Introverted elves & conscientious gnomes: the expression of personality in world of warcraft (NY, ND, LN, PL), pp. 753–762.

CSCW-2011-WesterlundNH #coordination #mobile

Express location: supporting coordination of mobile delivery work (MW, MN, LEH), pp. 729–732.

HCD-2011-Kurosu #experience #user interface #word

Descriptive Words for Expressing the User Experience (MK), pp. 81–90.

HCI-ITE-2011-LeeOL #recognition #using

Facial Expression Recognition Using AAMICPF (JSL, CMO, CWL), pp. 268–274.

HCI-MIIE-2011-ChangL #design #interactive #social

Express Yourself: Designing Interactive Products with Implicitness to Improve Social Interaction (HMC, RHL), pp. 175–184.

HCI-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.

HCI-UA-2011-YangCS #analysis #learning #recognition

Facial Expression Recognition for Learning Status Analysis (MTY, YJC, YCS), pp. 131–138.

HIMI-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.

HIMI-v1-2011-TewsOSHF #human-computer #interactive

Emotional Human-Machine Interaction: Cues from Facial Expressions (TKT, MO, FWS, RH, HF), pp. 641–650.

ICEIS-v3-2011-Zhao #analysis #contest #industrial

The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.

CIKM-2011-BrauerRMB #information management #regular expression

Enabling information extraction by inference of regular expressions from sample entities (FB, RR, AM, WMB), pp. 1285–1294.

CIKM-2011-TsangC #query #regular expression #robust

A robust index for regular expression queries (DT, SC), pp. 2365–2368.

ECIR-2011-KoflerLH #internet #video

To Seek, Perchance to Fail: Expressions of User Needs in Internet Video Search (CK, ML, AH), pp. 611–616.

KDD-2011-MueenKY #classification #named

Logical-shapelets: an expressive primitive for time series classification (AM, EJK, NEY), pp. 1154–1162.

MoDELS-2011-FabryZG #case study #design #experience #interactive

Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.

MoDELS-2011-FabryZG #case study #design #experience #interactive

Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.

ECOOP-2011-Chambers

Expressiveness, Simplicity, and Users (CC), p. 229.

POPL-2011-HengleinN #axiom #induction #regular expression

Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.

POPL-2011-JacobsP #composition #concurrent #fine-grained #specification

Expressive modular fine-grained concurrency specification (BJ, FP), pp. 271–282.

CC-2011-MaKA #memory management #multi

Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.

ISSTA-2011-TanejaXTH #generative #named #performance #testing

eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.

TLCA-2011-RoweB #approximate #object-oriented #programming #semantics

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (Extended Abstract) (RNSR, SvB), pp. 229–244.

DRR-2010-AwalMV #classification #hybrid #recognition

A hybrid classifier for handwritten mathematical expression recognition (AMA, HM, CVG), pp. 1–10.

PODS-2010-BarceloHLW #query

Expressive languages for path queries over graph-structured data (PB, CAH, LL, PTW), pp. 3–14.

PODS-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.

SIGMOD-2010-FontouraSSVVVZ

Efficiently evaluating complex boolean expressions (MF, SS, JS, SV, EV, SV, JYZ), pp. 3–14.

SIGMOD-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.

VLDB-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.

VLDB-2010-PoundIW #flexibility #knowledge base #named

QUICK: Expressive and Flexible Search over Knowledge Bases and Text Collections (JP, IFI, GEW), pp. 1573–1576.

ESOP-2010-LaneseVF #on the #power of

On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.

STOC-2010-MagniezMN #streaming

Recognizing well-parenthesized expressions in the streaming model (FM, CM, AN), pp. 261–270.

AFL-J-2008-Lohrey10 #automaton #problem #regular expression

Compressed Membership Problems for Regular Expressions and Hierarchical Automata (ML), pp. 817–841.

CIAA-2010-CimattiMRT #automaton #nondeterminism #regular expression

From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.

CIAA-2010-DrosteM #regular expression

Regular Expressions on Average and in the Long Run (MD, IM), pp. 211–221.

CIAA-2010-LiuGLT #automaton #composition #matrix #regular expression

Compressing Regular Expressions’ DFA Table by Matrix Decomposition (YL, LG, PL, JT), pp. 282–289.

CIAA-2010-Maout #design #regular expression

Regular Expressions at Their Best: A Case for Rational Design (VLM), pp. 310–320.

CIAA-2010-OkuiS #ambiguity #automaton #regular expression

Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (SO, TS), pp. 231–240.

CIAA-2010-ReidenbachS #polynomial #regular expression #scalability

A Polynomial Time Match Test for Large Classes of Extended Regular Expressions (DR, MLS), pp. 241–250.

DLT-2010-HolzerK #complexity

The Complexity of Regular(-Like) Expressions (MH, MK), pp. 16–30.

ICALP-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.

LATA-2010-ChoffrutMMP #on the #power of

On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.

LATA-2010-GruberG #regular expression

Simplifying Regular Expressions (HG, SG), pp. 285–296.

LATA-2010-Hovland #problem #regular expression

The Inclusion Problem for Regular Expressions (DH), pp. 309–320.

LATA-2010-JordanZ #first-order #quantifier

Untestable Properties Expressible with Four First-Order Quantifiers (CJ, TZ), pp. 333–343.

LATA-2010-MiloPZ #constraints #named #regular expression #sequence

SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.

ICFP-2010-FischerHW #functional #game studies #regular expression

A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.

CHI-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.

CHI-2010-GonzalesNZG

Motivating expressive writing with a text-to-sound application (ALG, TYN, OJZ, GG), pp. 1937–1940.

CHI-2010-KomatsuYKFN

Artificial subtle expressions: intuitive notification methodology of artifacts (TK, SY, KK, KF, MN), pp. 1941–1944.

CHI-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.

ICPR-2010-BerrettiBPAD #3d #recognition #set

A Set of Selected SIFT Features for 3D Facial Expression Recognition (SB, ADB, PP, BBA, MD), pp. 4125–4128.

ICPR-2010-BicegoLFD #array #clustering #modelling #topic

Biclustering of Expression Microarray Data with Topic Models (MB, PL, AF, MD), pp. 2728–2731.

ICPR-2010-ChiuHW #clustering

AP-Based Consensus Clustering for Gene Expression Time Series (TYC, TCH, JSW), pp. 2512–2515.

ICPR-2010-FukuiKIN

Facial Expression Mimicking System (RF, KK, YI, TN), pp. 3776–3779.

ICPR-2010-GunluB #3d #composition

3D Face Decomposition and Region Selection Against Expression Variations (GG, HSB), pp. 1298–1301.

ICPR-2010-HuntyAG #linear #modelling

Linear Facial Expression Transfer with Active Appearance Models (MdlH, AA, RG), pp. 3789–3792.

ICPR-2010-JiI #recognition #using

Using Moments on Spatiotemporal Plane for Facial Expression Recognition (YJ, KI), pp. 3806–3809.

ICPR-2010-KhwajaAG #invariant #recognition #representation #using

Illumination and Expression Invariant Recognition Using SSIM Based Sparse Representation (AAK, AA, RG), pp. 4028–4031.

ICPR-2010-KojimaMK #n-gram #recognition

Object Recognition Based on n-gram Expression of Human Actions (AK, HM, KK), pp. 372–375.

ICPR-2010-LiPBT #2d #recognition

Improved Facial Expression Recognition with Trainable 2-D Filters and Support Vector Machines (PL, SLP, AB, FHCT), pp. 3732–3735.

ICPR-2010-MaalejADSB #3d #analysis #recognition

Local 3D Shape Analysis for Facial Expression Recognition (AM, BBA, MD, AS, SB), pp. 4129–4132.

ICPR-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.

ICPR-2010-RudovicPP #multi #recognition

Regression-Based Multi-view Facial Expression Recognition (OR, IP, MP), pp. 4121–4124.

ICPR-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.

ICPR-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.

ICPR-2010-VenkateshKM #3d #approach #recognition #using

Resampling Approach to Facial Expression Recognition Using 3D Meshes (YVV, AAK, OVRM), pp. 3772–3775.

ICPR-2010-VuralBLCEM

Discrimination of Moderate and Acute Drowsiness Based on Spontaneous Facial Expressions (EV, MSB, GL, MÇ, AE, JRM), pp. 3874–3877.

ICPR-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.

PPDP-2010-BrabrandT #ambiguity #pattern matching #regular expression #string #using

Typed and unambiguous pattern matching on strings using regular expressions (CB, JGT), pp. 243–254.

SAC-OOPS-J-2008-JarviF10 #c++

C++ λ expressions and closures (JJ, JF), pp. 762–772.

SAC-2010-BelohlavekV10a #database #logic #query #similarity

Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.

SAC-2010-BicegoLOP #array #classification #modelling #topic #using

Expression microarray classification using topic models (MB, PL, BO, AP), pp. 1516–1520.

SAC-2010-ReisS #constant #programming language

General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.

SAC-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.

ISMM-2010-VechevYY #named #parallel

PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.

CSL-2010-Chaudhuri #logic

Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.

ICST-2010-VeanesHT #named #regular expression

Rex: Symbolic Regular Expression Explorer (MV, PdH, NT), pp. 498–507.

IJCAR-2010-Benthem #complexity #logic

Logic between Expressivity and Complexity (JvB), pp. 122–126.

LICS-2010-LaneveV #power of

The Expressive Power of Synchronizations (CL, AV), pp. 382–391.

LICS-2010-StatonW #on the #symmetry

On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.

RTA-2010-KutsiaM #order #regular expression #unification

Order-Sorted Unification with Regular Expression Sorts (TK, MM), pp. 193–208.

SAT-2010-TompkinsH #satisfiability

Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.

WICSA-ECSA-2009-EmeryH #architecture #framework #using

Every architecture description needs a framework: Expressing architecture frameworks using ISO/IEC 42010 (DEE, RH), pp. 31–40.

ASE-2009-KhatchadourianGRX #aspect-oriented #evolution

Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software (RK, PG, AR, G(X), pp. 575–579.

ASE-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.

DAC-2009-ArfaeeILFK #linear #multi #named #performance

Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.

DATE-2009-GopalakrishnanK #algebra #polynomial #synthesis

Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis (SG, PK), pp. 1452–1457.

ICDAR-2009-AwalMV #recognition #towards

Towards Handwritten Mathematical Expression Recognition (AMA, HM, CVG), pp. 1046–1050.

ICDAR-2009-ChangHZ #framework

A Unified Framework for Recognizing Handwritten Chemical Expressions (MC, SH, DZ), pp. 1345–1349.

ICDAR-2009-Garain #documentation #identification #image

Identification of Mathematical Expressions in Document Images (UG), pp. 1340–1344.

ICDAR-2009-KimRLK #consistency #recognition

Utilizing Consistency Context for Handwritten Mathematical Expression Recognition (KK, THR, JSL, JHK), pp. 1051–1055.

SIGMOD-2009-BexGMN #nondeterminism #regular expression #xml

Simplifying XML schema: effortless handling of nondeterministic regular expressions (GJB, WG, WM, FN), pp. 731–744.

SIGMOD-2009-KoutrikaBG #flexibility #named #recommendation

FlexRecs: expressing and combining flexible recommendations (GK, BB, HGM), pp. 745–758.

VLDB-2009-MeccaPRB

Concise and Expressive Mappings with +Spicy (GM, PP, SR, MB), pp. 1582–1585.

VLDB-2009-WhangBSVVYG

Indexing Boolean Expressions (SW, CB, JS, SV, EV, RY, HGM), pp. 37–48.

FoSSaCS-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.

CIAA-2009-CaronCM #automaton

Small Extended Expressions for Acyclic Automata (PC, JMC, LM), pp. 198–207.

CIAA-2009-GruberHT #automaton #empirical #finite #regular expression

Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.

DLT-2009-GruberH #bound #complexity #regular expression

Tight Bounds on the Descriptional Complexity of Regular Expressions (HG, MH), pp. 276–287.

ICALP-v1-2009-BilleT #performance #regular expression

Faster Regular Expression Matching (PB, MT), pp. 171–182.

LATA-2009-CarleN #on the #regular expression

On Extended Regular Expressions (BC, PN), pp. 279–289.

LATA-2009-SumanP #automaton #integer

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.

IFM-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-VMT-2009-SchimmelGS #graph grammar #term rewriting

Gene Expression with General Purpose Graph Rewriting Systems (JS, TG, CS), pp. 202–212.

DHM-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.

HCI-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.

HCI-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.

HCI-NIMT-2009-MiwaIWIN

Shadow Awareness: Bodily Expression Supporting System with Use of Artificial Shadow (YM, SI, TW, KI, HN), pp. 226–235.

HCI-NT-2009-SakataWOH #music

Effect of Body Movement on Music Expressivity in Jazz Performances (MS, SW, NO, KH), pp. 159–168.

HIMI-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.

OCSC-2009-NeviarouskayaPI #automation #communication #named

EmoHeart: Automation of Expressive Communication of Emotions in Second Life (AN, HP, MI), pp. 584–592.

CIKM-2009-ColazzoGPS #linear #regular expression #xml

Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.

KDD-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.

SEKE-2009-LounisAS #approach #impact analysis #maintenance #predict

Predicting Maintainability expressed as Change Impact: A Machine-learning-based Approach (HL, MKA, HAS), pp. 122–128.

SIGIR-2009-ArapakisKJK #modelling #predict #topic

Modeling facial expressions and peripheral physiological signals to predict topical relevance (IA, IK, JMJ, IK), pp. 728–729.

TOOLS-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.

PPDP-2009-GabbrielliMM #on the #power of

On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.

QAPL-2009-GiroD #distributed #on the #power of #probability

On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.

SAC-2009-SherminO #network #using

Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.

HPCA-2009-GrotHKM

Express Cube Topologies for on-Chip Interconnects (BG, JH, SWK, OM), pp. 163–174.

LICS-2009-ChatterjeeDH

Expressiveness and Closure Properties for Quantitative Languages (KC, LD, TAH), pp. 199–208.

SAT-2009-BuningZB #quantifier #subclass

Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.

ASE-2008-BucchiaroneGLTF #tool support

QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.

DATE-2008-BonesanaPS #adaptation #regular expression

An adaptable FPGA-based System for Regular Expression Matching (IB, MP, MDS), pp. 1262–1267.

PODS-2008-Koch #approximate #database #probability #query

Approximating predicates and expressive queries on probabilistic databases (CK), pp. 99–108.

SIGMOD-2008-BalminOST #optimisation #xpath

Grouping and optimization of XPath expressions in DB2 pureXML (AB, FÖ, AS, ET), pp. 1065–1074.

SIGMOD-2008-MajumderRV #data type #regular expression #scalability

Scalable regular expression matching on data streams (AM, RR, SV), pp. 161–172.

ESOP-2008-Cheney #query #regular expression #type system #xml

Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.

FoSSaCS-2008-GruberJ #bound #communication #complexity #regular expression #using

Optimal Lower Bounds on Regular Expression Size Using Communication Complexity (HG, JJ), pp. 273–286.

SCAM-2008-KhatchadourianR #aspect-oriented #evolution

Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software (RK, AR), pp. 261–262.

PLDI-2008-HuangS

Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.

DLT-2008-GeffertMP #automaton #regular expression #representation

More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.

DLT-2008-GruberH #automaton #finite #regular expression

Provably Shorter Regular Expressions from Deterministic Finite Automata (HG, MH), pp. 383–395.

DLT-2008-KuskeM #automaton #regular expression

Construction of Tree Automata from Regular Expressions (DK, IM), pp. 491–503.

ICALP-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.

ICALP-B-2008-EgriLT #datalog #symmetry

Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.

ICALP-B-2008-GruberH #automaton #finite #regular expression

Finite Automata, Digraph Connectivity, and Regular Expression Size (HG, MH), pp. 39–50.

EDOC-2008-NitzscheLL #multi

Extending BPELlight for Expressing Multi-Partner Message Exchange Patterns (JN, TvL, FL), pp. 245–254.

CIKM-2008-ChanLY #logic #modelling #using

Coreference resolution using expressive logic models (KC, WL, XY), pp. 1373–1374.

CIKM-2008-GhelliCS #linear #regular expression

Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.

ECIR-2008-NunesRD #web

Use of Temporal Expressions in Web Search (SN, CR, GD), pp. 580–584.

ICPR-2008-HuZYWTH #case study #recognition

A study of non-frontal-view facial expressions recognition (YH, ZZ, LY, XW, JT, TSH), pp. 1–4.

ICPR-2008-ParkSK #analysis

Facial expression analysis with facial expression deformation (SP, JS, DK), pp. 1–4.

ICPR-2008-ShiS #graph #recognition

A symbol graph based handwritten math expression recognition (YS, FKS), pp. 1–4.

ICPR-2008-ZhiRM #fuzzy #recognition

Fuzzy discriminant projections for facial expression recognition (RZ, QR, ZM), pp. 1–4.

KR-2008-CaliGK #constraints #infinity #query #relational

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.

KR-2008-RogerHN #on the

On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.

SEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using

Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.

PPDP-2008-OlarteV #monad #security

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security (CO, FDV), pp. 8–19.

SAC-2008-Al-MansariHU #on the #semantics

On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.

SAC-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.

SAC-2008-ShaoYN #classification

Strangeness-based feature weighting and classification of gene expression profiles (HS, BY, JHN), pp. 1292–1296.

LCTES-2008-CohenK #named #regular expression

EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.

CAV-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.

ICST-2008-WeisslederS #automation #ocl #quality #testing

Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.

IJCAR-2008-Lutz #complexity #logic #query

The Complexity of Conjunctive Query Answering in Expressive Description Logics (CL), pp. 179–193.

LICS-2008-ChadhaSV #complexity #finite #monitoring #on the

On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.

LICS-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.

RTA-2008-Toyama #lisp #proving #recursion #term rewriting #termination

Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations (YT), pp. 381–391.

CASE-2007-AnLM #collaboration #design #verification

Expression and Verification of Task Management in Collaborative Design (YSA, RHL, AM), pp. 800–805.

DRR-2007-BuyukbayrakYE #online #recognition

Online handwritten mathematical expression recognition (HB, BAY, AE).

ICDAR-2007-GuoHLJ #automation #comprehension

An Automatic Mathematical Expression Understanding System (YsG, LH, CpL, XJ), pp. 719–723.

ICDAR-2007-ShiLS #framework #recognition #segmentation

A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions (YS, HL, FKS), pp. 854–858.

ICDAR-2007-SmirnovaW #analysis #aspect-oriented

Aspects of Mathematical Expression Analysis in Arabic Handwriting (ESS, SMW), pp. 1183–1187.

PODS-2007-CateL #complexity #query #xpath

The complexity of query containment in expressive fragments of XPath 2.0 (BtC, CL), pp. 73–82.

PODS-2007-FanGN #complexity #transducer #xml

Expressiveness and complexity of xml publishing transducers (WF, FG, FN), pp. 83–92.

VLDB-2007-ChenCB #estimation #performance

A Simple and Efficient Estimation Method for Stream Expression Cardinalities (AC, JC, TB), pp. 171–182.

FoSSaCS-2007-LaroussinieMO #atl #complexity #on the

On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.

FoSSaCS-2007-Rosu #algorithm #effectiveness #problem #regular expression

An Effective Algorithm for the Membership Problem for Extended Regular Expressions (GR), pp. 332–345.

SCAM-2007-NaylorR

Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.

SAS-2007-Martel #semantics

Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.

CIAA-2007-SalomaaYZ

Deterministic Caterpillar Expressions (KS, SY, JZ), pp. 97–108.

DLT-2007-ChamparnaudOZ #equation #performance

An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.

IFL-2007-SulzmannL #haskell #named #regular expression

XHaskell — Adding Regular Expression Types to Haskell (MS, KZML), pp. 75–92.

IFL-2007-WidemannP #functional #programming

Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.

ILC-2007-Harmon #analysis #lisp #tool support

Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.

ILC-2007-RepenningI #lisp

X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.

AGTIVE-2007-GeissK #graph grammar #performance

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.

CHI-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.

CHI-2007-HancockLS #communication

Expressing emotion in text-based communication (JTH, CL, CS), pp. 929–932.

DHM-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.

DHM-2007-XueMLD #fuzzy #generative #modelling

Modeling of Layered Fuzzy Facial Expression Generation (YLX, XM, ZL, WHD), pp. 243–252.

HCI-AS-2007-KelliherD #online

Everyday Storytelling: Supporting the Mediated Expression of Online Personal Testimony (AK, GD), pp. 926–933.

HCI-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.

HCI-IPT-2007-GengLL #3d #retrieval

Force Field Based Expression for 3D Shape Retrieval (XG, WL, HL), pp. 587–596.

HCI-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.

HCI-MIE-2007-FabriEM #learning

Emotionally Expressive Avatars for Chatting, Learning and Therapeutic Intervention (MF, SYAE, DJM), pp. 275–285.

HCI-MIE-2007-LeePL #finite #multi #recognition #transducer

Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer (KL, KSP, YSL), pp. 124–133.

HIMI-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.

HIMI-MTT-2007-ItoKTN #development

Development of Facial Expression Training System (KI, HK, AT, SN), pp. 850–857.

HIMI-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.

AdaEurope-2007-LauLCY #detection #fault #on the

On Detecting Double Literal Faults in Boolean Expressions (MFL, YL, TYC, YTY), pp. 55–68.

ICEIS-HCI-2007-FariaBVR #framework #using

Platform to Drive an Intelligent Wheelchair Using Facial Expressions (PMF, RAMB, EV, LPR), pp. 164–169.

CIKM-2007-BloehdornM #kernel #semantics

Structure and semantics for expressive text kernels (SB, AM), pp. 861–864.

MoDELS-2007-WhittleMAJER #composition #diagrams #uml

An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.

MoDELS-2007-WhittleMAJER #composition #diagrams #uml

An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.

OOPSLA-2007-SasitornC #component #framework #java

Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.

SAC-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.

PPoPP-2007-UpadhyayaPM #concurrent

Expressing and exploiting concurrency in networked applications with aspen (GU, VSP, SPM), pp. 13–23.

CADE-2007-BaeldeGMNT #model checking

The Bedwyr System for Model Checking over Syntactic Expressions (DB, AG, DM, GN, AT), pp. 391–397.

CAV-2007-BrummayerB #c #named #satisfiability

C32SAT: Checking C Expressions (RB, AB), pp. 294–297.

CSL-2007-AbdullaDB #power of

Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.

CSL-2007-Bojanczyk

Forest Expressions (MB), pp. 146–160.

TestCom-FATES-2007-SchulzWR

TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.

DATE-DF-2006-LinHJC #optimisation #pattern matching #regular expression

Optimization of regular expression pattern matching circuits on FPGA (CHL, CTH, CPJ, SCC), pp. 12–17.

DocEng-2006-GenevesL #xml

Comparing XML path expressions (PG, NL), pp. 65–74.

DocEng-2006-QeliF #aspect-oriented #documentation #programming #using #xml #xpath

Filtering XML documents using XPath expressions and aspect-oriented programming (EQ, BF), pp. 85–87.

DocEng-2006-QeliGF #detection #documentation #using #xml #xpath

Customizable detection of changes for XML documents using XPath expressions (EQ, JG, BF), pp. 88–90.

PODS-2006-Cate #transitive #xpath

The expressivity of XPath with transitive closure (BtC), pp. 328–337.

FoSSaCS-2006-Gorla #communication #on the #power of

On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.

TACAS-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.

TACAS-2006-ThomasCP #performance #reachability #using

Efficient Guided Symbolic Reachability Using Reachability Expressions (DT, SC, PKP), pp. 120–134.

CIAA-2006-Thurston #automaton #parsing #regular expression

Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression (ADT), pp. 285–286.

ICALP-v1-2006-Bille #algorithm #regular expression

New Algorithms for Regular Expression Matching (PB), pp. 643–654.

ICALP-v1-2006-BojanczykSSS #automaton #power of

Expressive Power of Pebble Automata (MB, MS, TS, LS), pp. 157–168.

SOFTVIS-2006-LobodaB #adaptation #evaluation #visualisation

WADEIn II: adaptive explanatory visualization for expressions evaluation (TDL, PB), pp. 197–198.

EDOC-2006-YanZY #contract #modelling #ontology #owl #semantics #using

Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.

ICPR-v1-2006-AnC #dataset

Finding Rule Groups to Classify High Dimensional Gene Expression Datasets (JA, YPPC), pp. 1196–1199.

ICPR-v1-2006-LeeE #analysis #modelling #synthesis

Nonlinear Shape and Appearance Models for Facial Expression Analysis and Synthesis (CSL, AME), pp. 497–502.

ICPR-v1-2006-SkelleyFSH #database

Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.

ICPR-v1-2006-SungLK #realtime #recognition #using

A Real-Time Facial Expression Recognition using the STAAM (JS, SL, DK), pp. 275–278.

ICPR-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.

ICPR-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.

ICPR-v2-2006-ArcaCLL #recognition

A face recognition system dealing with expression variant faces (SA, PC, RL, GL), pp. 1242–1245.

ICPR-v2-2006-DornaikaD #modelling #recognition #using

Facial Expression Recognition using Auto-regressive Models (FD, FD), pp. 520–523.

ICPR-v2-2006-GanLY #analysis #detection

Detecting Periodically Expressed Genes based on Time-frequency Analysis and L-curve Method (XG, AWCL, HY), pp. 654–657.

ICPR-v2-2006-HarpazH #geometry #learning

Exploiting the Geometry of Gene Expression Patterns for Unsupervised Learning (RH, RMH), pp. 670–674.

ICPR-v2-2006-KanaujiaM

Recognizing Facial Expressions by Tracking Feature Shapes (AK, DNM), pp. 33–38.

ICPR-v3-2006-Eidenberger #identification #image #robust

Kalman Filtering for Robust Identification of Face Images with Varying Expressions and Lighting Conditions (HE), pp. 1073–1076.

ICPR-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.

ICPR-v3-2006-LiuW06a #multi #recognition

Facial Expression Recognition Based on Fusion of Multiple Gabor Features (WL, ZW), pp. 536–539.

ICPR-v3-2006-TaronGP

Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions (MT, CG, NP), pp. 889–892.

ICPR-v3-2006-XuL06a #graph #recognition #sketching

Face Recognition by Expression-Driven Sketch Graph Matching (ZX, JL), pp. 1119–1122.

KDD-2006-GaoGEJ #clustering

Discovering significant OPSM subspace clusters in massive gene expression data (BJG, OLG, ME, SJMJ), pp. 922–928.

KDD-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.

KDD-2006-ZhaoZR #framework #mining #named

BLOSOM: a framework for mining arbitrary boolean expressions (LZ, MJZ, NR), pp. 827–832.

KR-2006-ChevaleyreEL #modelling #power of

Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.

KR-2006-GaudouHL

Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.

GPCE-2006-PerryJW #contract #linear #logic

Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.

QAPL-2006-PradalierP #probability

Expressiveness of Probabilistic pi (SP, CP), pp. 119–136.

SAC-2006-HabichWLP #clustering #set

Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.

SAC-2006-ReynosoGPM #comprehension #ocl #question

Does object coupling really affect the understanding and modifying of OCL expressions? (LR, MG, MP, MEM), pp. 1721–1727.

ICSE-2006-Dong #modelling #semantics #specification #web

From semantic web to expressive software specifications: a modeling languages spectrum (JSD), pp. 1063–1064.

CSL-2006-Marcinkowski #graph #logic #on the #power of

On the Expressive Power of Graph Logic (JM), pp. 486–500.

LICS-2006-PalamidessiSVV #on the #persistent #π-calculus

On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.

HT-2005-ShipmanGW #case study #experience

Hypervideo expression: experiences with hyper-hitchcock (FMSI, AG, LW), pp. 217–226.

ICDAR-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.

ICDAR-2005-TapiaR #online #recognition

Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System — An Extension (ET, RR), pp. 1206–1210.

ICDAR-2005-ZhangBZ #fuzzy #logic #using

Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions (LZ, DB, RZ), pp. 972–976.

SIGMOD-2005-CongTTX #mining

Mining Top-k Covering Rule Groups for Gene Expression Data (GC, KLT, AKHT, XX), pp. 670–681.

SIGMOD-2005-TatemuraSPAC #incremental #maintenance

Incremental Maintenance of Path Expression Views (AS, JT, OP, DA, KSC), pp. 443–454.

FoSSaCS-2005-Schroder #algebra #logic

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.

CIAA-J-2004-HanW05 #automaton

The generalization of generalized automata: expression automata (YSH, DW), pp. 499–510.

CIAA-2005-HanW #automaton #finite #regular expression

Shorter Regular Expressions from Finite-State Automata (YSH, DW), pp. 141–152.

CIAA-2005-MoraisMR #automaton #regular expression

Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.

CIAA-2005-Sakarovitch #automaton

The Language, the Expression, and the (Small) Automaton (JS), pp. 15–30.

ICALP-2005-ChiniforooshanFM #evaluation

Worst Case Optimal Union-Intersection Expression Evaluation (EC, AF, MM), pp. 179–190.

ICFP-2005-RamseyFG

An expressive language of signatures (NR, KF, PG), pp. 27–40.

ICML-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.

KDD-2005-LebanMBZ #effectiveness #modelling #visual notation

Simple and effective visual models for gene expression cancer diagnostics (GL, MM, IB, BZ), pp. 167–176.

MLDM-2005-PrayR #mining

Mining Expressive Temporal Associations from Complex Data (KAP, CR), pp. 384–394.

ECOOP-2005-OstermannMB #composition

Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.

ECOOP-2005-SalzmanA #multi #prototype

Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model (LS, JA), pp. 312–336.

RE-2005-BoydZF #empirical #natural language

Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study (SB, DZ, AF), pp. 339–352.

SAC-2005-Aguilar-RuizD #clustering

Evolutionary computation for biclustering of gene expression (JSAR, FD), pp. 959–960.

SAC-2005-BocchiCMPR #approach #coordination #grid

An OWL-S based approach to express grid services coordination (LB, PC, RM, VP, DR), pp. 1661–1667.

SAC-2005-ElkhalifaAC #detection #named #specification

InfoFilter: a system for expressive pattern specification and detection over text streams (LE, RA, SC), pp. 1084–1088.

SAC-2005-WangP #clustering

Tree-based clustering for gene expression data (BW, WP), pp. 204–205.

SAC-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.

CC-2005-Padovani #c++ #compilation #using

Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.

LICS-2005-BaetenC #algebra #process #regular expression

Regular Expressions in Process Algebra (JCMB, FC), pp. 12–19.

LICS-2005-BonevaTT #logic

Expressiveness of a Spatial Logic for Trees (IB, JMT, ST), pp. 280–289.

TestCom-2005-KrichenT05a #framework #realtime #testing

An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.

VMCAI-2005-ChangL #abstract interpretation

Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.

DAC-2004-TanjiA #analysis #distributed

Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects (YT, HA), pp. 810–813.

SIGMOD-2004-BrunoC #query #statistics

Conditional Selectivity for Statistics on Query Expressions (NB, SC), pp. 311–322.

VLDB-2004-DasGGR #distributed #estimation #set

Distributed Set Expression Cardinality Estimation (AD, SG, MNG, RR), pp. 312–323.

VLDB-2004-JiangPZ #interactive #mining #named

GPX: Interactive Mining of Gene Expression Data (DJ, JP, AZ), pp. 1249–1252.

VLDB-2004-XuCOTH #analysis #mining #semantics

Semantic Mining and Analysis of Gene Expression Data (XX, GC, BCO, KLT, AKHT), pp. 1261–1264.

FoSSaCS-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.

CIAA-2004-ChamparnaudNZ #automaton

Computing the Follow Automaton of an Expression (JMC, FN, DZ), pp. 90–101.

CIAA-2004-DelgadoM #approximate #regular expression

Approximation to the Smallest Regular Expression for a Given Regular Language (MD, JM), pp. 312–314.

CIAA-2004-FrishertCW #automaton #finite #regular expression

FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views (MF, LGC, BWW), pp. 125–133.

CIAA-2004-FrishertW #automaton #regular expression

Combining Regular Expressions with (Near-)Optimal Brzozowski Automata (MF, BWW), pp. 319–320.

CIAA-2004-HanW #automaton

The Generalization of Generalized Automata: Expression Automata (YSH, DW), pp. 156–166.

CIAA-2004-LeeS #regular expression

Enumerating Regular Expressions and Their Languages (JL, JS), pp. 2–22.

DLT-2004-AnselmoGM #2d #regular expression

Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet (MA, DG, MM), pp. 63–75.

ICALP-2004-FrischC #regular expression

Greedy Regular Expression Matching (AF, LC), pp. 618–629.

ICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of

On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.

IFM-2004-MorilloV #compilation

A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.

SFM-2004-CacciagranoC

Expressiveness of Timed Events and Timed Languages (DC, FC), pp. 98–131.

ICFP-2004-BrobergFS #regular expression

Regular expression patterns (NB, AF, JS), pp. 67–78.

CAiSE-2004-Patig #concept #modelling

Measuring Expressiveness in Conceptual Modeling (SP), pp. 127–141.

CAiSE-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.

ICEIS-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.

CIKM-2004-ChungJM #clustering #dataset #mining #using

Mining gene expression datasets using density-based clustering (SC, JJ, DM), pp. 150–151.

ICPR-v1-2004-BuciuP #matrix #recognition

Application of non-Negative and Local non Negative Matrix Factorization to Facial Expression Recognition (IB, IP), pp. 288–291.

ICPR-v1-2004-ChenL #image #invariant #recognition

Illumination and Expression Invariant Face Recognition with One Sample Image (SC, BCL), pp. 300–303.

ICPR-v1-2004-GarainCC #documentation #embedded #identification

Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.

ICPR-v2-2004-MitraM #clustering #feature model

Feature Selection and Gene Clustering from Gene Expression Data (PM, DDM), pp. 343–346.

ICPR-v2-2004-WeiXMJS #hybrid

A Hybrid SOM-SVM Method for Analyzing Zebra Fish Gene Expression (WW, LX, XM, PJ, RS), pp. 323–326.

ICPR-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.

ICPR-v3-2004-WangAWH #realtime #recognition

Real Time Facial Expression Recognition with Adaboost (YW, HA, BW, CH), pp. 926–929.

ICPR-v3-2004-ZhangM #recognition #using

Recognition of Expression Variant Faces Using Weighted Subspaces (YZ, AMM), pp. 149–152.

ICPR-v4-2004-AbboudD #recognition #synthesis

Appearance Factorization based Facial Expression Recognition and Synthesis (BA, FD), pp. 163–166.

ICPR-v4-2004-Syeda-Mahmood #clustering

Order-Preserving Clustering and Its Application to Gene Expression Data (TFSM), pp. 637–640.

KR-2004-Coste-MarquisLLM #representation

Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.

ECOOP-2004-Torgersen #problem #revisited

The Expression Problem Revisited (MT), pp. 123–143.

POPL-2004-Ford #parsing expression grammar

Parsing expression grammars: a recognition-based syntactic foundation (BF), pp. 111–122.

SAC-2004-AbulAPB #generative #using

Finding differentially expressed genes: pattern generation using Q-values (OA, RA, FP, KB), pp. 138–142.

SAC-2004-KomuraNTAI #multi #visualisation

Multidimensional support vector machines for visualization of gene expression data (DK, HN, ST, HA, SI), pp. 175–179.

SAC-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.

RTA-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.

TestCom-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.

VMCAI-2004-Sagiv #abstraction #canonical #on the #power of

On the Expressive Power of Canonical Abstraction (SS), p. 58.

ICDAR-2003-GarainC #comprehension #on the #online

On Machine Understanding of Online Handwritten Mathematical Expressions (UG, BBC), pp. 349–353.

ICDAR-2003-MitraGCVP #automation #comprehension

Automatic Understanding of Structures in Printed Mathematical Expressions (JM, UG, BBC, KSHV, TP), pp. 540–544.

ICDAR-2003-NomuraMUS #detection #segmentation

Detection and Segmentation of Touching Characters in Mathematical Expression (AN, KM, SU, MS), pp. 126–130.

SIGMOD-2003-GangulyGR #set

Processing Set Expressions over Continuous Update Streams (SG, MNG, RR), pp. 265–276.

VLDB-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.

SAS-2003-ChristensenMS #analysis #precise #string

Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.

CIAA-2003-ChamparnaudLOZ #automaton #finite

From Regular Weighted Expressions to Finite Automata (JMC, ÉL, FO, DZ), pp. 49–60.

CIAA-2003-FrishertCW #automaton #regular expression

The Effect of Rewriting Regular Expressions on Their Accepting Automata (MF, LGC, BWW), pp. 304–305.

DLT-2003-CaronF

From Glushkov WFAs to Rational Expressions (PC, MF), pp. 183–193.

AGTIVE-2003-AmselJ #aspect-oriented #component #graph transformation

Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.

CAiSE-2003-WangL #optimisation #query

Query Processing and Optimization for Regular Path Expressions (GW, ML), pp. 30–45.

ICEIS-v4-2003-LopesO #distributed #using

Application Scenarios for Distributed Management Using Snmp Expressions (RPL, JLO), pp. 49–54.

CIKM-2003-TangZ #mining #multi

Mining multiple phenotype structures underlying gene expression profiles (CT, AZ), pp. 418–425.

KDD-2003-JiangPZ #interactive

Interactive exploration of coherent patterns in time-series gene expression data (DJ, JP, AZ), pp. 565–570.

KDD-2003-Piatetsky-ShapiroKR #array #data analysis

Capturing best practice for microarray gene expression data analysis (GPS, TK, SR), pp. 407–415.

KDD-2003-TangZP #mining

Mining phenotypes and informative genes from gene expression data (CT, AZ, JP), pp. 655–660.

SEKE-2003-FlakeM #constraints #ocl #semantics

Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.

PPDP-2003-BanyasadC #functional #geometry #on the

On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.

SAC-2003-KwonHN

Inference of Transcriptional Regulation Relationships from Gene Expression Data (ATJK, HHH, RTN), pp. 135–140.

SAC-2003-ShapiroT #natural language #query #web

Constructing Web Search Queries from the User’s Information Need Expressed in a Natural Language (JS, IT), pp. 1157–1162.

CC-2003-MelskiR #interprocedural

The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.

RTA-2003-ForestK #reduction

Expression Reduction Systems with Patterns (JF, DK), pp. 107–122.

VMCAI-2003-GodefroidJ #modelling #on the

On the Expressiveness of 3-Valued Models (PG, RJ), pp. 206–222.

CBSE-2003-WeideOS #composition #performance #reasoning

Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.

DATE-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.

PODS-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.

SIGMOD-2002-BrunoC #optimisation #query #statistics

Exploiting statistics on query expressions for optimization (NB, SC), pp. 263–274.

SIGMOD-2002-PhanN #analysis #named #tool support

GEA: a toolkit for gene expression analysis (JMP, RTN), p. 628.

VLDB-2002-ChanGR #named #performance #regular expression

RE-Tree: An Efficient Index Structure for Regular Expressions (CYC, MNG, RR), pp. 263–274.

ESOP-2002-Laird #continuation #exception

Exceptions, Continuations and Macro-expressiveness (JL), pp. 133–146.

WCRE-2002-BullTMG #abstraction #regular expression #relational #semantics

Semantic Grep: Regular Expressions + Relational Abstraction (RIB, AT, AJM, MWG), pp. 267–276.

CIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression

Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.

CIAA-2002-CaronF #normalisation

Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.

DLT-2002-Seibert #automaton #finite #performance #regular expression

Efficient Transformations from Regular Expressions to Finite Automata (SS), pp. 28–42.

ICALP-2002-GastinM #logic

An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.

ICFP-2002-CraryV #scalability #type system

An expressive, scalable type theory for certified code (KC, JV), pp. 191–205.

EDOC-2002-MilosevicD #behaviour #contract #monitoring #on the

On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.

ICPR-v1-2002-BingPL

Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.

ICPR-v2-2002-DuL

Mapping Emotional Status to Facial Expressions (YD, XL), pp. 524–527.

ICPR-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.

KDD-2002-LiangK #mining #network

Mining heterogeneous gene expression data with time lagged recurrent neural networks (YL, AK), pp. 415–421.

PPDP-2002-Chen #integration #type system

Full integration of subtyping and if-expression (GC), pp. 181–188.

PPDP-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.

CADE-2002-Horrocks #logic #reasoning #theory and practice

Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.

CAV-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.

CSL-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.

ICLP-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.

LICS-2002-HirschkoffLS #decidability #logic

Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.

LICS-2002-Kreutzer #equivalence #fixpoint #logic

Expressive Equivalence of Least and Inflationary Fixed-Point Logic (SK), p. 403–?.

ICDAR-2001-ChanY #named #novel #online #recognition

PenCalc: A Novel Application of On-Line Mathematical Expression Recognition Technology (KFC, DYY), pp. 774–778.

ICDAR-2001-OkamotoIT #evaluation #performance #recognition #robust

Performance Evaluation of a Robust Method for Mathematical Expression Recognition (MO, HI, KT), pp. 121–128.

PODS-2001-Murata #xml

Extended Path Expressions for XML (MM).

VLDB-2001-AboulnagaAN #internet #xml

Estimating the Selectivity of XML Path Expressions for Internet Scale Applications (AA, ARA, JFN), pp. 591–600.

VLDB-2001-LiM #query #xml

Indexing and Querying XML Data for Regular Path Expressions (QL, BM), pp. 361–370.

TACAS-2001-WilliamsAH #diagrams #satisfiability #using

Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.

ICALP-2001-KiayiasY #game studies #polynomial

Secure Games with Polynomial Expressions (AK, MY), pp. 939–950.

AdaEurope-2001-Duret-Lutz #ada

Expression Templates in Ada (ADL), pp. 191–202.

SIGIR-2001-ChinenyangaK #documentation #retrieval #xml

Expressive Retrieval from XML Documents (TTC, NK), pp. 163–171.

QAPL-2001-BrogiPW #comparison #linear

Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.

POPL-2001-HosoyaP #pattern matching #regular expression #xml

Regular expression pattern matching for XML (HH, BCP), pp. 67–80.

CSL-2001-Kanovich #linear #logic #monad #power of

The Expressive Power of Horn Monadic Linear Logic (MIK), pp. 39–53.

ICLP-2001-ErdemL #source code #theorem

Fages’ Theorem for Programs with Nested Expressions (EE, VL), pp. 242–254.

IJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.

PODS-2000-DantsinV #complexity #query

Expressive Power and Data Complexity of Query Languages for Trees and Lists (ED, AV), pp. 157–165.

PODS-2000-NevenS #pattern matching #performance

Expressive and Efficient Pattern Languages for Tree-Structured Data (FN, TS), pp. 145–156.

SIGMOD-2000-AgrawalW #framework

A Framework for Expressing and Combining Preferences (RA, ELW), pp. 297–306.

SIGMOD-2000-Ross

Expressing Business Rules (RGR), pp. 515–516.

ESOP-2000-BusiZ #coordination #data-driven #on the

On the Expressiveness of Event Notification in Data-Driven Coordination Languages (NB, GZ), pp. 41–55.

FASE-2000-BellegardeJK #composition #refinement

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.

FoSSaCS-2000-Damiani #rank #type system

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (FD), pp. 82–97.

TACAS-2000-BodeveixF #infinity #named #validation

FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.

CSMR-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.

CIAA-2000-Champarnaud #automaton #nondeterminism #regular expression

Implicit Structures to Implement NFA’s from Regular Expressions (JMC), pp. 80–93.

ICALP-2000-DiekertG #ltl

LTL Is Expressively Complete for Mazurkiewicz Traces (VD, PG), pp. 211–222.

ICFP-2000-HosoyaVP #regular expression #xml

Regular expression types for XML (HH, JV, BCP), pp. 11–22.

CHI-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.

ICEIS-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.

ICML-2000-Khardon #learning

Learning Horn Expressions with LogAn-H (RK), pp. 471–478.

ICPR-v1-2000-BesshoIY #detection #using

Detecting Human Face and Recognizing Facial Expressions Using Potential Net (HB, YI, MY), pp. 5076–5079.

ICPR-v2-2000-ChoudhuryP #modelling #robust

Motion Field Histograms for Robust Modeling of Facial Expressions (TC, AP), pp. 2929–2932.

ICPR-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.

ICPR-v4-2000-GarainC #approach #documentation

A Syntactic Approach for Processing Mathematical Expressions in Printed Documents (UG, BBC), pp. 4523–4526.

KR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability

Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.

KR-2000-HaarslevM #reasoning #strict #transitive

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.

GCSE-2000-Veldhuizen #java

Just When You Thought Your Little Language Was Safe: “Expression Templates” in Java (TLV), pp. 188–202.

POPL-2000-Walker #policy #security #type system

A Type System for Expressive Security Policies (DW), pp. 254–267.

CL-2000-BexMN #formal method

A Formal Model for an Expressive Fragment of XSLT (GJB, SM, FN), pp. 1137–1151.

CL-2000-Janhunen #logic programming #source code #strict

Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs (TJ), pp. 852–866.

CSL-2000-Shelah #logic

Choiceless Polynominal Time Logic: Inability to Express (SS), pp. 72–125.

LICS-2000-LemstromH #approximate #logic #pattern matching #transitive

Approximate Pattern Matching is Expressible in Transitive Closure Logic (KL, LH), pp. 157–167.

DATE-1999-HalambiGGKDN #architecture #compilation #named

EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.

ICDAR-1999-FukudaSTXS #analysis

A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System (RF, IS, FT, MX, MS), pp. 131–134.

ICDAR-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.

PODS-1999-CalvaneseGLV #query #regular expression

Rewriting of Regular Expressions and Regular Path Queries (DC, GDG, ML, MYV), pp. 194–204.

VLDB-1999-GarofalakisRS #constraints #mining #named #regular expression

SPIRIT: Sequential Pattern Mining with Regular Expression Constraints (MNG, RR, KS), pp. 223–234.

ESOP-1999-KrishnamurthiEF

Expressing Structural Properties as Language Constructs (SK, YDE, MF), pp. 258–272.

ESOP-1999-MoggiTBS #ml

An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.

ESOP-1999-Norrish #c

Deterministic Expressions in C (MN), pp. 147–161.

TACAS-1999-ParnasP #tool support

An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.

PEPM-1999-TullsenH

Shifting Expression Procedures into Reverse (MT, PH), pp. 95–104.

SAS-1999-Asai #analysis

Binding-Time Analysis for Both Static and Dynamic Expressions (KA), pp. 117–133.

ICALP-1999-RieckeT #continuation

Typed Exeptions and Continuations Cannot Macro-Express Each Other (JGR, HT), pp. 635–644.

WIA-1999-NoordG #compilation #finite #natural language #regular expression

An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing (GvN, DG), pp. 122–139.

FM-v1-1999-MandelC #ocl #on the #power of

On the Expressive Power of OCL (LM, MVC), pp. 854–874.

FM-v2-1999-LeavensB #specification

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (GTL, ALB), pp. 1087–1106.

ICFP-1999-KfouryMTW #type system

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) (AJK, HGM, FAT, JBW), pp. 90–101.

AGTIVE-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.

AGTIVE-1999-PlasmeijerE #functional #graph grammar #mobile

Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.

HCI-EI-1999-KawanoK #animation #comprehension

The Effects of Facial Expression on Understanding Japanese Sign Language Animation (SK, TK), pp. 783–787.

EDOC-1999-BlancGD #concept #enterprise #uml #using

Using the UML language to express the ODP enterprise concepts (XB, MPG, RLD), pp. 50–59.

EDOC-1999-Linington #community #enterprise #policy #uml #using

Options for expressing ODP enterprise communities and their policies by using UML (PFL), pp. 72–82.

ICEIS-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.

UML-1999-CookKMWW #ocl

Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.

SAC-1999-SauderL #development #standard #user interface #web

The Express Web Server: A User Interface for Standards Development (DAS, JL), pp. 610–615.

CSL-1999-DiekertG #logic

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.

ICLP-1999-CaseauJL #algorithm #named #set

CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms (YC, FXJ, FL), pp. 245–259.

LICS-1999-MollerR #on the #power of

On the Expressive Power of CTL (FM, AMR), pp. 360–368.

LICS-1999-Ruhl #transitive

Counting and Addition Cannot Express Deterministic Transitive Closure (MR), pp. 326–334.

RTA-1999-DowekHK #first-order #higher-order #logic #named

HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic (GD, TH, CK), pp. 317–331.

DATE-1998-RoyAB #clustering #named #power management

PowerShake: A Low Power Driven Clustering and Factoring Methodology for Boolean Expressions (SR, HA, PB), pp. 967–968.

PODS-1998-FlorescuLS #query #regular expression

Query Containment for Conjunctive Queries with Regular Expressions (DF, AYL, DS), pp. 139–148.

PODS-1998-NevenB #attribute grammar #documentation #query

Expressiveness of Structured Document Query Languages Based on Attribute Grammars (FN, JVdB), pp. 11–17.

PODS-1998-VandeurzenGG #database #linear #query

An Expressive Language for Linear Spatial Database Queries (LV, MG, DVG), pp. 109–118.

SAS-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.

Best-of-PLDI-1998-BodikGS98a

Complete removal of redundant expressions (with retrospective) (RB, RG, MLS), pp. 596–611.

ICALP-1998-BoigelotRW #automaton #integer #on the

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) (BB, SR, PW), pp. 152–163.

TAGT-1998-Grosse-RhodePS #graph transformation

Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.

ICPR-1998-OhbaCTKT #communication

Facial expression communication with FES (KO, GC, TT, TK, KT), pp. 1376–1378.

ICPR-1998-OhtaSN #feature model #modelling #recognition #using

Recognition of facial expressions using muscle-based feature models (HO, HS, HN), pp. 1379–1381.

ICPR-1998-WangIY

Recognizing degree of continuous facial expression change (MW, YI, MY), pp. 1188–1190.

KR-1998-BuccafurriLR #logic #order #semantics

Disjunctive Ordered Logic: Semantics and Expressiveness (FB, NL, PR), pp. 418–431.

KR-1998-Horrocks #logic #question #using

Using an Expressive Description Logic: FaCT or Fiction? (IH), pp. 636–649.

SIGIR-1998-OunisP #named

RELIEF: Combining Expressiveness and Rapidity into a Single System (IO, MP), pp. 266–274.

UML-1998-ArnoldP #uml

Best of Both Worlds — A Mapping from EXPRESS-G to UML (FA, GP), pp. 49–63.

TOOLS-PACIFIC-1998-Taniar #query #traversal

Forward vs. Reverse Traversal in Path Expression Query Processing (DT), pp. 127–140.

TOOLS-USA-1998-Watkins #contract #interface #programming #using

Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.

ALP-PLILP-1998-Asperti #functional #reduction

Optimal Reduction of Functional Expressions (AA), pp. 427–428.

SAC-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.

SAC-1998-LazanoM #query #using

Querying virtual videos using path and temporal expressions (RL, HM), pp. 248–252.

JICSLP-1998-DevienneTT #constraints #set

Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.

LICS-1998-ParrowV #calculus #mobile #process #symmetry

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.

RTA-1998-MullerN #constraints #higher-order #logic #monad

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic (MM, JN), pp. 196–210.

ITiCSE-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.

ICALP-1997-BuccafurriGS #power of #semantics

The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.

ICALP-1997-HarelS #logic #process

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.

ICALP-1997-KarhumakiPM #equation #word

The Expressibility of Languages and Relations by Word Equations (JK, WP, FM), pp. 98–109.

ICALP-1997-Wilke #first-order #logic #strict

Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic (TW), pp. 347–357.

GG-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.

HCI-SEC-1997-Morishima #communication #recognition #synthesis

Expression Recognition and Synthesis for Face-to-Face Communication (SM), pp. 415–418.

CIKM-1997-NakayamaYK #constraints #regular expression

I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.

ECOOP-1997-Puntigam #coordination #requirements

Coordination Requirements Expressed in Types for Active Objects (FP), pp. 367–388.

POPL-1997-Palamidessi #power of #π-calculus

Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.

ESEC-FSE-1997-PiccoRM #mobile

Expressing Code Mobility in Mobile UNITY (GPP, GCR, PJM), pp. 500–518.

CSL-1997-Schwentick #higher-order #logic #power of

Padding and the Expressive Power of Existential Second-Order Logics (TS), pp. 461–477.

LICS-1997-AndersenH #diagrams

Boolean Expression Diagrams (Extended Abstract) (HRA, HH), pp. 88–98.

LICS-1997-ThiagarajanW #linear #logic

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.

PODS-1996-BenediktDLW #constraints #power of #query #relational

Relational Expressive Power of Constraint Query Languages (MB, GD, LL, LW), pp. 5–16.

SIGMOD-1996-ChristophidesCM #query

Evaluating Queries with Generalized Path Expressions (VC, SC, GM), pp. 413–422.

VLDB-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.

ESOP-1996-ThuneA #towards

Towards an Expressive Language for PDE Solvers (MT, KÅ), pp. 373–386.

ICALP-1996-Billaud #fault

Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.

ICALP-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.

ICALP-1996-Raymond #data flow #network #regular expression

Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.

WIA-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.

ICPR-1996-AlquezarS #context-sensitive grammar #learning #regular expression

Learning of context-sensitive languages described by augmented regular expressions (RA, AS), pp. 745–749.

ICPR-1996-OhyaK #algorithm #detection #image #search-based #using

Detecting facial expressions from face images using a genetic algorithm (JO, FK), pp. 649–653.

ICPR-1996-OkamotoYSY #network #online #string #using

On-line handwriting character string separation method using network expression (MO, HY, KS, KY), pp. 422–425.

ICPR-1996-SakaguchiM #feature model #recognition

Face feature extraction from spatial frequency for dynamic expression recognition (TS, SM), pp. 451–455.

ICPR-1996-SakoS #realtime #recognition

Real-time facial expression recognition based on features’ positions and dimensions (HS, AVWS), pp. 643–648.

ICPR-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.

KR-1996-GiacomoL #logic #reasoning

TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.

KR-1996-Gottlob #complexity #power of

Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.

PLILP-1996-Kessler #graph #scheduling

Scheduling Expression DAGs for Minimal Register Need (CWK), pp. 228–242.

POPL-1996-Jones #composition #using

Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.

JICSLP-1996-Luttringhaus-KappelS #lazy evaluation #performance #set

Applications of Efficient Lazy Set Expression (Poster Abstract) (SLK, DS), p. 531.

LICS-1996-HillebrandK #on the #power of #λ-calculus

On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi (GGH, PCK), pp. 253–263.

LICS-1996-KolaitisV #logic #on the #power of

On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.

DAC-1995-ZhouB #canonical #equivalence

Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions (ZZ, WB), pp. 546–551.

ICDAR-v1-1995-TwaakyondoO #analysis #recognition

Structure analysis and recognition of mathematical expressions (HMT, MO), pp. 430–437.

ICDAR-v2-1995-LeeW #design #recognition

Design of a mathematical expression recognition system (HJL, JSW), pp. 1084–1087.

PODS-1995-PicouetV #database #semantics

Semantics and Expressiveness Issues in Active Databases (PP, VV), pp. 126–138.

PEPM-1995-Sands #higher-order

Higher Order Expression Procedures (DS), pp. 178–189.

DLT-1995-SchieringT #automaton #first-order #logic

Counter-Free Automata, First-Order Logic and Star-Free Expressions (IS, WT), pp. 166–175.

ICALP-1995-HenzingerKW #power of

The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.

SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification

Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.

PLILP-1995-BurguesF #evaluation #framework #multi #paradigm

Evaluation of Expressions in a Multiparadigm Framework (XBI, XF), pp. 455–456.

PLILP-1995-HansSW #functional #implementation #logic

An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.

POPL-1995-BrookesD #algorithm #parallel

Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (SDB, DD), pp. 13–24.

PODS-1994-CalvaneseL #object-oriented

Making Object-Oriented Schemas More Expressive (DC, ML), pp. 243–254.

SIGMOD-1994-IoannidisL #ambiguity

Incomplete Path Expressions and their Disambiguation (YEI, YL), pp. 138–149.

VLDB-1994-FrohnLU #data access

Access to Objects by Path Expressions and Rules (JF, GL, HU), pp. 273–284.

ICALP-1994-GyssensBG #performance

Expressiveness of Efficient Semi-Deterministic Choice Constructs (MG, JVdB, DVG), pp. 106–117.

ICALP-1994-KanellakisHM #analysis #re-engineering

An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction (PCK, GGH, HGM), pp. 83–105.

CHI-1994-SmetsOG94a #named

Form-giving: expressing the nonobvious (GS, KO, WWG), pp. 79–84.

CIKM-1994-LiuR #algebra #relational

Algebraic Equivalences Among Nested Relational Expressions (HCL, KR), pp. 234–243.

TOOLS-EUROPE-1994-SuppiahLJ #constraints #eiffel

Expressing and Processing Constraints in Eiffel (AS, TL, ACJ), pp. 337–347.

SAC-1994-Chen #learning

Application of Boolean expression minimization to learning via hierarchical generalization (JC), pp. 303–307.

CAV-1994-LongBCJM #algorithm #evaluation #fixpoint

An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.

ILPS-1994-Gottlob #complexity #logic programming #power of

Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.

LICS-1994-DawarH #power of #quantifier

The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.

LICS-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.

ICDAR-1993-LeeL #comprehension #documentation

Understanding mathematical expressions in a printed document (HJL, MCL), pp. 502–505.

DLT-1993-AntimirovM #regular expression

Rewriting Extended Regular Expressions (VMA, PDM), pp. 195–209.

HCI-ACS-1993-OnoYA #interactive

A Model of Expressive Machine and Its Application to Human-Robot Interaction (CO, YY, YA), pp. 225–230.

HCI-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.

SEKE-1993-YoshiuraY #logic #specification

More Expressive Temporal Logic for Specifications (NY, NY), pp. 363–366.

SAC-1993-VaidyanathanL #analysis #bound #learning

Analysis of Upper Bound in Valiant’s Model for Learning Bounded CNF Expressions (SV, SL), pp. 754–761.

ICSE-1993-NuseibehKF #multi #requirements #specification

Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.

RTA-1993-Backofen #logic

Regular Path Expression in Feature Logic (RB), pp. 121–135.

DAC-1992-BhattacharyaAA #fault #generative #testing #using

Delay Fault Test Generation for Scan/Hold Circuits Using Boolean Expressions (DB, PA, VDA), pp. 159–164.

PODS-1992-Dong #datalog #query #tool support

Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.

VLDB-1992-KemperMS #optimisation

Optimizing Boolean Expressions in Object-Bases (AK, GM, MS), pp. 79–90.

ICALP-1992-ClerboutRZ

Semi-Commutations and Rational Expressions (MC, YR, WZ), pp. 113–125.

ICALP-1992-Straubing #complexity #first-order #power of

Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.

LFP-1992-Chin #functional

Safe Fusion of Functional Expressions (WNC), pp. 11–20.

CAiSE-1992-DuboisBR #requirements

Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.

TOOLS-PACIFIC-1992-GerteisW

Synchronizing Objects by Conditional Path Expressions (WG, WW), pp. 193–201.

CSL-1992-BehrendtCG #approximate #optimisation #problem

Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.

IWPTS-1992-HigashinoBLYT #parametricity #strict

Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.

PODS-1991-BusscheP #power of

The Expressive Power of Structured Values in Pure OODB’s (JVdB, JP), pp. 291–299.

PODS-1991-ImmermanPS #finite #product line #set

The Expressiveness of a Family of Finite Set Languages (NI, SP, DWS), pp. 37–52.

ESOP-J-1990-Felleisen91 #on the #power of #programming language

On the Expressive Power of Programming Languages (MF), pp. 35–75.

STOC-1991-AspnesBFR #power of

The Expressive Power of Voting Polynomials (JA, RB, MLF, SR), pp. 402–409.

ICALP-1991-Larsen #power of #specification

The Expressive Power of Implicit Specifications (KGL), pp. 204–216.

FPCA-1991-AikenM #implementation

Implementing Regular Tree Expressions (AA, BRM), pp. 427–447.

CHI-1991-ChalfonteFK #comparison #speech

Expressive richness: a comparison of speech and text as media for revision (BLC, RSF, REK), pp. 21–26.

ML-1991-MaclinS #automaton #finite

Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.

CSL-1991-BarguryM #automaton #multi #power of #transitive

The Expressive Power of Transitive Closue and 2-way Multihead Automata (YB, JAM), pp. 1–14.

TAV-1991-AvruninBCDW #tool support

Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.

PODS-1990-AbiteboulSV #nondeterminism

Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.

PODS-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.

PODS-1990-Schlipf #logic programming #semantics

The Expressive Powers of the Logic Programming Semantics (JSS), pp. 196–204.

PODS-1990-Willard #algorithm #calculus #relational

Quasilinear Algorithms for Processing Relational Calculus Expressions (DEW), pp. 243–257.

SIGMOD-1990-Sheng #database #deduction #named #power of

IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.

ESOP-1990-Felleisen #on the #power of #programming language

On the Expressive Power of Programming Languages (MF), pp. 134–151.

SIGIR-1990-HoppeALZ #information retrieval #interface #named

EXPRESS: An Experimental Interface for Factual Information Retrieval (HUH, KA, BLS, GZ), pp. 63–81.

PLILP-1990-Queinnec #compilation #higher-order #lisp

Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.

LICS-1990-AlurH #complexity #logic #realtime

Real-time Logics: Complexity and Expressiveness (RA, TAH), pp. 390–401.

LICS-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.

DAC-1989-McGeerB #logic #performance

Efficient Prime Factorization of Logic Expressions (PCM, RKB), pp. 221–225.

HT-1989-ConsensM #hypermedia #query

Expressing Structural Hypertext Queries in GraphLog (MPC, AOM), pp. 269–292.

PODS-1989-Cosmadakis #first-order #on the #query #recursion

On the First-Order Expressibility of Recursive Queries (SSC), pp. 311–323.

PODS-1989-DublishM #bound #fixpoint #query

Expressibility of Bounded-Arity Fixed-Point Query Hierarchies (PD, SNM), pp. 324–335.

PODS-1989-LakshmananM #datalog #game studies #induction #power of

Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.

PODS-1989-Manchanda #database #declarative #deduction

Declarative Expression of Deductive Database Updates (SM), pp. 93–100.

SIGMOD-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.

VLDB-1989-KuntzM #query #visual notation

Pasta-3’s Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power (MK, RM), pp. 97–105.

STOC-1989-AfratiC #query #recursion #strict

Expressiveness of Restricted Recursive Queries (Extended Abstract) (FNA, SSC), pp. 113–126.

ICALP-1989-Baeza-YatesG #performance #regular expression

Efficient Text Searching of Regular Expressions (Extended Abstract) (RABY, GHG), pp. 46–62.

POPL-1989-Baudinet #logic programming

Temporal Logic Programming is Complete and Expressive (MB), pp. 267–280.

NACLP-1989-BonnerMV #database #logic #query

Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.

NACLP-1989-JamsekGCH #named #reduction

WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.

NACLP-1989-KiferS #logic programming #on the #power of #source code

On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.

PODS-1988-HouOT #algebra #relational #statistics

Statistical Estimators for Relational Algebra Expressions (WCH, GÖ, BKT), pp. 276–287.

PODS-1988-HullS #database #on the #power of #query

On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.

PODS-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.

PODS-1988-ParedaensG #algebra #using

Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.

STOC-1988-Yannakakis #combinator #linear #optimisation #problem #source code

Expressing Combinatorial Optimization Problems by Linear Programs (Extended Abstract) (MY), pp. 223–228.

LFP-1988-Roylance

Expressing Mathematical Subroutines Constructively (GR), pp. 8–13.

POPL-1988-HudakY

A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.

POPL-1988-Pelegri-LlopartG #code generation

Optimal Code Generation for Expression Trees: An Application of BURS Theory (EPL, SLG), pp. 294–308.

CSL-1988-Lippert #logic

Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.

JICSCP-1988-McCroskyK88 #array #prolog #using

Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.

DAC-1987-Brei #metalanguage #named #representation

Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.

PODS-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.

PODS-1987-Shmueli #decidability #logic #query

Decidability and Expressiveness of Logic Queries (OS), pp. 237–249.

PLDI-1987-Waters #performance

Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.

LICS-1987-HalpernW #abstraction

Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.

VLDB-1986-LowdenR #natural language #query #relational

The REMIT System for Paraphrasing Relational Query Expressions into Natural Language (BGTL, ANDR), pp. 365–371.

STOC-1986-Kosaraju #evaluation #parallel

Parallel Evaluation of Division-Free Arithmetic Expressions (SRK), pp. 231–239.

LFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary

A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.

GG-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.

POPL-1986-Kurki-Suonio #programming #towards

Towards Programming with Knowledge Expressions (RKS), pp. 140–149.

POPL-1986-MacQueen #composition #dependent type #using

Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.

POPL-1986-Wolper #logic #source code

Expressing Interesting Properties of Programs in Propositional Temporal Logic (PW), pp. 184–193.

SIGMOD-1985-KuperV #logic #on the #power of

On the Expressive Power of the Logical Data Model (Preliminary Report) (GMK, MYV), pp. 180–187.

ICALP-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.

POPL-1985-AnantharamanCFM #compilation

Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.

RTA-1985-Zaionc #regular expression #set #λ-calculus

The Set of Unifiers in Typed λ-Calculus as Regular Expression (MZ), pp. 430–440.

SIGMOD-1984-Chan

Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions (EPFC), pp. 149–163.

SIGMOD-1984-Willard #calculus #performance #query #relational #using

Efficient Processing of Relational Calculus Expressions Using Range Query Theory (DEW), pp. 164–175.

VLDB-1984-Kobayashi

A Data Manipulation Model: An Extension of the Alpha Expression (IK), pp. 57–62.

VLDB-1984-Morgenstern #automation #constraints #declarative #equation

Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.

STOC-1984-Gonnet #equivalence #polynomial #random

Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract) (GHG), pp. 334–341.

ICALP-1984-IzumiIH #algebra #axiom #regular expression

A Complete Axiom System for Algebra of Closed-Regular Expression (HI, YI, NH), pp. 260–269.

LFP-1984-Bellegarde #sequence #term rewriting

Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.

LFP-1984-Griswold #evaluation #programming language

Expression Evaluation in the ICON Programming Language (REG), pp. 177–183.

PODS-1983-Graham #database

Path Expressions in Databases (MHG), pp. 366–378.

PODS-1983-ImielinskiL #database #problem #relational

Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.

POPL-1983-Wegman #graph #regular expression

Summarizing Graphs by Regular Expressions (MNW), pp. 203–216.

PODS-1982-Casanova #dependence #formal method #relational

A Theory of Data Dependencies over Relational Expressions (MAC), pp. 189–198.

SIGMOD-1982-DintelmanM #implementation #query

An Implementation of a Query Language Supporting Path Expressions (SMD, ATM), pp. 87–93.

STOC-1982-EmersonH #branch #logic

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.

LFP-1982-Jones #combinator

An Investigation of the Relative Efficiencies of Combinators and λ Expressions (SLPJ), pp. 150–158.

LFP-1982-KennawayS #process

Expressions as Processes (RK, MRS), pp. 21–28.

LFP-1982-MuchnickJ #combinator #evaluation

A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.

GG-1982-Staples #evaluation #performance #representation

Two-level expression representation for faster evaluation (JS), pp. 392–404.

POPL-1982-Boehm #logic

A Logic for Expressions with Side-Effects (HJB), pp. 268–280.

POPL-1982-Cooper #database #on the #power of #query #relational

On the Expressive Power of Query Languages for Relational Databases (ECC), pp. 361–365.

SIGMOD-1981-Richard #algebra #evaluation #query #relational

Evaluation of the Size of a Query Expressed in Relational Algebra (PR), pp. 155–163.

VLDB-1981-Warren #database #interactive #logic #performance #query #relational

Efficient Processing of Interactive Relational Data Base Queries expressed in Logic (DHDW), pp. 272–281.

ICALP-1981-IbarraLM #complexity #on the

On the Complexity of Simple Arithmetic Expressions (OHI, BSL, SM), pp. 294–304.

ICALP-1981-Jones #analysis

Flow Analysis of λ Expressions (Preliminary Version) (NDJ), pp. 114–128.

ICALP-1981-Makowsky81a #logic #named #power of

Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), p. 551.

ICALP-1981-Sethi

Circular Expressions: Elimination of Static Environments (RS), pp. 378–392.

SIGMOD-1980-ChiuH #query

A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions (DMC, YCH), pp. 169–178.

VLDB-1980-Demolombe #calculus #estimation #query #tuple

Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language (RD), pp. 55–63.

VLDB-1980-ShneidermanT #automation #database #query

Path Expressions for Complex Queries and Automatic Database Program Conversion (BS, GT), pp. 33–44.

ICALP-1980-Furer #complexity #problem #regular expression

The Complexity of the Inequivalence Problem for Regular Expressions with Intersection (MF), pp. 234–245.

ICALP-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.

ICALP-1980-Makowsky #logic #power of

Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.

POPL-1980-KapurM #abstraction #set

Expressiveness of the Operation Set of a Data Abstraction (DK, MKS), pp. 139–153.

SDCG-1980-Schmidt #λ-calculus

State transition machines for λ calculus expressions (DAS), pp. 415–440.

CADE-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.

VLDB-1979-Demolombe #calculus #semantics

Semantic Checking of Questions Expressed in Predicate Calculus Language (RD), pp. 444–450.

STOC-1979-MeyerW #logic #on the #power of

On the Expressive Power of Dynamic Logic (Preliminary Report) (ARM, KW), pp. 167–175.

POPL-1979-Andler

Predicate Path Expressions (SA), pp. 226–236.

ICSE-1979-CampbellK #pascal

Path Expressions in Pascal (RHC, RBK), pp. 212–219.

ICSE-1979-Mullery

CORE : A Method for Controlled Requirement Expression (GPM), pp. 126–135.

SIGMOD-1978-AhoSU #optimisation #performance #relational

Efficient Optimization of a Class of Relational Expressions (Abstract) (AVA, YS, JDU), p. 39.

VLDB-1978-SagivY #difference #equivalence #relational

Equivalence among Relational Expressions with the Union and Difference Operation (YS, MY), pp. 535–548.

POPL-1978-OgdenRR #complexity #concurrent

Complexity of Expressions Allowing Concurrency (WFO, WER, WCR), pp. 185–194.

POPL-1978-PrabhalaS #performance

Efficient Computation of Expressions with Common Subexpressions (BP, RS), pp. 222–230.

ICSE-1978-StephensT #requirements #verification

Requirements Expression and Verification Aid (SAS, LLT), pp. 101–108.

POPL-1976-AhoJU #code generation

Code Generation for Expressions with Common Subexpressions (AVA, SCJ, JDU), pp. 19–31.

STOC-1975-AhoJ #code generation

Optimal Code Generation for Expression Trees (AVA, SCJ), pp. 207–217.

POPL-1975-LauerC #petri net

A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.

POPL-1975-Solomon

Modes, Values, and Expressions (MHS), pp. 149–159.

STOC-1974-EhrenfeuchtZ #complexity #metric #regular expression

Complexity Measures for Regular Expressions (AE, HPZ), pp. 75–79.

STOC-1974-Kung #algorithm #bound #evaluation #parallel

New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions (HTK), pp. 323–333.

SIGIR-1973-BoyceCHK #query #relational #specification

Specifying Queries as Relational Expressions (RFB, DDC, MH, WFKI), pp. 31–47.

DAC-1971-ChuangK

Computer expansion of Boolean expressions (YHC, CCK), pp. 378–383.

STOC-1969-Johansen #regular expression

Free Groups and Regular Expressions (PJ), pp. 113–128.