## Stem ration$ (all stems)

### 135 papers:

- LATA-2015-BoassonC
- Rational Selecting Relations and Selectors (LB, OC), pp. 716–726.
- CHI-2015-ChenBBOH #behaviour #interactive
- The Emergence of Interactive Behavior: A Model of Rational Menu Search (XC, GB, DPB, AO, AH), pp. 4217–4226.
- ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing
- Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
- ICEIS-v2-2015-BerardiVC #named
- R2BA — Rationalizing R2RML Mapping by Assertion (RB, VMPV, MAC), pp. 5–14.
- CADE-2015-Passmore #algebra #decidability #integer
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (GOP), pp. 181–196.
- CIAA-2014-DemailleDLSS #automaton #type system
- A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.
- CIAA-2014-Roche-LimaDF #automaton #kernel
- Pairwise Rational Kernels Obtained by Automaton Operations (ARL, MD, BF), pp. 332–345.
- DLT-2014-MarsaultS
- Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.
- LATA-2014-FormentiHKP #complexity
- ω-rational Languages: High Complexity Classes vs. Borel Hierarchy (EF, MH, MK, JP), pp. 372–383.
- ICEIS-v1-2014-SilveiraCC #case study #problem
- A Problem-solving Agent to Test Rational Agents — A Case Study with Reactive Agents (FRdVS, GALdC, MIC), pp. 505–513.
- KR-2014-BjorndahlHP #axiom
- Axiomatizing Rationality (AB, JYH, RP).
- ICMT-2014-DiskinWGC #symmetry #taxonomy #towards
- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
- RE-2014-QianPCMWZ #adaptation #reasoning #self
- Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation (WQ, XP, BC, JM, HW, WZ), pp. 113–122.
- ICLP-J-2014-MantadelisRM #exclamation #induction
- Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
- LICS-CSL-2014-BarceloM #combinator #graph #logic #word
- Graph logics with rational relations: the role of word combinatorics (PB, PM), p. 10.
- ICALP-v2-2013-LohreySZ #set
- Rational Subsets and Submonoids of Wreath Products (ML, BS, GZ), pp. 361–372.
- ICALP-v2-2013-Woods #generative
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.
- HIMI-HSM-2013-KimuraHTN #evaluation #performance #using
- Determination of Alarm Setpoint for Alarm System Rationalization Using Performance Evaluation (NK, TH, KT, MN), pp. 507–514.
- PPDP-2013-RobbinsHK
- Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.
- CADE-2013-MouraP
- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (LMdM, GOP), pp. 178–192.
- STOC-2012-AzarM #proving
- Rational proofs (PDA, SM), pp. 1017–1028.
- CIAA-2012-AmarniL #kernel #sequence
- Factor and Subsequence Kernels and Signatures of Rational Languages (AA, SL), pp. 313–320.
- DLT-2012-BoiretLN #learning
- Learning Rational Functions (AB, AL, JN), pp. 273–283.
- ICALP-v2-2012-GroceKTZ
- Byzantine Agreement with a Rational Adversary (AG, JK, AT, VZ), pp. 561–572.
- LATA-2012-HundeshagenO #transducer
- Characterizing the Rational Functions by Restarting Transducers (NH, FO), pp. 325–336.
- LATA-2012-RowlandS #set
- k-Automatic Sets of Rational Numbers (ER, JS), pp. 490–501.
- ICGT-2012-AotoK #confluence #decidability #term rewriting
- Rational Term Rewriting Revisited: Decidability and Confluence (TA, JK), pp. 172–186.
- LICS-2012-BarceloFL #graph #logic #problem
- Graph Logics with Rational Relations and the Generalized Intersection Problem (PB, DF, LL), pp. 115–124.
- CIAA-J-2010-AllauzenCM11 #algorithm #coordination #kernel
- A Dual Coordinate Descent Algorithm for SVMs Combined with Rational Kernels (CA, CC, MM), pp. 1761–1779.
- ICML-2011-WaughZB #equilibrium #problem
- Computational Rationalization: The Inverse Equilibrium Problem (KW, BDZ, DB), pp. 1169–1176.
- SPLC-2011-ThurimellaJ #feature model #plugin
- Metadoc Feature Modeler: A Plug-in for IBM Rational DOORS (AKT, DJ), pp. 313–322.
- TACAS-2010-FismanKL #synthesis
- Rational Synthesis (DF, OK, YL), pp. 190–204.
- DLT-J-2008-BassinoGN10 #complexity #finite
- The Average State Complexity of Rational Operations on Finite Languages (FB, LG, CN), pp. 495–516.
- CIAA-2010-Johnson #natural language #using
- Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
- CIAA-2010-Maout #design #regular expression
- Regular Expressions at Their Best: A Case for Rational Design (VLM), pp. 310–320.
- LATA-2010-NagyO
- CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (BN, FO), pp. 463–474.
- CAiSE-2010-HordijkW #case study
- Rationality of Cross-System Data Duplication: A Case Study (WH, RW), pp. 68–82.
- SEKE-2010-ShewchukG #experience #functional #maintenance #testing #user interface #using
- Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional Tester (YS, VG), pp. 489–494.
- SAC-2010-FunfzigTA #constraints #parametricity #using
- Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.
- VLDB-2009-KraskaHAK #consistency #in the cloud #matter
- Consistency Rationing in the Cloud: Pay only when it matters (TK, MH, GA, DK), pp. 253–264.
- LATA-2009-BaillyD #convergence
- Absolute Convergence of Rational Series Is Semi-decidable (RB, FD), pp. 117–128.
- CASE-2008-StirlingN #coordination #nash
- Rational coordination under risk: Coherence and the Nash bargain (WCS, MSN), pp. 122–127.
- AFL-2008-AfoninK #regular expression
- Semigroups of regular languages over a one letter alphabet are rational (SA, EK), pp. 61–73.
- SEFM-2008-RuksenasCB #behaviour #game studies #modelling
- Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
- CSCW-2008-Fu #social
- The microstructures of social tagging: a rational model (WTF), pp. 229–238.
- ICSE-2008-PaechW #quality #requirements
- Rational quality requirements for medical software (BP, TW), pp. 633–638.
- HT-2007-BrownBFE #behaviour
- Revealing the hidden rationality of user browsing behaviour (EJB, TJB, TF, CvdE), pp. 85–94.
- CIAA-2007-GoldwurmR #modelling #statistics
- Average Value and Variance of Pattern Statistics in Rational Models (MG, RR), pp. 62–72.
- LATA-2007-LohreyS #graph #problem #set
- The submonoid and rational subset membership problems for graph groups (ML, BS), pp. 367–378.
- OCSC-2007-YehWH #behaviour #case study #online
- A Study of Emotional and Rational Purchasing Behavior for Online Shopping (LY, EMYW, SLH), pp. 222–227.
- DLT-J-2005-AfoninH06 #problem #regular expression #set
- Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 493–506.
- DLT-2006-Carton
- The Growth Ratio of Synchronous Rational Relations Is Unique (OC), pp. 270–279.
- DLT-2006-MenzelPS #graph
- Some Examples of Semi-rational DAG Languages (JRM, LP, MS), pp. 351–362.
- CSL-2006-CarayolM #on the
- On Rational Trees (AC, CM), pp. 225–239.
- ASE-2005-ErikssonMBB #case study #modelling #product line #tool support
- The PLUSS toolkit — extending telelogic DOORS and IBM-rational rose to support product line use case modeling (ME, HM, JB, KB), pp. 300–304.
- DLT-J-2004-RispalC05 #linear #order #set
- Complementation of rational sets on countable scattered linear orderings (CR, OC), pp. 767–786.
- CIAA-2005-KempeCEGN
- A Class of Rational n-WFSM Auto-intersections (AK, JMC, JE, FG, FN), pp. 188–198.
- DLT-2005-AfoninH #problem #regular expression #set
- Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 88–99.
- DLT-2005-Massazza #ambiguity #problem
- The Inclusion Problem for Unambiguous Rational Trace Languages (PM), pp. 350–361.
- DLT-2005-Priese #graph #set
- Semi-rational Sets of DAGs (LP), pp. 385–396.
- IFL-2005-DanvyM
- A Rational Deconstruction of Landin’s J Operator (OD, KM), pp. 55–73.
- SIGIR-2005-LiuHW #information management #retrieval
- Information sharing through rational links and viewpoint retrieval (BL, DJH, SNKW), pp. 639–640.
- FoSSaCS-2004-Meyer #on the #term rewriting
- On Term Rewriting Systems Having a Rational Derivation (AM), pp. 378–392.
- STOC-2004-HalpernT #multi
- Rational secret sharing and multiparty computation: extended abstract (JYH, VT), pp. 623–632.
- DLT-2004-ChoffrutGL #on the
- On the Maximum Coefficients of Rational Formal Series in Commuting Variables (CC, MG, VL), pp. 114–126.
- DLT-2004-RispalC #linear #order #set
- Complementation of Rational Sets on Countable Scattered Linear Orderings (CR, OC), pp. 381–392.
- IFL-2004-Danvy
- A Rational Deconstruction of Landin’s SECD Machine (OD), pp. 52–71.
- CSMR-2003-JeyaramanKR #legacy #process #re-engineering
- Reengineering Legacy Application to E-Business with Modified Rational Unified Process (GJ, KK, VVSR), p. 143–?.
- DLT-2003-CaronF
- From Glushkov WFAs to Rational Expressions (PC, MF), pp. 183–193.
- OOPSLA-2003-CorwinBGM #java #named
- MJ: a rational module system for Java and its applications (JC, DFB, DG, CM), pp. 241–254.
- DATE-2002-CoelhoSP #algorithm #approximate #using
- Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.
- CIAA-2002-CaronF #normalisation
- Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.
- SEKE-2002-Lascio #fuzzy #logic
- Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic (LDL), pp. 117–124.
- ICSE-2002-Kruchten #named #tutorial
- Tutorial: introduction to the rational unified process® (PK), p. 703.
- DLT-2001-Cachat #power of
- The Power of One-Letter Rational Languages (TC), pp. 145–154.
- ICALP-2001-DrosteZ
- Rational Transformations of Formal Power Series (MD, GQZ), pp. 555–566.
- CSL-2001-Schweikardt #database #order
- The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group (NS), pp. 130–144.
- FoSSaCS-2000-Caucal #on the #term rewriting #word
- On Word Rewriting Systems Having a Rational Derivation (DC), pp. 48–62.
- FoSSaCS-2000-Morvan #graph #on the
- On Rational Graphs (CM), pp. 252–266.
- STOC-2000-OlshevskyS #confluence #matrix
- Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation (VO, MAS), pp. 573–581.
- WLC-2000-ChoffrutG #formal method #string
- The Theory of Rational Relations on Transfinite Strings (CC, SG), pp. 103–133.
- WLC-2000-LombardyS #on the
- On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
- DAC-1999-CoelhoPS #algorithm #approximate #generative #robust
- Robust Rational Function Approximation Algorithm for Model Generation (CPC, JRP, LMS), pp. 207–212.
- ICALP-1999-OlshevskyP #evaluation #matrix #polynomial
- Polynomial and Rational Evaluation and Interpolation (with Structured Matrices) (VO, VYP), pp. 585–594.
- HCI-EI-1999-Hollnagel #interface
- Keep Cool: The Value of Affective Computer Interfaces in a Rational World (EH), pp. 676–680.
- RE-1999-Spence #case study #process #requirements #uml
- Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.
- FoSSaCS-1998-CorradiniG #term rewriting
- Rational Term Rewriting (AC, FG), pp. 156–171.
- FoSSaCS-1998-PorrotDDV #random #sequence #transducer
- Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.
- SAS-1997-Granger #analysis #congruence
- Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) (PG), pp. 278–292.
- DLT-1997-Julia
- A characteristic language for rational ω-power (SJ), pp. 299–308.
- ICALP-1997-BassinoBP #sequence
- Enumerative Sequences of Leaves in Rational Trees (FB, MPB, DP), pp. 76–86.
- ICALP-1997-CartonP #set
- The Wadge-Wagner Hierarchy of ω-Rational Sets (OC, DP), pp. 17–35.
- ICALP-1997-DrosteG #on the
- On Recognizable and Rational Formal Power Series in Partially Commuting Variables (MD, PG), pp. 682–692.
- WIA-1997-MohriPR #design #finite #library #transducer
- A Rational Design for a Weighted Finite-State Transducer Library (MM, FCNP, MR), pp. 144–158.
- ILPS-1997-AravindanB #algorithm #database #performance
- A Rational and Efficient Algorithm for View Deletion in Databases (CA, PB), pp. 165–179.
- ILPS-1997-Davila #logic #named
- OPENLOG: A Logic Language to Program Reactive and Rational Agents (JAD), p. 406.
- RTA-1997-ContejeanMR #term rewriting
- Rewrite Systems for Natural, Integral, and Rational Arithmetic (EC, CM, LR), pp. 98–112.
- PODS-1996-StolboushkinT #database #linear #order #query
- Linear vs. Order Contstrained Queries Over Rational Databases (APS, MAT), pp. 17–27.
- ICPR-1996-LiaoA #using
- Curve and surface interpolation using rational radial basis functions (WHL, JKA), pp. 8–13.
- JICSLP-1996-Bornscheuer #generative #modelling
- Generating Rational Models (Poster Abstract) (SEB), p. 547.
- DLT-1995-CalbrixN
- Prefix and Period Languages of Rational ω-Languages (HC, MN), pp. 341–349.
- DLT-1995-KudlekM #algebra #distributed
- Rational and Algebraic Languages with Distributed Catenation (MK, AM), pp. 129–138.
- STOC-1994-PapadimitriouY #bound #complexity #on the
- On complexity as bounded rationality (extended abstract) (CHP, MY), pp. 726–733.
- ICALP-1993-Simon
- The Product of Rational Languages (IS), pp. 430–444.
- SIGMOD-1992-ShashaSV #transaction
- Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.
- SEI-1992-HoffmanS #education #on the #process
- On Teaching the Rational Desighn Process (DH, TS), pp. 44–62.
- ICALP-1992-ClerboutRZ
- Semi-Commutations and Rational Expressions (MC, YR, WZ), pp. 113–125.
- ICALP-1992-Krob #decidability #multi #problem #similarity
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable (DK), pp. 101–112.
- CSCW-1992-GrahamU #automation #distributed #implementation #multi
- Rational Views as a Model for Automatic Distributed Implementation of Multi-User Applications (TCNG, TU), pp. 59–66.
- TRI-Ada-C-1992-Blair #ada #configuration management #library #using #version control
- Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.
- KR-1992-RaoG #architecture
- An Abstract Architecture for Rational Agents (ASR, MPG), pp. 439–449.
- KR-1991-Doyle
- Rational Belief Revision (JD), pp. 163–174.
- KR-1991-RaoG #architecture #modelling
- Modeling Rational Agents within a BDI-Architecture (ASR, MPG), pp. 473–484.
- ESEC-1991-Cattel #design #distributed
- Rational Design of Distributed Applications (TC), pp. 60–79.
- ICALP-1990-Krob
- A Complete System of B-Rational Identities (DK), pp. 60–73.
- ICALP-1990-Pelletier #ambiguity #set
- Boolean Closure and Unambiguity of Rational Sets (MP), pp. 512–525.
- ML-1990-AndersonM #analysis #categorisation
- A Rational Analysis of Categorization (JRA, MM), pp. 76–84.
- ML-1989-TongF #automation #case study #re-engineering #towards
- Toward Automated Rational Reconstruction: A Case Study (CT, PF), pp. 302–307.
- ICALP-1988-Turakainen #decidability #equivalence
- The Equivalence of DGSM Replications on Q-Rational Languages is Decidable (PT), pp. 654–666.
- LICS-1988-Maher #algebra #axiom #finite #infinity
- Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees (MJM), pp. 348–357.
- DAC-1987-GadientE #information management
- Rational for and Organization of the Engineering Information System Program (AJG, JLE), pp. 764–769.
- ICALP-1987-Beauquier #automaton
- Minimal Automaton of a Rational Cover (DB), pp. 174–189.
- ICALP-1986-ChoffrutS
- Counting with Rational Functions (CC, MPS), pp. 79–88.
- ICALP-1986-Johnson #equivalence
- Rational Equivalence Relations (JHJ), pp. 167–176.
- CRAI-1986-Archer #design
- Design of the Rational Environment (JEAJ), pp. 1–15.
- ICLP-1986-Pereira86 #debugging #logic programming
- Rational Debugging in Logic Programming (LMP), pp. 203–210.
- ICALP-1985-BeauquierN #set #word
- About Rational Sets of Factors of a Bi-Infinite Word (DB, MN), pp. 33–42.
- ICALP-1985-Johnson #equivalence #question
- Do Rational Equivalence Relations have Regular Cross-Sections? (JHJ), pp. 300–309.
- ICALP-1982-Kalorkoti #bound
- A Lower Bound for the Formula Size of Rational Functions (KK), pp. 330–338.
- ICALP-1979-Goldstine
- A Rational Theory of AFLS (JG), pp. 271–281.
- FM-1979-BoydPW #bibliography #design
- An Overview of RDM: Rational Design Methodology (DLB, AP, WTW), pp. 79–110.
- STOC-1978-Megiddo #combinator #optimisation
- Combinatorial Optimization with Rational Objective Functions (NM), pp. 1–12.
- ICALP-1977-Takahashi
- Rational relations of Binary Trees (MT), pp. 524–538.
- STOC-1974-Kung #algorithm #bound #evaluation #parallel
- New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions (HTK), pp. 323–333.
- STOC-1972-Horowitz #algorithm
- Algorithms for Rational Function Arithmetic Operations (EH), pp. 108–118.