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.