BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
languag (20)
function (11)
model (11)
system (11)
relat (9)

Stem ration$ (all stems)

135 papers:

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

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