BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
nondeterminism
Google nondeterminism

Tag #nondeterminism

874 papers:

CSLCSL-2020-Buss0K #branch #complexity #proving #source code
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs (SB, AD0, AK), p. 17.
ICPCICPC-2019-WenNBL #consistency #empirical #scalability
A large-scale empirical study on code-comment inconsistencies (FW, CN0, GB, ML), pp. 53–64.
MSRMSR-2019-MarkovtsevLMSB #algorithm #consistency #named
STYLE-ANALYZER: fixing code style inconsistencies with interpretable unsupervised algorithms (VM, WL, HM, KS, EB), pp. 468–478.
IFM-2019-CamilliGMS #named #testing #tool support #web
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications (MC, AG, RM, PS), pp. 495–503.
SEFMSEFM-2019-PrasetyaK #analysis
Test Model Coverage Analysis Under Uncertainty (ISWBP, RK), pp. 222–239.
CHI-PLAYCHI-PLAY-2019-KumariDF #motivation
The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory (SK, SD, JF), pp. 351–363.
CoGCoG-2019-SalemMG #evolution
Beating uncertainty in racing bot evolution through enhanced exploration and pole position selection (MS, AMM, JJMG), pp. 1–8.
ICMLICML-2019-FrancP #learning #on the #predict
On discriminative learning of prediction uncertainty (VF, DP), pp. 1963–1971.
ICMLICML-2019-HendrycksLM #robust #using
Using Pre-Training Can Improve Model Robustness and Uncertainty (DH, KL, MM), pp. 2712–2721.
ICMLICML-2019-PerraultPV #performance
Exploiting structure of uncertainty for efficient matroid semi-bandits (PP, VP, MV), pp. 5123–5132.
ICMLICML-2019-PurohitGR
Hiring Under Uncertainty (MP, SG, MR), pp. 5181–5189.
ICMLICML-2019-RaghuBSOKMK #predict
Direct Uncertainty Prediction for Medical Second Opinions (MR, KB, RS, ZO, RDK, SM, JMK), pp. 5281–5290.
KDDKDD-2019-WangLYLLZ0 #approach #machine learning #quantifier
Deep Uncertainty Quantification: A Machine Learning Approach for Weather Forecasting (BW, JL0, ZY0, HL, TL, YZ0, GZ0), pp. 2087–2095.
ECOOPECOOP-2019-LopezSMBS #debugging #idea #multi #source code
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) (CTL, RGS, SM, EGB, CS), p. 30.
OOPSLAOOPSLA-2019-WangZS #contract #debugging #detection
Detecting nondeterministic payment bugs in Ethereum smart contracts (SW, CZ, ZS), p. 29.
PLDIPLDI-2019-Wang0GCQS #cost analysis #probability #source code
Cost analysis of nondeterministic probabilistic programs (PW, HF0, AKG, KC, XQ, WS), pp. 204–220.
ASEASE-2019-SondhiP #consistency #named #semantics #specification #string
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs (DS, RP), pp. 200–212.
ESEC-FSEESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #online #testing
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
ICSE-2019-GhorbaniGM #architecture #consistency #detection #java
Detection and repair of architectural inconsistencies in Java (NG, JG, SM), pp. 560–571.
GPCEGPCE-2019-KramerW #c #parallel #programming
Parallel nondeterministic programming as a language extension to C (short paper) (LK, EVW), pp. 20–26.
SLESLE-2019-KhelladiKE #consistency #detection
Detecting and exploring side effects when repairing model inconsistencies (DEK, RK, AE), pp. 113–126.
CASECASE-2019-Arukgoda0D #representation
Representation of Uncertain Occupancy Maps with High Level Feature Vectors (JA, RR, GD), pp. 1035–1041.
CASECASE-2019-BhattKMSSG #concurrent #design
Concurrent Design of Tool-Paths and Impedance Controllers for Performing Area Coverage Operations in Manufacturing Applications under Uncertainty (PMB, AMK, RKM, AVS, BCS, SKG), pp. 1151–1156.
CASECASE-2019-KebriaKJN #adaptation #fuzzy #robust
Adaptive Type-2 Fuzzy Control Scheme for Robust Teleoperation under Time-Varying Delay and Uncertainties (PMK, AK, SMJJ, SN), pp. 1631–1636.
CASECASE-2019-KebriaKJN19a #fuzzy #network
Type-2 Fuzzy Neural Network Synchronization of Teleoperation Systems with Delay and Uncertainties (PMK, AK, SMJJ, SN), pp. 1625–1630.
CASECASE-2019-MathesenYPF #adaptation #cyber-physical #optimisation #probability #quantifier #robust
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart (LM, SY, GP, GF), pp. 991–997.
CASECASE-2019-ZhaoXWLYG #coordination
Optimal Coordination of EVs and HVAC Systems with Uncertain Renewable Supply (HZ, ZX, JW, KL, LY, XG), pp. 733–738.
ESOPESOP-2019-FruminGK #automation #c #reasoning
Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.
FASEFASE-2019-ChechikSVKR #assurance
Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.
ICSTICST-2019-Sondhi #consistency #documentation #implementation #testing
Testing for Implicit Inconsistencies in Documentation and Implementation (DS), pp. 483–485.
ICTSSICTSS-2019-YevtushenkoKK #adaptation #complexity #sequence
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs (NY, VVK, NK), pp. 86–103.
VMCAIVMCAI-2019-FuC #probability #source code #termination
Termination of Nondeterministic Probabilistic Programs (HF0, KC), pp. 468–490.
DLTDLT-2018-KoNP #integer #polynomial #problem #reachability
Reachability Problems in Nondeterministic Polynomial Maps on the Integers (SKK, RN, IP), pp. 465–477.
FMFM-2018-0001BFLMR #automaton #energy #robust #synthesis #using
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty (GB0, PB, UF, KGL, NM, PAR), pp. 203–221.
FMFM-2018-MenghiGPT #ltl #multi
Multi-robot LTL Planning Under Uncertainty (CM, SG0, PP, JT), pp. 399–417.
CIKMCIKM-2018-RajpalP #consistency #optimisation #sorting
Holistic Crowd-Powered Sorting via AID: Optimizing for Accuracies, Inconsistencies, and Difficulties (SR, AGP), pp. 1607–1610.
ICMLICML-2018-DepewegHDU #composition #learning #performance
Decomposition of Uncertainty in Bayesian Deep Learning for Efficient and Risk-sensitive Learning (SD, JMHL, FDV, SU), pp. 1192–1201.
ICMLICML-2018-KuleshovFE #learning #using
Accurate Uncertainties for Deep Learning Using Calibrated Regression (VK, NF, SE), pp. 2801–2809.
ICMLICML-2018-MussmannL #fault #on the #performance
On the Relationship between Data Efficiency and Error for Uncertainty Sampling (SM, PL), pp. 3671–3679.
ICMLICML-2018-ODonoghueOMM #equation
The Uncertainty Bellman Equation and Exploration (BO, IO, RM, VM), pp. 3836–3845.
ICMLICML-2018-OttAGR
Analyzing Uncertainty in Neural Machine Translation (MO, MA, DG, MR), pp. 3953–3962.
ICMLICML-2018-TeyeAS #estimation #network #normalisation
Bayesian Uncertainty Estimation for Batch Normalized Deep Networks (MT, HA, KS0), pp. 4914–4923.
KDDKDD-2018-VandalKDGNG #learning
Quantifying Uncertainty in Discrete-Continuous and Skewed Data with Bayesian Deep Learning (TV, EK, JGD, SG, RRN, ARG), pp. 2377–2386.
ECMFAECMFA-2018-BertoaMBBTV #data type #metric #ocl #uml
Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
PADLPADL-2018-AnandCN #automation #consistency #detection #logic #using
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (KA, PKC, RN), pp. 80–96.
POPLPOPL-2018-0001ST #higher-order #refinement #source code #type system #verification
Relatively complete refinement type system for verification of higher-order non-deterministic programs (HU0, YS, TT), p. 29.
PPDPPPDP-2018-NishidaI #contract
Nondeterministic Manifest Contracts (YN0, AI), p. 13.
ESEC-FSEESEC-FSE-2018-KateOZEX #consistency #detection #named #physics #probability
Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.
ESEC-FSEESEC-FSE-2018-LlerenaBBSR #behaviour #modelling #probability #verification
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty (YRSL, MB, MB, GS, DSR), pp. 587–597.
ASPLOSASPLOS-2018-DeianaSDHC #parallel
Unconventional Parallelization of Nondeterministic Applications (EAD, VSA, PAD, NH, SC), pp. 432–447.
CASECASE-2018-BandyszakDTW #cyber-physical #documentation #modelling
Model-based Documentation of Context Uncertainty for Cyber-Physical Systems (TB, MD, BT, TW), pp. 1087–1092.
CASECASE-2018-CavoneDEMS #design #multi
A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty (GC, MD, NE, DM, CS), pp. 528–533.
CASECASE-2018-KebriaKNNH #adaptation #network
Neural Network Adaptive Control of Teleoperation Systems with Uncertainties and Time-Varying Delay (PMK, AK, SN, ZN, SJH), pp. 252–257.
CASECASE-2018-KumblaMG #collaboration
Enabling Fixtureless Assemblies in Human-Robot Collaborative Workcells by Reducing Uncertainty in the Part Pose Estimate (NBK, JAM, SKG), pp. 1336–1342.
CASECASE-2018-ZhangLFG #optimisation
Chiller Plant Operation Optimization with Input and Model Uncertainties (DZ, PBL, JF, SG), pp. 8–13.
CASECASE-2018-ZouLV #consistency #development #modelling
Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems (MZ, BL, BVH), pp. 1064–1070.
CSLCSL-2018-GowersL #game studies #semantics
A Fully Abstract Game Semantics for Countable Nondeterminism (WJG, JDL), p. 18.
CSLCSL-2018-LopezS #algebra #probability
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (AL, AS), p. 17.
ICSTICST-2018-JiLCPZ0YL #behaviour #network #search-based #testing
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing (RJ, ZL, SC, MP, TZ0, SA0, TY0, XL), pp. 204–214.
ECSAECSA-2017-TrubianiM #analysis #architecture #collaboration #modelling #reduction
Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction (CT, RM), pp. 40–48.
JCDLJCDL-2017-DarchS #library #open source
Uncertainty about the Long-Term: Digital Libraries, Astronomy Data, and Open Source Software (PTD, AES), pp. 257–260.
ICSMEICSME-2017-GuoWXL #adaptation #consistency #detection #named #scheduling
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection (BG, HW, CX0, JL0), pp. 137–147.
CIAACIAA-2017-Bordihn0 #automaton #finite #on the
On the Number of Active States in Deterministic and Nondeterministic Finite Automata (HB, MH0), pp. 40–51.
CIAACIAA-2017-HospodarJM #complexity
Nondeterministic Complexity of Operations on Free and Convex Languages (MH, GJ, PM), pp. 138–150.
SEFMSEFM-2017-CamilliGSB #development #quantifier #towards
Towards Inverse Uncertainty Quantification in Software Development (Short Paper) (MC, AG, PS, CB), pp. 375–381.
CIKMCIKM-2017-HuCHFL #graph #on the
On Embedding Uncertain Graphs (JH, RC, ZH0, YF, SL), pp. 157–166.
ECIRECIR-2017-RekabsazLH #similarity #word
Exploration of a Threshold for Similarity Based on Uncertainty in Word Embedding (NR, ML, AH), pp. 396–409.
ICMLICML-2017-ChangCCCSD #clustering #multi
Multiple Clustering Views from Multiple Uncertain Experts (YC, JC, MHC, PJC, EKS, JGD), pp. 674–683.
ICMLICML-2017-ChaudhryXG #assessment
Uncertainty Assessment and False Discovery Rate Control in High-Dimensional Granger Causal Inference (AC, PX0, QG), pp. 684–693.
ICMLICML-2017-PanYTB #predict #process
Prediction under Uncertainty in Sparse Spectrum Gaussian Processes with Applications to Filtering and Control (YP, XY, EAT, BB), pp. 2760–2768.
KDDKDD-2017-How #learning #theory and practice
Planning and Learning under Uncertainty: Theory and Practice (JPH), p. 19.
ICMTICMT-2017-TrollmannA #concurrent #graph grammar
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars (FT, SA), pp. 35–50.
MoDELSMoDELS-2017-FamelisC
Managing Design-Time Uncertainty (MF, MC), p. 179.
MoDELSMoDELS-2017-FamelisRCSC #design #product line #reasoning #variability
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.
PADLPADL-2017-AntoyH #functional #logic programming #source code
Eliminating Irrelevant Non-determinism in Functional Logic Programs (SA, MH), pp. 1–18.
POPLPOPL-2017-JaferyD
Sums of uncertainty: refinements go gradual (KAJ, JD), pp. 804–817.
ASEASE-2017-FazziniO #automation #consistency #detection #mobile #platform
Automated cross-platform inconsistency detection for mobile apps (MF, AO), pp. 308–318.
ASEASE-2017-OcarizaP0 #consistency #detection #web
Detecting unknown inconsistencies in web applications (FSOJ, KP, AM0), pp. 566–577.
ASEASE-2017-Wang #debugging #javascript
Characterizing and taming non-deterministic bugs in JavaScript applications (JW), pp. 1006–1009.
ESEC-FSEESEC-FSE-2017-Wang #adaptation #re-engineering #search-based #self #using
Using search-based software engineering to handle the changes with uncertainties for self-adaptive systems (LW), pp. 1014–1017.
ICSE-2017-AdamsenMKSTS #fault
Repairing event race errors by controlling nondeterminism (CQA, AM, RK, MS, FT, KS), pp. 289–299.
CASECASE-2017-LongTJ #multi #optimisation
Multi-scale event-based optimization for matching uncertain wind supply with EV charging demand (TL, JXT, QSJ), pp. 847–852.
CASECASE-2017-YangLZWG #assessment #capacity #integration
Transmission capacity margin assessment in power systems with uncertain wind integration (YY, XL, QZ, JW, XG), pp. 1386–1391.
CASECASE-2017-ZouV #approach #automation #consistency #design #development
Feature-based systematic approach development for inconsistency resolution in automated production system design (MZ, BVH), pp. 687–694.
ESOPESOP-2017-KopS #complexity #higher-order #power of #programming #using
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming (CK, JGS), pp. 668–695.
CADECADE-2017-0001SUP #consistency #detection #first-order #knowledge base #scalability
Detecting Inconsistencies in Large First-Order Knowledge Bases (SS0, GS, JU, AP), pp. 310–325.
CAVCAV-2017-AlbarghouthiDD #source code
Repairing Decision-Making Programs Under Uncertainty (AA, LD, SD), pp. 181–200.
CAVCAV-2017-TouzeauMMR #analysis #performance
Ascertaining Uncertainty for Efficient Exact Cache Analysis (VT, CM, DM, JR), pp. 22–40.
ECSAECSA-2016-SchenkhuizenWJC #approach #consistency
Consistent Inconsistency Management: A Concern-Driven Approach (JS, JMEMvdW, SJ, LC), pp. 201–209.
CIAACIAA-2016-HospodarJM #complexity
Nondeterministic Complexity of Operations on Closed and Ideal Languages (MH, GJ, PM), pp. 125–137.
CIAACIAA-2016-WeidemanMBW #ambiguity #automaton #backtracking #behaviour #regular expression #using
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA (NW, BvdM, MB, BWW), pp. 322–334.
FSCDFSCD-2016-ArieliA #consistency #logic #reasoning
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency (OA, AA), p. 15.
DiGRADiGRA-FDG-2016-ToSKH #design #game studies
Integrating Curiosity and Uncertainty in Game Design (AT, SA, GFK, JH).
CIKMCIKM-2016-KohlerL
Qualitative Cleaning of Uncertain Data (HK, SL), pp. 2269–2274.
CIKMCIKM-2016-LinkP #database #design #relational
Relational Database Schema Design for Uncertain Data (SL, HP), pp. 1211–1220.
ICMLICML-2016-GalG #approximate #learning #representation
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning (YG, ZG), pp. 1050–1059.
ICPRICPR-2016-LoogY #consistency #empirical #learning
An empirical investigation into the inconsistency of sequential active learning (ML, YY), pp. 210–215.
ICPRICPR-2016-YangL #learning #using
Active learning using uncertainty information (YY, ML), pp. 2646–2651.
BXBX-2016-DiskinEPC #bidirectional #formal method #model transformation
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.
ECMFAECMFA-2016-ZhangSAYON #comprehension #concept #cyber-physical
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model (MZ, BS, SA, TY, OO, RN), pp. 247–264.
POPLPOPL-2016-GrathwohlHRST #compilation #named #streaming #transducer
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (NBBG, FH, UTR, KAS, SPT), pp. 284–297.
POPLPOPL-2016-McKinley #programming
Programming the world of uncertain things (keynote) (KSM), pp. 1–2.
ASEASE-2016-DemuthRE #consistency #detection #developer #multi #performance
Efficient detection of inconsistencies in a multi-developer engineering environment (AD, MRE, AE), pp. 590–601.
SLESLE-2016-MayerhoferWV #modelling
Adding uncertainty and units to quantity types in software models (TM, MW, AV), pp. 118–131.
ASPLOSASPLOS-2016-Leesatapornwongsa #concurrent #debugging #distributed #named #taxonomy
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.
ASPLOSASPLOS-2016-McKinley #programming
Programming Uncertain jhings (KSM), pp. 1–2.
CASECASE-2016-FeldmannWKV #approach #automation #consistency
A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering (SF, MW, KK, BVH), pp. 1120–1127.
CSLCSL-2016-Berger #concurrent #source code
Extracting Non-Deterministic Concurrent Programs (UB0), p. 21.
ICSTICST-2016-ShiGLM #detection #implementation #specification
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications (AS, AG, OL, DM), pp. 80–90.
ICTSSICTSS-2016-HieronsMN #distributed #testing
Controllability Through Nondeterminism in Distributed Testing (RMH, MGM, MN0), pp. 89–105.
ICTSSICTSS-2016-PatelH #correctness #problem
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness (KP, RMH), pp. 123–138.
ICTSSICTSS-2016-YevtushenkoEE #adaptation #implementation #on the fly #sequence #specification #testing
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications (NY, KEF, AE), pp. 139–152.
VMCAIVMCAI-2016-HashemiH0 #bound #probability #reachability
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs (VH, HH, LS0), pp. 351–371.
ECSAECSA-2015-TrubianiGE #analysis #architecture #modelling #performance #traceability
Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
SIGMODSIGMOD-2015-ChenGLJCZ #metric #query
Indexing Metric Uncertain Data for Range Queries (LC, YG, XL, CSJ, GC, BZ), pp. 951–965.
SIGMODSIGMOD-2015-PengD #array #database
Supporting Data Uncertainty in Array Databases (LP, YD), pp. 545–560.
SIGMODSIGMOD-2015-ZhengZLYSZ #approach #graph #how #rdf #similarity
How to Build Templates for RDF Question/Answering: An Uncertain Graph Similarity Join Approach (WZ, LZ, XL, JXY, SS, DZ), pp. 1809–1824.
VLDBVLDB-2015-KhanC #graph #modelling #on the #query
On Uncertain Graphs Modeling and Queries (AK, LC), pp. 2042–2053.
VLDBVLDB-2015-SchubertKEZSZ #clustering #framework
A Framework for Clustering Uncertain Data (ES, AK, TE, AZ, KAS, AZ), pp. 1976–1987.
MSRMSR-2015-WuMKGI #consistency #detection #open source #scalability
A Method to Detect License Inconsistencies in Large-Scale Open Source Projects (YW, YM, TK, DMG, KI), pp. 324–333.
CIAACIAA-2015-Giaquinta #automaton
Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.
CIAACIAA-2015-GruberHJ #automaton #finite
More on Deterministic and Nondeterministic Finite Cover Automata — Extended Abstract (HG, MH, SJ), pp. 114–126.
CIAACIAA-2015-KushikY #automaton #finite #sequence #state machine
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
ICALPICALP-v2-2015-KuperbergS #automaton #on the
On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
TLCATLCA-2015-EscardoX #consistency
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
CoGCIG-2015-SilvaF #interactive
Personality traits in plots with nondeterministic planning for interactive storytelling (FAGdS, BF), pp. 83–90.
CHICHI-2015-JungSGS #behaviour #experience
Displayed Uncertainty Improves Driving Experience and Behavior: The Case of Range Anxiety in an Electric Car (MFJ, DS, TMG, MS), pp. 2201–2210.
HCIHIMI-IKC-2015-NakashimaMHOWP
Kick Extraction for Reducing Uncertainty in RoboCup Logs (TN, SM, JH, OO, PW, MP), pp. 622–633.
HCIHIMI-IKD-2015-OliveiraBFC #framework #visualisation
Uncertainty Visualization Framework for Improving Situational Awareness in Emergency Management Systems (NFO, LCB, LCF, MRdC), pp. 86–96.
ICEISICEIS-v2-2015-CostaMAO #automation #consistency #detection #named
Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.
CIKMCIKM-2015-KhanGWB #graph #reliability
Top-k Reliable Edge Colors in Uncertain Graphs (AK, FG, TW, FB), pp. 1851–1854.
CIKMCIKM-2015-LiuZXLL #probability #set
Finding Probabilistic k-Skyline Sets on Uncertain Data (JL, HZ, LX0, HL, JL), pp. 1511–1520.
CIKMCIKM-2015-ZhangLWS #personalisation #recommendation
Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time (CZ, HL, KW0, JS), pp. 911–920.
CIKMCIKM-2015-ZhanZZWL
Range Search on Uncertain Trajectories (LZ, YZ0, WZ0, XW0, XL0), pp. 921–930.
ICMLICML-2015-BlundellCKW #network
Weight Uncertainty in Neural Network (CB, JC, KK, DW), pp. 1613–1622.
ICMLICML-2015-GalT #approximate #process #representation
Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
ECMFAECMFA-J-2012-PuissantSM15 #automation #consistency #using
Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
ESEC-FSEESEC-FSE-2015-BehrangCO #consistency
Users beware: preference inconsistencies ahead (FB, MBC, AO), pp. 295–306.
ESEC-FSEESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #probability #self
Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.
ICSEICSE-v1-2015-OcarizaP0 #consistency #detection #javascript #mvc
Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.
ICSEICSE-v1-2015-PradelSS #analysis #consistency #javascript #named
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
ICSEICSE-v2-2015-FamelisBSSC #ide #named
MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
ICSEICSE-v2-2015-ParkHKLC #case study #testing
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
SLESLE-2015-EramoPR #bidirectional #model transformation
Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
CASECASE-2015-FeldmannHKWKQLK #case study #comparison #consistency #design #using
A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study (SF, SJIH, KK, TW, DK, AQ, UL, HK, CJJP, BVH), pp. 158–165.
CASECASE-2015-LaskeyMMPPBKAG #2d #modelling #multi
Multi-armed bandit models for 2D grasp planning with uncertainty (ML, JM, ZM, FTP, SP, JPvdB, DK, PA, KG), pp. 572–579.
CASECASE-2015-LuSJSX #approach #multi #programming
A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.
CASECASE-2015-VuW #design #fuzzy
Observer design for a discrete-time T-S fuzzy system with uncertainties (VPV, WJW), pp. 1262–1267.
DATEDATE-2015-0001KVSMA #adaptation #embedded #energy #scalability
Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems (AD, AK, BV, RAS, GVM, BMAH), pp. 43–48.
FoSSaCSFoSSaCS-2015-Mamouras #hoare #logic #synthesis
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.
ICLPICLP-2015-Wang #consistency #probability #programming #set
Handling Probability and Inconsistency in Answer Set Programming (YW), pp. 319–329.
ICSTICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #testing
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICTSSICTSS-2015-KushikY #adaptation #finite #heuristic #sequence #state machine
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines (NK, HY), pp. 243–248.
LICSLICS-2015-TsukadaO #game studies #semantics
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
QoSAQoSA-2014-EtxeberriaTCS #hardware #parametricity
Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
QoSAQoSA-2014-Perez-PalacinM #modelling #performance
Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSAWICSA-2014-DamRE #architecture #consistency #modelling
Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
PODSPODS-2014-FaginKRV #consistency #information management
Cleaning inconsistencies in information extraction via prioritized repairs (RF, BK, FR, SV), pp. 164–175.
SIGMODSIGMOD-2014-EmrichFKNRZ #framework
An extendable framework for managing uncertain spatio-temporal data (TE, MF, HPK, JN, MR, AZ), pp. 1087–1090.
SIGMODSIGMOD-2014-ParchasGPB #graph
The pursuit of a good possible world: extracting representative instances of uncertain graphs (PP, FG, DP, FB), pp. 967–978.
SIGMODSIGMOD-2014-PatilS #similarity #string
Similarity joins for uncertain strings (MP, RS), pp. 1471–1482.
SIGMODSIGMOD-2014-XuKM #framework #multi #performance #summary
Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
VLDBVLDB-2014-Gal #named #tutorial
Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.
VLDBVLDB-2014-GoncalvesP #named
Υ-DB: Managing scientific hypotheses as uncertain data (BG, FP), pp. 959–962.
VLDBVLDB-2014-WuWHN #execution #predict #query
Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.
VLDBVLDB-2015-DallachiesaPI14 #nearest neighbour
Top-k Nearest Neighbor Search In Uncertain Data Series (MD, TP, IFI), pp. 13–24.
AFLAFL-2014-Campeanu #automaton #finite
Simplifying Nondeterministic Finite Cover Automata (CC), pp. 162–173.
CIAACIAA-2014-KoH
Left is Better than Right for Reducing Nondeterminism of NFAs (SKK, YSH), pp. 238–251.
DLTDLT-2014-OkhotinS #automaton
Input-Driven Pushdown Automata with Limited Nondeterminism — (AO, KS), pp. 84–102.
RTARTA-TLCA-2014-BizjakBM #type system
A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
CHI-PLAYCHI-PLAY-2014-SaveryG #consistency #game studies
Reducing the negative effects of inconsistencies in networked games (CS, TCNG), pp. 237–246.
CHICHI-2014-HaddadMJ #design #interface #towards
Interface design for older adults with varying cultural attitudes toward uncertainty (SH, JM, CJ), pp. 1913–1922.
CHICHI-2014-WeirPRVK #mobile
Uncertain text entry on mobile devices (DW, HP, SR, KV, POK), pp. 2307–2316.
HCIDHM-2014-GaoH #approach #fault #research
Research on the Continuous Descent Approach (CDA) Operational Error of Pilot Base on Cloud Model and Uncertainty Theory (YG, YH), pp. 91–100.
HCIDUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive
In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.
CIKMCIKM-2014-JonesTMSS #comprehension #consistency #evaluation #matter
Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.
CIKMCIKM-2014-TongZC0 #graph #performance #probability #scalability
Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKMCIKM-2014-YuanW0 #graph #query #scalability
Pattern Match Query in a Large Uncertain Graph (YY, GW, LC), pp. 519–528.
CIKMCIKM-2014-ZhangP #graph #scalability
Scalable Vaccine Distribution in Large Graphs given Uncertain Data (YZ, BAP), pp. 1719–1728.
ICMLICML-c2-2014-ChenLX #clustering #graph
Weighted Graph Clustering with Non-Uniform Uncertainties (YC, SHL, HX), pp. 1566–1574.
ICMLICML-c2-2014-WenYG #learning #robust
Robust Learning under Uncertain Test Distributions: Relating Covariate Shift to Model Misspecification (JW, CNY, RG), pp. 631–639.
ICPRICPR-2014-Hess-FloresRJ #analysis #multi
Uncertainty, Baseline, and Noise Analysis for L1 Error-Based Multi-view Triangulation (MHF, SR, KIJ), pp. 4074–4079.
KDDKDD-2014-BonchiGKV #composition #graph
Core decomposition of uncertain graphs (FB, FG, AK, YV), pp. 1316–1325.
KDDKDD-2014-GhalwashRO
Utilizing temporal patterns for estimating uncertainty in interpretable early decision making (MFG, VR, ZO), pp. 402–411.
KDDKDD-2014-ZufleESMZR #clustering
Representative clustering of uncertain data (AZ, TE, KAS, NM, AZ, MR), pp. 243–252.
KMISKMIS-2014-ZochollA #modelling #ontology #parametricity #representation
Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
KRKR-2014-BenferhatT #network #reasoning
Reasoning with Uncertain Inputs in Possibilistic Networks (SB, KT).
KRKR-2014-Potyka #consistency #linear #logic #probability #source code
Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).
SIGIRSIGIR-2014-JayasingheWSDC #retrieval
Evaluating non-deterministic retrieval systems (GKJ, WW, MS, LSD, JSC), pp. 911–914.
AMTAMT-2014-EramoMPR #bidirectional #towards
Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
POPLPOPL-2014-Krebbers #axiom #c #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
QAPLQAPL-2014-MiculanP #aspect-oriented #process
GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
RERE-2014-HorkoffSCS
Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.
RERE-2014-TranM #approach #evolution #feature model
An Approach for Decision Support on the Uncertainty in Feature Model Evolution (LMST, FM), pp. 93–102.
ASEASE-2014-BurgDMDGH #consistency #process
Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASEASE-2014-HigoK #consistency #named #source code
MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.
ASEASE-2014-LuckowPDFV #approximate #execution #probability #source code #symbolic computation
Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
ASEASE-2014-YangXLCML #adaptation #self #verification
Verifying self-adaptive applications suffering uncertainty (WY, CX, YL, CC, XM, JL), pp. 199–210.
FSEFSE-2014-ElbaumR #testing
Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
FSEFSE-2014-Gui00ND #agile #analysis #named #reliability #tool support
RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
FSEFSE-2014-Llerena #verification
Dealing with uncertainty in verification of nondeterministic systems (YRSL), pp. 787–790.
ICSEICSE-2014-LetierSB #architecture #requirements
Uncertainty, risk, and information value in software requirements and architecture (EL, DS, ETB), pp. 883–894.
ASPLOSASPLOS-2014-BornholtMM #first-order #named
Uncertain: a first-order type for uncertain data (JB, TM, KSM), pp. 51–66.
CASECASE-2014-HaoLGC #effectiveness #flexibility #markov #network #problem #scheduling
An effective Markov network based EDA for flexible job shop scheduling problems under uncertainty (XCH, LL, MG, CFC), pp. 131–136.
CASECASE-2014-HuangJXGX #energy #probability #scheduling
EV charging load scheduling following uncertain renewable energy supply by stochastic matching (QH, QSJ, LX, XG, XX), pp. 137–142.
CASECASE-2014-LiuK #communication #parametricity
Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
CASECASE-2014-SivaramakumarJ
Production planning with uncertain demands and real options (GRS, SJ), pp. 671–676.
PDPPDP-2014-Schick #linear #parallel #parametricity
A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain Parameters (MS), pp. 352–359.
ESOPESOP-2014-BocchiMT
Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
FASEFASE-2014-Stevens #bidirectional #consistency
Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
ISSTAISSTA-2014-ChoudharyPO14a #consistency #detection #named #testing #web
X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
QoSAQoSA-2013-TrubianiMCAG #analysis #architecture #modelling #performance
Model-based performance analysis of software architectures under uncertainty (CT, IM, VC, AA, LG), pp. 69–78.
DocEngDocEng-2013-BaAS #collaboration #documentation #editing #version control
Uncertain version control in open collaborative editing of tree-structured documents (MLB, TA, PS), pp. 27–36.
PODSPODS-2013-AgarwalAHPYZ #nearest neighbour
Nearest neighbor searching under uncertainty II (PKA, BA, SHP, JMP, KY, WZ), pp. 115–126.
VLDBVLDB-2013-TranDSL
Supporting User-Defined Functions on Uncertain Data (TTLT, YD, CAS, AL), pp. 469–480.
VLDBVLDB-2013-ZhangCJC #crowdsourcing
Reducing Uncertainty of Schema Matching via Crowdsourcing (CJZ, LC, HVJ, CCC), pp. 757–768.
VLDBVLDB-2014-NiedermayerZERM0K13 #nearest neighbour #probability #query
Probabilistic Nearest Neighbor Queries on Uncertain Moving Object Trajectories (JN, AZ, TE, MR, NM, LC, HPK), pp. 205–216.
DLTDLT-J-2012-HromkovicKKS13 #automaton #logic #representation
Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.
CIAACIAA-2013-KushikY #finite #on the #sequence #state machine
On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
ICALPICALP-v2-2013-BokerKKS
Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
ICALPICALP-v2-2013-Widmayer
To Be Uncertain Is Uncomfortable, But to Be Certain Is Ridiculous (PW), p. 36.
LATALATA-2013-BalaJ #automaton
Limited Non-determinism Hierarchy of Counter Automata (SB, DJ), pp. 92–103.
TLCATLCA-2013-AschieriZ #normalisation
Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
AIIDEAIIDE-2013-AbelhaGCAFFSP #generative #interactive
A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling (PA, VMG, AEMC, ETA, ALF, BF, FAGdS, CTP).
AIIDEAIIDE-2013-ComanM #automation #generative #using
Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques (AC, HMA).
HCIHCI-IMT-2013-WangGHL #collaboration #communication #elicitation #speech #using
A Knowledge Elicitation Study for Collaborative Dialogue Strategies Used to Handle Uncertainties in Speech Communication While Using GIS (HW, AG, DH, RL), pp. 135–144.
HCIHIMI-LCCB-2013-KimitaKWTS #evaluation
Service Evaluation Method for Managing Uncertainty (KK, YK, KW, TT, YS), pp. 569–578.
HCIHIMI-LCCB-2013-ShiTS #consistency #online #recommendation
Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.
CIKMCIKM-2013-Lian0 #database #probability #query
Causality and responsibility: probabilistic queries revisited in uncertain databases (XL, LC), pp. 349–358.
ECIRECIR-2013-MarkovAC
Reducing the Uncertainty in Resource Selection (IM, LA, FC), pp. 507–519.
ECIRECIR-2013-MetrikovPA #consistency #optimisation
Optimizing nDCG Gains by Minimizing Effect of Label Inconsistency (PM, VP, JAA), pp. 760–763.
KDDKDD-2013-BakshyE #evaluation #online
Uncertainty in online experiments with dependent data: an evaluation of bootstrap methods (EB, DE), pp. 1303–1311.
KEODKEOD-2013-NogueiraG #multi #programming #set
Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information — An Application of Answer Set Programming (MLN, NPG), pp. 399–406.
MLDMMLDM-2013-CarvalhoR #overview #perspective
Discovering Frequent Itemsets on Uncertain Data: A Systematic Review (JVdC, DDR), pp. 390–404.
SIGIRSIGIR-2013-AbdulahhadCB #probability #question
Is uncertain logical-matching equivalent to conditional probability? (KA, JPC, CB), pp. 825–828.
MODELSMoDELS-2013-FamelisSSC #modelling
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
OOPSLAOOPSLA-2013-TrippKS #parallel
Turning nondeterminism into parallelism (OT, EK, MS), pp. 589–604.
PLDIPLDI-2013-CookK #reasoning #source code
Reasoning about nondeterminism in programs (BC, EK), pp. 219–230.
POPLPOPL-2013-BonchiP #automaton #bisimulation #congruence #equivalence
Checking NFA equivalence with bisimulations up to congruence (FB, DP), pp. 457–468.
QAPLQAPL-2013-BernardoNL #behaviour #probability #process
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
ASEASE-2013-RayKPR #consistency #detection #semantics
Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
ICSEICSE-2013-EsfahaniMR #architecture #named
GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.
ICSEICSE-2013-FemmerGLM #case study #consistency #detection
Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.
ICSEICSE-2013-GhezziPST #adaptation #modelling #non-functional
Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.
ASPLOSASPLOS-2013-HuntBCG #distributed #named
DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
ASPLOSASPLOS-2013-SungKA #hardware #named #performance
DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
CASECASE-2013-ChaouiS #adaptation #parametricity
Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties (HC, PS), pp. 300–305.
CASECASE-2013-SoviziK #matrix #parallel #random #using
Uncertainty characterization in serial and parallel manipulators using random matrix theory (JS, VNK), pp. 312–317.
CASECASE-2013-SunLJY #energy #optimisation
Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
DACDAC-2013-LuoCH #design
Design of cyberphysical digital microfluidic biochips under completion-time uncertainties in fluidic operations (YL, KC, TYH), p. 7.
DACDAC-2013-YousofshahiOLH #capacity #identification
Gene modification identification under flux capacity uncertainty (MY, MO, KL, SH), p. 5.
FASEFASE-2013-SalayGC #co-evolution
Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.
TACASTACAS-2013-KempfBM #probability #scheduling
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.
CAVCAV-2013-PuggelliLSS #polynomial #verification
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.
CSLCSL-2013-Kikuchi #normalisation #proving #λ-calculus
Proving Strong Normalisation via Non-deterministic Translations into Klop’s Extended λ-Calculus (KK), pp. 395–414.
CSLCSL-2013-Oitavem #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (IO), pp. 24–27.
ICTSSICTSS-2013-KushikEY #adaptation #finite #state machine
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.
WICSA-ECSAWICSA-ECSA-2012-GhabiE #architecture #modelling #traceability
Exploiting Traceability Uncertainty between Architectural Models and Code (AG, AE), pp. 171–180.
PODSPODS-2012-AgarwalESZ #nearest neighbour
Nearest-neighbor searching under uncertainty (PKA, AE, SS, WZ), pp. 225–236.
VLDBVLDB-2012-BoldiBGT #graph #injection #obfuscation
Injecting Uncertainty in Graphs for Identity Obfuscation (PB, FB, AG, TT), pp. 1376–1387.
VLDBVLDB-2012-DallachiesaNMP #similarity
Uncertain Time-Series Similarity: Return to the Basics (MD, BN, KM, TP), pp. 1662–1673.
VLDBVLDB-2012-GulloT #clustering
Uncertain Centroid based Partitional Clustering of Uncertain Data (FG, AT), pp. 610–621.
VLDBVLDB-2012-TongCCY #database #mining
Mining Frequent Itemsets over Uncertain Databases (YT, LC, YC, PSY), pp. 1650–1661.
ICSMEICSM-2012-HigoK #consistency #detection #how
How often do unintended inconsistencies happen? Deriving modification patterns and detecting overlooked code fragments (YH, SK), pp. 222–231.
CIAACIAA-2012-ReidenbachS #automaton #bound
Automata with Modulo Counters and Nondeterministic Counter Bounds (DR, MLS), pp. 361–368.
DLTDLT-2012-HromkovicKKS #automaton #logic #representation
Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.
DLTDLT-2012-KapoutsisL #automaton #finite #theorem
Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (CAK, NL), pp. 202–213.
DLTDLT-2012-LavadoPS #automaton #context-free grammar
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata (GJL, GP, SS), pp. 284–295.
CIKMCIKM-2012-EmrichKMRZ
Indexing uncertain spatio-temporal data (TE, HPK, NM, MR, AZ), pp. 395–404.
CIKMCIKM-2012-EmrichKNRSZ #graph #monte carlo #probability #query
Exploration of monte-carlo based probabilistic query processing in uncertain graphs (TE, HPK, JN, MR, AS, AZ), pp. 2728–2730.
CIKMCIKM-2012-KozawaAK #database #gpu #mining #probability
GPU acceleration of probabilistic frequent itemset mining from uncertain databases (YK, TA, HK), pp. 892–901.
CIKMCIKM-2012-OrangS #approach #correlation #probability #query
A probabilistic approach to correlation queries in uncertain time series data (MO, NS), pp. 2229–2233.
CIKMCIKM-2012-ZhanZZL
Finding top k most influential spatial facilities over uncertain objects (LZ, YZ, WZ, XL), pp. 922–931.
ICMLICML-2012-KumarPK #learning #modelling
Modeling Latent Variable Uncertainty for Loss-based Learning (MPK, BP, DK), p. 29.
ICMLICML-2012-MannorMX #robust
Lightning Does Not Strike Twice: Robust MDPs with Coupled Uncertainty (SM, OM, HX), p. 62.
KDDKDD-2012-Li12b #algorithm #graph #mining
Algorithms for mining uncertain graph data (JL), p. 813.
KDDKDD-2012-OlteanuS #clustering #correlation #energy #named #network #predict
DAGger: clustering correlated uncertain data (to predict asset failure in energy networks) (DO, SJvS), pp. 1504–1507.
KDDKDD-2012-TongCY #mining #named
UFIMT: an uncertain frequent itemset mining toolbox (YT, LC, PSY), pp. 1508–1511.
KDDKDD-2012-WauthierJJ #clustering #reduction
Active spectral clustering via iterative uncertainty reduction (FLW, NJ, MIJ), pp. 1339–1347.
KDDKDD-2012-WeiZP
Constructing popular routes from uncertain trajectories (LYW, YZ, WCP), pp. 195–203.
ECMFAECMFA-2012-PuissantSM #consistency #design #named
Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.
MODELSMoDELS-2012-FariasGL #aspect-oriented #consistency #detection #empirical
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.
MODELSMoDELS-2012-RamirezCBS #runtime
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
SPLCSPLC-2012-NohrerBE #comparison #consistency
A comparison of strategies for tolerating inconsistencies during decision-making (AN, AB, AE), pp. 11–20.
OOPSLAOOPSLA-2012-BaoZZ #program analysis
White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
PEPMPEPM-2012-JainZS
Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
PLDIPLDI-2012-CarbinKMR #approximate #proving #source code
Proving acceptability properties of relaxed nondeterministic approximate programs (MC, DK, SM, MCR), pp. 169–180.
RERE-2012-AroraSR #feature model #interactive
Resolving uncertainty in automotive feature interactions (SA, PS, SR), pp. 21–30.
RERE-2012-SalayCH #modelling #requirements
Managing requirements uncertainty with partial models (RS, MC, JH), pp. 1–10.
RERE-2012-YangRGWN #automation #detection #natural language #requirements
Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
ASEASE-2012-RederE #consistency #design #modelling
Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.
FSEFSE-2012-EsfahaniRM #architecture
Dealing with uncertainty in early software architecture (NE, KR, SM), p. 21.
ICSEICSE-2012-FamelisSC #modelling #reasoning #towards
Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.
CASECASE-2012-TangL #overview #perspective
Uncertainty management in remanufacturing: A review (YT, CL), pp. 52–57.
CASECASE-2012-TangLY #using
Tracking control of a compliant XY nano-positioner under plant uncertainty using a transfigured loop-shaping H∞ controller (HT, YL, QY), pp. 103–108.
DACDAC-2012-SunGR #design #robust
A new uncertainty budgeting based method for robust analog/mixed-signal design (JS, PG, JMWR), pp. 529–535.
PPoPPPPoPP-2012-BurnimENS #correctness #named #parallel #specification
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
PPoPPPPoPP-2012-ZuYXWTPD #automaton #implementation #memory management #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.
FoSSaCSFoSSaCS-2012-BernardoNL #probability #process #testing
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
STOCSTOC-2012-Ajtai #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
TACASTACAS-2012-LengalSV #automaton #library #named #performance
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
CAVCAV-2012-PaulaHN #debugging #named
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
ICLPICLP-2012-Hanus #analysis #lazy evaluation
Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
ICSTICST-2012-PetrenkoSY #finite #generative #sequence #state machine
Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
ICSTICST-2012-TanMTL #consistency #detection #testing
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ISSTAISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ISSTAISSTA-2012-TombF #analysis #consistency #detection #reachability
Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.
LICSLICS-2012-McIverMM #information management #probability
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (AM, LM, CM), pp. 461–470.
ECSAECSA-2011-Axelsson #architecture #embedded #how #on the
On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
QoSAQoSA-ISARCS-2011-MeedeniyaMAG #architecture #evaluation #reliability
Architecture-based reliability evaluation under uncertainty (IM, IM, AA, LG), pp. 85–94.
SIGMODSIGMOD-2011-FinkHOR #named #query #web
SPROUT2: a squared query engine for uncertain web data (RF, AH, DO, SR), pp. 1299–1302.
SIGMODSIGMOD-2011-KennedyLLSN #enterprise #fuzzy #parametricity
Fuzzy prophet: parameter exploration in uncertain enterprise scenarios (OK, SL, CL, SS, SN), pp. 1303–1306.
SIGMODSIGMOD-2011-KennedyN #enterprise #named #optimisation #performance
Jigsaw: efficient optimization over uncertain enterprise data (OK, SN), pp. 829–840.
SIGMODSIGMOD-2011-SolimanIMT #metric #ranking #semantics
Ranking with uncertain scoring functions: semantics and sensitivity measures (MAS, IFI, DM, MT), pp. 805–816.
SIGMODSIGMOD-2011-YangWCK #constraints #query
Querying uncertain data with aggregate constraints (MY, HW, HC, WSK), pp. 817–828.
VLDBVLDB-2011-BerneckerEKRZZ #nearest neighbour #performance #probability #query
Efficient Probabilistic Reverse Nearest Neighbor Query Processing on Uncertain Data (TB, TE, HPK, MR, SZ, AZ), pp. 669–680.
VLDBVLDB-2011-GeL #approximate #string
Approximate Substring Matching over Uncertain Strings (TG, ZL), pp. 772–782.
VLDBVLDB-2011-JinLDW #constraints #graph #reachability
Distance-Constraint Reachability Computation in Uncertain Graphs (RJ, LL, BD, HW), pp. 551–562.
VLDBVLDB-2011-PengDL #optimisation #probability #query
Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDBVLDB-2011-WangYYZP #database #on the #ranking
On Pruning for Top-K Ranking in Uncertain Databases (CW, LYY, JHY, ORZ, JP), pp. 598–609.
VLDBVLDB-2011-YuanWWC #graph #performance #scalability
Efficient Subgraph Search over Large Uncertain Graphs (YY, GW, HW, LC), pp. 876–886.
AFLAFL-2011-MedunaVZ #on the
On Nondeterminism in Programmed Grammars (AM, LV, PZ), pp. 315–327.
CIAACIAA-2011-CastiglioneRS #algorithm #automaton
Nondeterministic Moore Automata and Brzozowski’s Algorithm (GC, AR, MS), pp. 88–99.
CIAACIAA-2011-HolzerKM #complexity
Nondeterministic State Complexity of Star-Free Languages (MH, MK, KM), pp. 178–189.
CIAACIAA-2011-KushikEY #adaptation #finite #state machine
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 215–224.
ICALPICALP-v2-2011-AlurD #streaming #string #transducer
Nondeterministic Streaming String Transducers (RA, JVD), pp. 1–20.
ICALPICALP-v2-2011-Kapoutsis
Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.
ICEISICEIS-J-2011-WangN11a #mining #named
UF-Evolve: Uncertain Frequent Pattern Mining (SW, VTYN), pp. 98–116.
ICEISICEIS-v1-2011-WangN #mining #named
UF-Evolve — Uncertain Frequent Pattern Mining (SW, VTYN), pp. 74–84.
CIKMCIKM-2011-Gal #power of
Uncertain schema matching: the power of not knowing (AG), pp. 2615–2616.
CIKMCIKM-2011-MeiserDT #interactive #knowledge base #rdf #reasoning
Interactive reasoning in uncertain RDF knowledge bases (TM, MD, MT), pp. 2557–2560.
CIKMCIKM-2011-MohtaramiALT #predict #sentiment
Predicting the uncertainty of sentiment adjectives in indirect answers (MM, HA, ML, CLT), pp. 2485–2488.
KDDKDD-2011-JinLA #graph #reliability
Discovering highly reliable subgraphs in uncertain graphs (RJ, LL, CCA), pp. 992–1000.
KMISKMIS-2011-CostantinoDFS #analysis #evaluation #using
A Model using Data Envelopment Analysis for the Cross Evaluation of Suppliers under Uncertainty (NC, MD, MF, FS), pp. 152–157.
SEKESEKE-2011-Amasaki #case study #consistency #estimation #linear #performance
A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression (SA), pp. 485–488.
SEKESEKE-2011-DoranTFG #analysis #architecture #parametricity #reliability
Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.
SEKESEKE-2011-GaoHYS
Data Uncertainty Model for Mashup (XG, WH, WY, SZ), pp. 503–508.
BXBX-2011-Boronat #consistency #detection #maude #modelling #specification #using
Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.
ECMFAECMFA-2011-NoirDESB #case study #consistency #detection #experience #representation
Operation Based Model Representation: Experiences on Inconsistency Detection (JLN, OD, DE, MAAdS, XB), pp. 85–96.
ECMFAECMFA-2011-StraetenPM #consistency
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.
SPLCSPLC-2011-NolanACP #product line #requirements
Requirements Uncertainty in a Software Product Line (AJN, SA, PCC, AP), pp. 223–231.
PLDIPLDI-2011-BurnimENS #correctness #named #parallel #runtime #specification
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
POPLPOPL-2011-BocchinoHHAAWS #parallel
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
RERE-2011-NolanACP #development #requirements
Managing requirements uncertainty in engine control systems development (AJN, SA, PCC, AP), pp. 259–264.
RERE-2011-WelshSB #runtime
Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
ASEASE-2011-Esfahani #adaptation #framework #self
A framework for managing uncertainty in self-adaptive software systems (NE), pp. 646–650.
ASEASE-2011-RamirezJCK #adaptation #automation #behaviour #how
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
ESEC-FSEESEC-FSE-2011-AutiliCRIPT #named #ubiquitous
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.
ESEC-FSEESEC-FSE-2011-EsfahaniKM #adaptation #self
Taming uncertainty in self-adaptive software (NE, EK, SM), pp. 234–244.
ICSEICSE-2011-NohrerRE #consistency #effectiveness
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
ICSEICSE-2011-Reder #consistency #development #framework #modelling
Inconsistency management framework for model-based development (AR), pp. 1098–1101.
ICSEICSE-2011-SumnerBZP #analysis #performance
Coalescing executions for fast uncertainty analysis (WNS, TB, XZ, SP), pp. 581–590.
SACSAC-2011-KadriE #mining #sequence #web
Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.
SACSAC-2011-LeungJ #data type #mining #using
Frequent itemset mining of uncertain data streams using the damped window model (CKSL, FJ), pp. 950–955.
SACSAC-2011-LeungS #equivalence #mining
Equivalence class transformation based mining of frequent itemsets from uncertain data (CKSL, LS), pp. 983–984.
CASECASE-2011-Gonzalez-CastoloL #analysis #fuzzy
State uncertainty analysis of Fuzzy Timed DES (JCGC, ELM), pp. 600–606.
CASECASE-2011-MohajeraniMF #composition #synthesis
Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
DATEDATE-2011-NigamTZBM #pseudo #representation
Pseudo circuit model for representing uncertainty in waveforms (AN, QT, AZ, MB, NvdM), pp. 1521–1524.
STOCSTOC-2011-FawziHS #performance
From low-distortion norm embeddings to explicit uncertainty relations and efficient information locking (OF, PH, PS), pp. 773–782.
STOCSTOC-2011-FeigeT #design
Mechanism design with uncertain inputs: (to err is human, to forgive divine) (UF, MT), pp. 549–558.
TACASTACAS-2011-BertrandJSK #automaton #testing
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
CSLCSL-2011-Schwencke #recursion
A Category Theoretic View of Nondeterministic Recursive Program Schemes (DS), pp. 496–511.
CSLCSL-2011-SchwinghammerB #reasoning #relational
Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
ICLPICLP-J-2011-RiguzziS #reasoning
The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.
ICTSSICTSS-2011-PetrenkoY #adaptation #implementation #testing
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.
PODSPODS-2010-Wijsen #database #first-order #on the #query
On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases (JW), pp. 179–190.
SIGMODSIGMOD-2010-MagnaniM #named
US-SQL: managing uncertain schemata (MM, DM), pp. 1195–1198.
SIGMODSIGMOD-2010-QiJSP #optimisation #query
Threshold query optimization for uncertain data (YQ, RJ, SS, SP), pp. 315–326.
SIGMODSIGMOD-2010-TranPLDL #algorithm #data type #named
PODS: a new model and processing algorithms for uncertain data streams (TTLT, LP, BL, YD, AL), pp. 159–170.
VLDBVLDB-2010-GeZ #array #modelling #multi
A*-tree: A Structure for Storage and Modeling of Uncertain Multidimensional Arrays (TG, SBZ), pp. 964–974.
VLDBVLDB-2010-KimuraMZ #database #named
UPI: A Primary Index for Uncertain Databases (HK, SM, SBZ), pp. 630–637.
VLDBVLDB-2010-PotamiasBGK #graph #nearest neighbour
k-Nearest Neighbors in Uncertain Graphs (MP, FB, AG, GK), pp. 997–1008.
VLDBVLDB-2010-RenzCK #database #mining #similarity
Similarity Search and Mining in Uncertain Databases (MR, RC, HPK, AZ, TB), pp. 1653–1654.
VLDBVLDB-2010-SolimanIS
Building Ranked Mashups of Unstructured Sources with Uncertain Information (MAS, IFI, MS), pp. 826–837.
VLDBVLDB-2010-TranMDPL #data type
Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations (TTLT, AM, YD, LP, AL), pp. 1302–1313.
VLDBVLDB-2011-LianC #correlation #framework
A Generic Framework for Handling Uncertain Data with Local Correlations (XL, LC), pp. 12–21.
AFLAFL-J-2008-KaminskiZ10 #automaton
Finite-Memory Automata with Non-Deterministic Reassignment (MK, DZ), pp. 741–760.
DLTDLT-J-2008-Ada10 #communication #complexity #on the #regular expression
On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
CIAACIAA-2010-CimattiMRT #automaton #regular expression
From Sequential Extended Regular Expressions to NFA with Symbolic Labels (AC, SM, MR, ST), pp. 87–94.
ICALPICALP-v1-2010-BojanczykP #automaton #evaluation #performance #using
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests (MB, PP), pp. 515–526.
IFMIFM-2010-Dimovski #composition #equivalence #source code #termination
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs (AD), pp. 121–135.
CHICHI-2010-RogersWSM #named
FingerCloud: uncertainty and autonomy handover incapacitive sensing (SR, JW, CDS, RMS), pp. 577–580.
CAiSECAiSE-2010-SilvaMBB #automation #consistency #design #modelling #towards
Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.
CIKMCIKM-2010-KhachatryanB #multi
Quantifying uncertainty in multi-dimensional cardinality estimations (AK, KB), pp. 1317–1320.
CIKMCIKM-2010-KhalefaML #query
Skyline query processing for uncertain data (MEK, MFM, JJL), pp. 1293–1296.
CIKMCIKM-2010-LuWG #multi #semantics
Multi-information fusion for uncertain semantic representations of videos (BL, GW, XG), pp. 1609–1612.
CIKMCIKM-2010-ZhaoAY #composition #on the #set
On wavelet decomposition of uncertain time series data sets (YZ, CCA, PSY), pp. 129–138.
ICMLICML-2010-BhadraBBB #kernel #matrix #robust
Robust Formulations for Handling Uncertainty in Kernel Matrices (SB, SB, CB, ABT), pp. 71–78.
ICPRICPR-2010-PiroonratanaWUALC #identification #morphism #ranking #symmetry #using
Identification of Ancestry Informative Markers from Chromosome-Wide Single Nucleotide Polymorphisms Using Symmetrical Uncertainty Ranking (TP, WW, TU, AA, CL, NC), pp. 2448–2451.
ICPRICPR-2010-Sur #robust
Robust Matching in an Uncertain World (FS), pp. 2350–2353.
ICPRICPR-2010-WuW #estimation #evaluation
A Comprehensive Evaluation on Non-deterministic Motion Estimation (CW, QW), pp. 2333–2336.
KDDKDD-2010-GaoW #mining
Direct mining of discriminative patterns for classifying uncertain data (CG, JW), pp. 861–870.
KDDKDD-2010-SarangiM #named #similarity
DUST: a generalized notion of similarity between uncertain time series (SRS, KM), pp. 383–392.
KDDKDD-2010-SunCCC #mining #probability
Mining uncertain data with probabilistic guarantees (LS, RC, DWC, JC), pp. 273–282.
KDDKDD-2010-ZouGL #database #graph #probability #semantics
Discovering frequent subgraphs over uncertain graph databases under probabilistic semantics (ZZ, HG, JL), pp. 633–642.
KRKR-2010-EiterFSW #consistency #multi
Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).
KRKR-2010-GebserGISSTV #biology #consistency #network #predict #programming #scalability #set
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
KRKR-2010-LutzS #logic #probability
Probabilistic Description Logics for Subjective Uncertainty (CL, LS).
KRKR-2010-XiaoLMQ #consistency #metric #multi #satisfiability #semantics
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).
RecSysRecSys-2010-DeryKRS #recommendation
Iterative voting under uncertainty for group recommender systems (LND, MK, LR, BS), pp. 265–268.
ECMFAECMFA-2010-Lopez-HerrejonE #consistency #detection #modelling #multi #variability
Detecting Inconsistencies in Multi-View Models with Variability (RELH, AE), pp. 217–232.
OOPSLAOOPSLA-2010-GabelYYGS #consistency #detection #scalability #source code
Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
PEPMPEPM-2010-RiescoR #programming
Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.
POPLPOPL-2010-BodikCGKTBR #programming
Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
RERE-2010-JuretaBEM #consistency #generative #modelling #named #requirements #towards
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
RERE-2010-KamalrudinHG #approach #automation #consistency #named #requirements #visual notation
MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements (MK, JGH, JCG), pp. 393–394.
REFSQREFSQ-2010-WelshS #adaptation #comprehension
Understanding the Scope of Uncertainty in Dynamically Adaptive Systems (KW, PS), pp. 2–16.
ASEASE-2010-AroonvatanapornSB #assessment #estimation
Reducing estimation uncertainty with continuous assessment: tracking the “cone of uncertainty” (PA, CS, BWB), pp. 337–340.
SACSAC-2010-EspositoFd #validation
Recovering uncertain mappings through structural validation and aggregation with the MoTo system (FE, NF, Cd), pp. 1428–1432.
SACSAC-2010-LeungHB #constraints #mining
Mining uncertain data for frequent itemsets that satisfy aggregate constraints (CKSL, BH, DAB), pp. 1034–1038.
SACSAC-2010-QinXL #classification
A Bayesian classifier for uncertain data (BQ, YX, FL), pp. 1010–1014.
CASECASE-2010-AllenT #consistency #detection #fault #industrial
Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
CASECASE-2010-ChaouiS #adaptation #fuzzy #logic
Adaptive fuzzy logic motion and posture control of inverted pendulums with unstructured uncertainties (HC, PS), pp. 638–643.
DATEDATE-2010-ChouYCDK #case study #design #scalability
Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study (HZC, HY, KHC, DD, SYK), pp. 1494–1499.
DATEDATE-2010-GhosalZNB #design #parametricity #robust
Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
DATEDATE-2010-JungP #network #optimisation #power management
Optimizing the power delivery network in dynamically voltage scaled systems with uncertain power mode transition times (HJ, MP), pp. 351–356.
ICSTICST-2010-PorresR #contract #protocol #uml
From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
PODSPODS-2009-AgarwalCTY
Indexing uncertain data (PKA, SWC, YT, KY), pp. 137–146.
PODSPODS-2009-AtallahQ
Computing all skyline probabilities for uncertain data (MJA, YQ), pp. 279–287.
PODSPODS-2009-GuhaM #clustering
Exceeding expectations and clustering uncertain data (SG, KM), pp. 269–278.
SIGMODSIGMOD-2009-BabuGM #learning #scalability
Large-scale uncertainty management systems: learning and exploiting your data (SB, SG, KM), pp. 995–998.
SIGMODSIGMOD-2009-BexGMN #regular expression #xml
Simplifying XML schema: effortless handling of nondeterministic regular expressions (GJB, WG, WM, FN), pp. 731–744.
SIGMODSIGMOD-2009-GeZM #query
Top-k queries on uncertain data: on score distribution and typical answers (TG, SBZ, SM), pp. 375–388.
SIGMODSIGMOD-2009-MichelakisKHV #information management #rule-based
Uncertainty management in rule-based information extraction systems (EM, RK, PJH, SV), pp. 101–114.
SIGMODSIGMOD-2009-XuBEHS #clustering #enterprise
E = MC3: managing uncertain enterprise data in a cluster-computing environment (FX, KSB, VE, PJH, EJS), pp. 441–454.
VLDBVLDB-2009-ZhangCJOZ #effectiveness #predict #query
Effectively Indexing Uncertain Moving Objects for Predictive Queries (MZ, SC, CSJ, BCO, ZZ), pp. 1198–1209.
CIAACIAA-J-2008-HolzerK09 #automaton #complexity #finite
Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
LATALATA-2009-BeyersdorffKM #complexity #proving
Nondeterministic Instance Complexity and Proof Systems with Advice (OB, JK, SM), pp. 164–175.
FMFM-2009-ChenS #probability
Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.
ICFPICFP-2009-FischerKS #functional #lazy evaluation #programming
Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
CoGCIG-2009-DeLoozeV #fuzzy
Fuzzy Q-learning in a nondeterministic environment: developing an intelligent Ms. Pac-Man agent (LLD, WRV), pp. 162–169.
HCIDHM-2009-ZhengHLZLQ #feedback #fuzzy #logic
Fuzzy Logic in Exploring Data Effects: A Way to Unveil Uncertainty in EEG Feedback (FZ, BH, LL, TZ, YL, YQ), pp. 754–763.
CAiSECAiSE-2009-BlancMMM #consistency #detection #incremental
Incremental Detection of Model Inconsistencies Based on Model Operations (XB, AM, IM, TM), pp. 32–46.
ICEISICEIS-AIDSS-2009-Rojas-MoraG #fuzzy #set
The Signing of a Professional Athlete — Reducing Uncertainty with a Weighted Mean Hemimetric for Phi — Fuzzy Subsets (JRM, JGL), pp. 158–163.
ICEISICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #performance
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
ICEISICEIS-ISAS-2009-Kumlander #framework
Uncertainties Management Framework — Foundational Principles (DK), pp. 103–108.
ICEISICEIS-J-2009-Al-NoryBN #composition #framework
A Service Composition Framework for Decision Making under Uncertainty (MTAN, AB, HN), pp. 363–375.
ICEISICEIS-J-2009-LampertiZ #monitoring
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
CIKMCIKM-2009-LianC #data type #performance
Efficient join processing on uncertain data streams (XL, LC), pp. 857–866.
CIKMCIKM-2009-ZouLGZ #graph #mining
Frequent subgraph pattern mining on uncertain graph data (ZZ, JL, HG, SZ), pp. 583–592.
ICMLICML-2009-SindhwaniML #design
Uncertainty sampling and transductive experimental design for active dual supervision (VS, PM, RDL), pp. 953–960.
KDDKDD-2009-AggarwalLWW #mining
Frequent pattern mining with uncertain data (CCA, YL, JW, JW), pp. 29–38.
KDDKDD-2009-BerneckerKRVZ #database #mining #probability
Probabilistic frequent itemset mining in uncertain databases (TB, HPK, MR, FV, AZ), pp. 119–128.
KDIRKDIR-2009-Fathi #information management #modelling
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
KEODKEOD-2009-Fathi #information management #modelling
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
KMISKMIS-2009-Fathi #information management #modelling
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
SEKESEKE-2009-HendersonH #architecture #collaboration #consistency #development
Collaborative Development of System Architecture — a Tool for Coping with Inconsistency (PH, MJH), pp. 520–525.
SEKESEKE-2009-McElroyR #approach
A Layered Approach for Planning Releases under Uncertain Capacities (JM, GR), pp. 649–654.
SEKESEKE-2009-Zhang #consistency #development
Taming Inconsistency in Value-based Software Development (DZ), pp. 450–455.
SIGIRSIGIR-2009-Aly #modelling #retrieval #semantics #video
Modeling uncertainty in video retrieval: a retrieval model for uncertain semantic representations of videos (RA), p. 846.
SIGIRSIGIR-2009-ZhuWCT #information retrieval #modelling #risk management
Risky business: modeling and exploiting uncertainty in information retrieval (JZ, JW, IJC, MJT), pp. 99–106.
MODELSMoDELS-2009-ChengSBW #adaptation #approach #modelling #requirements
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
MODELSMoDELS-2009-ChengSBW #adaptation #approach #modelling #requirements
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
PEPMPEPM-2009-Lopez-FraguasRS #flexibility #framework #programming
A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
QAPLQAPL-2009-Bernardo #logic #markov #probability #process #testing
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.
RERE-2009-WhittleSBCB #adaptation #named #self #specification
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (JW, PS, NB, BHCC, JMB), pp. 79–88.
REFSQREFSQ-2009-PerrouinBBT #consistency #detection #modelling #perspective #requirements
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (GP, EB, BB, YLT), pp. 89–103.
ASEASE-2009-Kamalrudin #automation #consistency #requirements #tool support
Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASEASE-2009-RoseKPP #automation #consistency #metamodelling
Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.
ESEC-FSEESEC-FSE-2009-XiongHZSTM #automation #consistency
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
SACSAC-2009-ChengS #modelling #quality
Uncertainty apportionment for air quality forecast models (HC, AS), pp. 956–960.
SACSAC-2009-ChoudhuriG #embedded #named
FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SACSAC-2009-TimotheouL #communication
Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios (ST, GL), pp. 1171–1175.
CASECASE-2009-AllenGT #logic #verification
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
CASECASE-2009-KarnikTS #capacity #modelling #robust
Robust models for manufacturing capacity planning under demand uncertainty (AK, CST, AS), pp. 310–315.
CASECASE-2009-LeeB #architecture #composition #petri net
A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.
CASECASE-2009-XuK
Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.
DATEDATE-2009-SafizadehTATB #using
Using randomization to cope with circuit uncertainty (HS, MT, EKA, GT, KB), pp. 815–820.
FASEFASE-2009-RajamaniJPR #mobile #network #query
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks (VR, CJ, JP, GCR), pp. 401–416.
FoSSaCSFoSSaCS-2009-NeuhausserSK #markov #process
Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
FoSSaCSFoSSaCS-2009-Schewe #automaton #bound
Tighter Bounds for the Determinisation of Büchi Automata (SS), pp. 167–181.
CSLCSL-2009-Laird
Nondeterminism and Observable Sequentiality (JL), pp. 379–393.
MBTMBT-2009-SchumannSH #graph #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
FATESTestCom-FATES-2009-ZeissG #consistency #testing
Analyzing Response Inconsistencies in Test Suites (BZ, JG), pp. 195–210.
VMCAIVMCAI-2009-MightM #abstract interpretation
A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
PODSPODS-2008-CormodeM #algorithm #approximate #clustering
Approximation algorithms for clustering uncertain data (GC, AM), pp. 191–200.
SIGMODSIGMOD-2008-HuaPZL #approach #probability #query #ranking
Ranking queries on uncertain data: a probabilistic threshold approach (MH, JP, WZ, XL), pp. 673–686.
SIGMODSIGMOD-2008-JampaniXWPJH #approach #monte carlo #named
MCDB: a monte carlo approach to managing uncertain data (RJ, FX, MW, LLP, CMJ, PJH), pp. 687–700.
SIGMODSIGMOD-2008-LianC #database
Monochromatic and bichromatic reverse skyline search over uncertain databases (XL, LC), pp. 213–226.
SIGMODSIGMOD-2008-PeiHTL #probability #query #summary #tutorial
Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.
SIGMODSIGMOD-2008-SinghMMPHS
Orion 2.0: native support for uncertain data (SS, CM, SM, SP, SEH, RS), pp. 1239–1242.
SIGMODSIGMOD-2008-TatemuraCLPCA #named #query #web #web service
UQBE: uncertain query by example for web service mashup (JT, SC, FL, OP, KSC, DA), pp. 1275–1280.
VLDBVLDB-2008-BeskalesSI #database #nearest neighbour #performance
Efficient search for the top-k probable nearest neighbors in uncertain databases (GB, MAS, IFI), pp. 326–339.
VLDBVLDB-2008-ChengCX #quality
Cleaning uncertain data with quality guarantees (RC, JC, XX), pp. 722–735.
VLDBVLDB-2008-DeutchM08a #modelling #query
Querying web-based applications under models of uncertainty (DD, TM), pp. 1659–1665.
VLDBVLDB-2008-JinYCYL #query
Sliding-window top-k queries on uncertain streams (CJ, KY, LC, JXY, XL), pp. 301–312.
VLDBVLDB-2008-RastogiSW #data access
Access control over uncertain data (VR, DS, EW), pp. 821–832.
VLDBVLDB-2008-WangMGH #modelling #named #probability #repository #scalability #visual notation
BayesStore: managing large, uncertain data repositories with probabilistic graphical models (DZW, EM, MNG, JMH), pp. 340–351.
DLTDLT-J-2007-JirasekJS08 #automaton #finite
Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.
AFLAFL-2008-KaminskiZ #automaton
Extending finite-memory automata with non-deterministic reassignment (MK, DZ), pp. 195–207.
CIAACIAA-2008-BouajjaniHHTV #automaton #finite #testing
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (AB, PH, LH, TT, TV), pp. 57–67.
CIAACIAA-2008-GarciaPAR #automaton #finite #learning #regular expression #using
Learning Regular Languages Using Nondeterministic Finite Automata (PG, MVdP, GIA, JR), pp. 92–101.
CIAACIAA-2008-GlabbeekP #algorithm
Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
CIAACIAA-2008-HolzerK #complexity #finite
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
DLTDLT-2008-Ada #communication #complexity #on the #regular expression
On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
DLTDLT-2008-HromkovicS #automaton #bound #on the #proving
On the Hardness of Determining Small NFA’s and of Proving Lower Bounds on Their Sizes (JH, GS), pp. 34–55.
ICALPICALP-A-2008-Yin #complexity #proving
Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity (YY), pp. 72–83.
ICALPICALP-B-2008-BjorklundM #automaton
The Tractability Frontier for NFA Minimization (HB, WM), pp. 27–38.
ICALPICALP-B-2008-ColcombetL #automaton
The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (TC, CL), pp. 398–409.
RTARTA-2008-Schmidt-SchaussM #call-by #finite #simulation #λ-calculus
A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.
ICGTICGT-2008-BaldanCEK #composition #petri net #process
Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
ICEISICEIS-ISAS2-2008-FahadQN #consistency #fault #ontology
Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.
ICEISICEIS-ISAS2-2008-Kumlander #development
Bridging Uncertainties Gaps in Software Development Projects (DK), pp. 240–245.
ICEISICEIS-ISAS2-2008-SchmitzAFA #implementation #order
Defining the Implementation Order of Software Projects in Uncertain Environments (EAS, AJA, MCF, CMdA), pp. 23–29.
ICPRICPR-2008-GamboaF #classification #testing
Uncertainty based classification fusion — a soft-biometrics test case (HG, ALNF), pp. 1–4.
ICPRICPR-2008-RyooA #fuzzy #process #using
Human activities: Handling uncertainties using fuzzy time intervals (MSR, JKA), pp. 1–5.
ICPRICPR-2008-SukumarBPKA #locality #multi #using
Uncertainty minimization in multi-sensor localization systems using model selection theory (SRS, HB, DLP, AK, MAA), pp. 1–4.
KRKR-2008-HunterK #consistency #set
Measuring Inconsistency through Minimal Inconsistent Sets (AH, SK), pp. 358–366.
KRKR-2008-MartinezPPSS #consistency #policy
Inconsistency Management Policies (MVM, FP, AP, GIS, VSS), pp. 367–377.
KRKR-2008-PiniRVW
Dealing with Incomplete Agents’ Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting (MSP, FR, KBV, TW), pp. 571–578.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
PPDPPPDP-2008-DeckerM #consistency
Classifying integrity checking methods with regard to inconsistency tolerance (HD, DM), pp. 195–204.
ASEASE-2008-EgyedLF #consistency #design #generative #modelling #uml
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
ICSEICSE-2008-BlancMMM #consistency #detection
Detecting model inconsistency through operation-based model construction (XB, IM, AM, TM), pp. 511–520.
ICSEICSE-2008-LuCT #consistency #pervasive #testing
Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.
SACSAC-2008-BatistaDF #grid #scheduling
Scheduling grid tasks under uncertain demands (DMB, ACD, NLSdF), pp. 2041–2045.
SACSAC-2008-BordognaPPP #query
Evaluating uncertain location-based spatial queries (GB, MP, GP, GP), pp. 1095–1100.
SACSAC-2008-SchmitzAA #implementation #order
A method for defining the implementation order of software projects under uncertainty (EAS, AJA, CMdA), pp. 844–845.
CASECASE-2008-AdamekSS #hybrid #probability
Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASECASE-2008-HouZWCT #adaptation #approach #fuzzy #using
Adaptive dynamic surface control of a class of uncertain nonlinear systems in pure-feedback form using fuzzy backstepping approach (ZGH, AMZ, FXW, LC, MT), pp. 821–826.
CASECASE-2008-KimMHJL #image #robust
Image-based robust control of robot manipulators with image Jacobian and dynamics uncertainties (CSK, EJM, SMH, MSJ, KWL), pp. 732–737.
CASECASE-2008-KumarTSS #fuzzy #modelling
A fuzzy system for modeling the structure-activity relationships in presence of uncertainties (MK, KT, NS, RS), pp. 1025–1030.
CASECASE-2008-PatilS #adaptation
Adapting product and supply chain systems under severe uncertainty (LP, KS), pp. 285–290.
DATEDATE-2008-JungP #power management
Resilient Dynamic Power Management under Uncertainty (HJ, MP), pp. 224–229.
DATEDATE-2008-MalaniMQW #adaptation #multi #realtime #scalability #scheduling
Adaptive Scheduling and Voltage Scaling for Multiprocessor Real-time Applications with Non-deterministic Workload (PM, PM, QQ, QW), pp. 652–657.
TACASTACAS-2008-AndresR #probability
Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.
ICLPICLP-2008-CasasCH #implementation #independence #strict
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.
ICLPICLP-2008-GebserSTUV #biology #consistency #detection #network #programming #scalability #set
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
ICLPICLP-2008-PerezR #concurrent #constraints #programming
Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
ICSTICST-2008-Garousi #distributed #modelling #realtime #testing #uml
Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.
ICSTICST-2008-KolovosPP #consistency #detection #modelling
Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.
ICSTICST-2008-LeiWL #concurrent #consistency #diagrams #java #process #source code #testing #uml
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
LICSLICS-2008-Murawski #game studies #reachability #semantics #source code
Reachability Games and Game Semantics: Comparing Nondeterministic Programs (ASM), pp. 353–363.
TPDLECDL-2007-Clausen #automation #library
Opening Schrödingers Library: Semi-automatic QA Reduces Uncertainty in Object Transformation (LRC), pp. 186–197.
TPDLECDL-2007-HessR #documentation #network
A Model of Uncertainty for Near-Duplicates in Document Reference Networks (CH, MdR), pp. 449–453.
SIGMODSIGMOD-2007-QiCS #consistency #data flow #named #query
FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.
SIGMODSIGMOD-2007-SolimanIC #database #evaluation #named #performance #query
URank: formulation and efficient evaluation of top-k queries in uncertain databases (MAS, IFI, KCCC), pp. 1082–1084.
VLDBVLDB-2007-DongHY #integration
Data Integration with Uncertainty (XLD, AYH, CY), pp. 687–698.
VLDBVLDB-2007-PeiJLY #probability
Probabilistic Skylines on Uncertain Data (JP, BJ, XL, YY), pp. 15–26.
ITiCSEITiCSE-2007-Ben-Ari #concurrent #education
Teaching concurrency and nondeterminism with spin (MBA), pp. 363–364.
CIAACIAA-2007-KutribMW #automaton
Regulated Nondeterminism in Pushdown Automata (MK, AM, LW), pp. 85–96.
CIAACIAA-2007-MrazPO #context-free grammar
A Measure for the Degree of Nondeterminism of Context-Free Languages (FM, MP, FO), pp. 192–202.
DLTDLT-2007-AnselmoGM #2d
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
DLTDLT-2007-GruberH #complexity #exclamation
Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP (HG, MH), pp. 205–216.
DLTDLT-2007-JirasekJS #automaton #finite
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.
DLTDLT-2007-Salomaa #automaton #complexity #finite
Descriptional Complexity of Nondeterministic Finite Automata (KS), pp. 31–35.
ICALPICALP-2007-BeameDPW #communication #complexity #multi
Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity (PB, MD, TP, PW), pp. 134–145.
ICALPICALP-2007-KatrielKU #probability #problem
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems (IK, CKM, EU), pp. 171–182.
LATALATA-2007-ChoudharySB
Universality for Nondeterministic Logspace (VC, AKS, SB), pp. 103–114.
LATALATA-2007-GruberH #automaton #complexity #finite
Computational Complexity of NFA Minimization for Finite and Unary Languages (HG, MH), pp. 261–272.
LATALATA-2007-Kresz #automaton
Nondeterministic soliton automata with a single external vertex (MK), pp. 319–330.
LATALATA-2007-MesserschmidtO #automaton #on the
On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
HCIDHM-2007-OhS #behaviour #comprehension
Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty (IO, MS), pp. 443–452.
ICEISICEIS-AIDSS-2007-ChanL #rule-based
Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.
CIKMCIKM-2007-ReS
Management of data with uncertainties (CR, DS), pp. 3–8.
ICMLICML-2007-DelageM #markov #optimisation #performance #process
Percentile optimization in uncertain Markov decision processes with application to efficient exploration (ED, SM), pp. 225–232.
RecSysRecSys-2007-GadanhoL
Addressing uncertainty in implicit preferences (SCG, NL), pp. 97–104.
SIGIRSIGIR-2007-Collins-ThompsonC #estimation #feedback #pseudo #using
Estimation and use of uncertainty in pseudo-relevance feedback (KCT, JC), pp. 303–310.
SIGIRSIGIR-2007-YakiciBRC #evaluation #information retrieval #modelling
Modelling epistemic uncertainty in ir evaluation (MY, MB, IR, FC), pp. 769–770.
MODELSMoDELS-2007-KusterR #consistency #evaluation
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
MODELSMoDELS-2007-KusterR #consistency #evaluation
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
PLDIPLDI-2007-DilligDA #consistency #detection #fault #semantics #using
Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
ASEASE-2007-VainRKE #synthesis
Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
ESEC-FSEESEC-FSE-2007-XuCCY #automation #consistency #on the #pervasive
On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.
ICSEICSE-2007-Egyed #consistency #design #modelling #uml
Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.
CASECASE-2007-GengJ #capacity
Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity (NG, ZJ), pp. 100–105.
CASECASE-2007-KumarTSS #fuzzy #modelling
Fuzzy Handling of Uncertainties in Modeling the Inhibition of Glycogen Synthase Kinase-3 by Paullones (MK, KT, NS, RS), pp. 237–242.
DACDAC-2007-RoyMC
Effects of Coupling Capacitance and Inductance on Delay Uncertainty and Clock Skew (AR, NHM, MHC), pp. 184–187.
DACDAC-2007-XianLL #energy #execution #multi #realtime #scheduling
Energy-Aware Scheduling for Real-Time Multiprocessor Systems with Uncertain Task Execution Time (CX, YHL, ZL), pp. 664–669.
DACDAC-2007-YuDFL #analysis #framework #process #statistics
A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis (GY, WD, ZF, PL), pp. 829–834.
DATEDATE-2007-JungP #power management
Dynamic power management under uncertain information (HJ, MP), pp. 1060–1065.
STOCSTOC-2007-Indyk
Uncertainty principles, extractors, and explicit embeddings of l2 into l1 (PI), pp. 615–620.
MBTMBT-2007-BorodayPG #model checking #question #testing
Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
FATESTestCom-FATES-2007-ShabaldinaEY #finite #state machine #testing
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.
VLDBVLDB-2006-AgrawalBSHNSW #named
Trio: A System for Data, Uncertainty, and Lineage (PA, OB, ADS, CH, SUN, TS, JW), pp. 1151–1154.
VLDBVLDB-2006-BenjellounSHW #database #named
ULDBs: Databases with Uncertainty and Lineage (OB, ADS, AYH, JW), pp. 953–964.
CSEETCSEET-2006-Budgen #why
Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.
CIAACIAA-2006-Hyyro #approximate #automaton #string
Tighter Packed Bit-Parallel NFA for Approximate String Matching (HH), pp. 287–289.
DLTDLT-2006-GruberH #bound #complexity
Finding Lower Bounds for Nondeterministic State Complexity Is Hard (HG, MH), pp. 363–374.
DLTDLT-2006-KutribM #automaton
Context-Dependent Nondeterminism for Pushdown Automata (MK, AM), pp. 133–144.
CAiSECAiSE-2006-FlescaGMT #documentation
Wrapping PDF Documents Exploiting Uncertain Knowledge (SF, SG, EM, AT), pp. 175–189.
EDOCEDOC-2006-GorpAJ #2d #consistency #contract #framework #platform #towards #traceability #visual notation
Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
ICEISICEIS-AIDSS-2006-Hanna #execution
Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.
CIKMCIKM-2006-ChengSPSVX #performance
Efficient join processing over uncertain data (RC, SS, SP, RS, JSV, YX), pp. 738–747.
ICMLICML-2006-DaiYTK #adaptation #classification
Locally adaptive classification piloted by uncertainty (JD, SY, XT, JTK), pp. 225–232.
ICPRICPR-v1-2006-Brandt #robust
Robust Factorisation with Uncertainty Ana (SSB), pp. 39–42.
ICPRICPR-v1-2006-GebkenTPS #estimation #image
Perspective Pose Estimation from Uncertain Omnidirectional Image Data (CG, AT, CP, GS), pp. 793–796.
ICPRICPR-v2-2006-YuW06b #mining
Mining Uncertain Data in Low-dimensional Subspace (ZY, HSW), pp. 748–751.
KRKR-2006-HunterK #consistency
Shapley Inconsistency Values (AH, SK), pp. 249–259.
KRKR-2006-Saint-CyrP #fuzzy #modelling #persistent #reasoning
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning (FDdSC, HP), pp. 440–451.
KRKR-2006-SardinaGLL #on the #strict
On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
KRKR-2006-ZamanskyA #first-order #logic #semantics
Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
SEKESEKE-2006-HuangC06a #rule-based
A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
SEKESEKE-2006-McDaidGKPCT #agile #release planning
Managing Uncertainty in Agile Release Planning (KM, DG, FK, PP, GC, PST), pp. 138–143.
SIGIRSIGIR-2006-JinFM #analysis #consistency #feedback #performance
Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback (XJ, JCF, JM), pp. 655–656.
MODELSMoDELS-2006-MensSD #analysis #consistency #dependence #detection #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
MODELSMoDELS-2006-MensSD #analysis #consistency #dependence #detection #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
QAPLQAPL-2006-WolfBM06a #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
SACSAC-2006-StraetenD #consistency #refactoring #rule-based
Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
SACSAC-2006-Yu
A spatiotemporal uncertainty model of degree 1.5 for continuously changing data objects (BY), pp. 1150–1155.
CASECASE-2006-DingYZA #clustering #evaluation #multi #optimisation #performance #process #tool support
Performance Evaluation and Schedule Optimization of Multi-Cluster Tools with Process Times Uncertainty (SD, JY, MTZ, RAT), pp. 112–117.
DACDAC-2006-SinghMPO #runtime
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty (AKS, MM, RP, MO), pp. 522–527.
DACDAC-2006-WangKO #parametricity #probability #statistics
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
DATEDATE-2006-ReddyWM #architecture
Analyzing timing uncertainty in mesh-based clock architectures (SMR, GRW, RM), pp. 1097–1102.
HPDCHPDC-2006-ZhangJHMS #grid
Replicating Nondeterministic Services on Grid Environments (XZ, FJ, MAH, KM, RDS), pp. 105–116.
OSDIOSDI-2006-KremenekTBNE #specification
From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
FoSSaCSFoSSaCS-2006-Laird #abstraction
Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.
TACASTACAS-2006-SenVA #markov #model checking
Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.
LICSLICS-2006-Piterman #automaton
From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata (NP), pp. 255–264.
ICTSSTestCom-2006-Ipate #bound #finite #sequence #state machine #testing
Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
DocEngDocEng-2005-Bulterman #documentation
Engineering information in documents: leaving room for uncertainty (DCAB), p. 94.
VLDBVLDB-2005-BurdickDJRV
OLAP Over Uncertain and Imprecise Data (DB, PD, TSJ, RR, SV), pp. 970–981.
VLDBVLDB-2005-TaoCXNKP #multi #probability
Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions (YT, RC, XX, WKN, BK, SP), pp. 922–933.
CIAACIAA-2005-AbdullaDKN #automaton #scalability
Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.
KDDKDD-2005-KriegelP #clustering
Density-based clustering of uncertain data (HPK, MP), pp. 672–677.
SPLCSPLC-2005-Wesselius #architecture #modelling
Modeling Architectural Value: Cash Flow, Time and Uncertainty (JHW), pp. 89–95.
ESEC-FSEESEC-FSE-2005-XuC #consistency #detection #middleware
Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.
ICSEICSE-2005-EbertM #requirements
Requirements Uncertainty: Influencing Factors and Concrete Improvements (CE, JDM), pp. 553–560.
SACSAC-2005-LiuSC #distributed #low cost #query
Cost-efficient processing of MIN/MAX queries over distributed sensors with uncertainty (ZL, KCS, JC), pp. 634–641.
DACDAC-2005-XuHLNBP #design #named #optimisation #robust
OPERA: optimization with ellipsoidal uncertainty for robust analog IC design (YX, KLH, XL, IN, SPB, LTP), pp. 632–637.
HPDCHPDC-2005-LuJ05a #consistency #detection #distributed #framework #grid #performance
A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment (YL, HJ), pp. 318–319.
FoSSaCSFoSSaCS-2005-CattaniSKN #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
TACASTACAS-2005-KupfermanV #automaton #infinity #word
Complementation Constructions for Nondeterministic Automata on Infinite Words (OK, MYV), pp. 206–221.
FATESFATES-2005-PetrenkoY #automaton #consistency #testing
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.
ICLPICLP-2005-BrasselH #analysis #functional #logic programming #source code
Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
ICTSSTestCom-2005-MillerCLH #network #protocol #testing
Coping with Nondeterminism in Network Protocol Testing (REM, DC, DL, RH), pp. 129–145.
JCDLJCDL-2004-FanLXW #classification #concept #semantics #set #video
Semantic video classification and feature subset selection under context and concept uncertainty (JF, HL, JX, LW), pp. 192–201.
VLDBVLDB-2004-ChengXPSV #performance #probability #query
Efficient Indexing Methods for Probabilistic Threshold Queries over Uncertain Data (RC, YX, SP, RS, JSV), pp. 876–887.
CIAACIAA-2004-CampeanuP #automaton #bound
Tight Bounds for NFA to DFCA Transformations for Binary Alphabets (CC, AP), pp. 306–307.
CIAACIAA-2004-Polak #automaton #using
Minimalizations of NFA Using the Universal Automaton (LP), pp. 325–326.
ICALPICALP-2004-FlumGW #bound #parametricity
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.
ICEISICEIS-v2-2004-Turowska #analysis
Application of Uncertain Variables to Stability Analysis and Stabilization for ATM ABR Congestion Control Systems (MT), pp. 523–526.
ICEISICEIS-v3-2004-ToffolonD #consistency #development
Human-Centered Systems Development and Use Inconsistencies (CT, SD), pp. 34–41.
ICPRICPR-v4-2004-YuanL #dependence
Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
PADLPADL-2004-Fall #declarative
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.
FSEFSE-2004-Egyed #analysis
Resolving uncertainties during trace analysis (AE), pp. 3–12.
ICSEICSE-2004-GortonH #architecture #case study #experience
Architecting in the Face of Uncertainty: An Experience Report (IG, JH), pp. 543–551.
SACSAC-2004-PaulussenZHBPL #scheduling
Patient scheduling under uncertainty (TOP, AZ, AH, LB, AP, WL), pp. 309–310.
DACDAC-2004-WangHL #linear #parametricity
A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.
DATEDATE-v1-2004-HeathBH #named
Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s (MWH, WPB, IGH), pp. 410–415.
STOCSTOC-2004-HealyVV #using
Using nondeterminism to amplify hardness (AH, SPV, EV), pp. 192–201.
LICSLICS-2004-AlfaroGJ #abstraction #game studies #precise
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
TPDLECDL-2003-NottelmannF #logic #probability
Combining DAML+OIL, XSLT, and Probabilistic Logics for Uncertain Schema Mappings in MIND (HN, NF), pp. 194–206.
DLTDLT-2003-ChamparnaudC #algorithm #automaton #reduction
NFA Reduction Algorithms by Means of Regular Inequalities (JMC, FC), pp. 194–205.
DLTDLT-2003-HolzerK03a #automaton
Flip-Pushdown Automata: Nondeterminism Is Better than Determinism (MH, MK), pp. 361–372.
ICALPICALP-2003-HromkovicS03a #automaton #finite
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
TLCATLCA-2003-Maurel #logic
Nondeterministic Light Logics and NP-Time (FM), pp. 241–255.
IFLIFL-2003-SeguraP #analysis #correctness
Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
ECIRECIR-2003-NottelmannF #information retrieval #probability
From Uncertain Inference to Probability of Relevance for Advanced IR Applications (HN, NF), pp. 235–250.
SEKESEKE-2003-Ngo-TheR #requirements
Requirements Negotiation under Incompleteness and Uncertainty (ANT, GR), pp. 586–593.
SEKESEKE-2003-SouzaORGR #consistency #detection #modelling #re-engineering #using
Using Critiquing Systems for Inconsistency Detection in Software Engineering Models (CRBdS, HLRO, CRPdR, KMG, DFR), pp. 196–203.
ASEASE-2003-SabetzadehE #analysis #approach #consistency #graph
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.
SACSAC-2003-MillerFSC #modelling #visualisation
Modeling and Visualizing Uncertainty in a Global Water Balance Model (JRM, JJF, TAS, DCC), pp. 972–978.
DATEDATE-2003-HuangCW
Global Wire Bus Configuration with Minimum Delay Uncertainty (LDH, HMC, DFW), pp. 10050–10055.
DATEDATE-2003-VelenisPF #network #performance
Reduced Delay Uncertainty in High Performance Clock Distribution Networks (DV, MCP, EGF), pp. 10068–10075.
TACASTACAS-2003-AbdeddaimAM #on the #scheduling
On Optimal Scheduling under Uncertainty (YA, EA, OM), pp. 240–253.
FATESFATES-2003-KhoumsiJM #generative #realtime #testing
Test Cases Generation for Nondeterministic Real-Time Systems (AK, TJ, HM), pp. 131–146.
ICLPICLP-2003-LoyerS #logic programming #source code
Default Knowledge in Logic Programs with Uncertainty (YL, US), pp. 466–480.
CIAACIAA-J-2000-Bruggemann-KleinW02 #automaton
The Regularity of Two-Way Nondeterministic Tree Automata Languages (ABK, DW), pp. 67–81.
CIAACIAA-J-2000-Champarnaud02 #automaton #evaluation #regular expression
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.
CIAACIAA-2002-Holub #automaton #programming #simulation
Dynamic Programming — NFA Simulation (JH), pp. 295–300.
CIAACIAA-2002-HolzerK #automaton #complexity #finite
State Complexity of Basic Operations on Nondeterministic Finite Automata (MH, MK), pp. 148–157.
DLTDLT-2002-Adorna #on the
On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities (HNA), pp. 152–161.
DLTDLT-2002-HolzerK #complexity
Unary Language Operations and Their Nondeterministic State Complexity (MH, MK), pp. 162–172.
ICALPICALP-2002-Dalmau #constraints #problem
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICALPICALP-2002-HearnD #constraints #logic #reduction
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications (RAH, EDD), pp. 401–413.
FLOPSFLOPS-2002-LoyerS #logic programming #semantics #source code
The Well-Founded Semantics in Normal Logic Programs with Uncertainty (YL, US), pp. 152–166.
ICEISICEIS-2002-TrajcevskiWCLZR
Managing Uncertain Trajectories of Moving Objects with Domino (GT, OW, HC, HL, FZ, NR), pp. 218–225.
CIKMCIKM-2002-YuXSTK #collaboration #consistency #in memory
Removing redundancy and inconsistency in memory-based collaborative filtering (KY, XX, AS, VT, HPK), pp. 52–59.
ICMLICML-2002-SchapireSMLC #estimation #modelling #using
Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation (RES, PS, DAM, MLL, JAC), pp. 546–553.
KRKR-2002-LangM #consistency
Resolving Inconsistencies by Variable Forgetting (JL, PM), pp. 239–250.
SEKESEKE-2002-CanforaT #evaluation #re-engineering #tool support
The importance of dealing with uncertainty in the evaluation of software engineering methods and tools (GC, LT), pp. 691–698.
PADLPADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #source code
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.
CSLCSL-2002-Nipkow #bound #hoare #logic #recursion
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism (TN), pp. 103–119.
ICLPICLP-2002-LoyerS #database #deduction
Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.
JCDLJCDL-2001-GeislerMG #library #recommendation
Developing recommendation services for a digital library with uncertain and changing data (GG, DM, SG), pp. 199–200.
PODSPODS-2001-KhannaT #on the
On Computing Functions with Uncertainty (SK, WCT).
CIAACIAA-2001-Holub #automaton #parallel #simulation
Bit Parallelism — NFA Simulation (JH), pp. 149–160.
DLTDLT-2001-CaludeC #automaton #named #quantum
Automata: From Uncertainty to Quantum (CC, EC), pp. 1–14.
TLCATLCA-2001-Laird
A Deconstruction of Non-deterministic Classical Cut Elimination (JL), pp. 268–282.
IFLIFL-2001-PenaS01a #analysis
A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.
ICEISICEIS-v1-2001-Lujan-MoraM #consistency
Reducing Inconsistency in Data Warehouses (SLM, EM), pp. 199–206.
LOPSTRLOPSTR-2001-PotikasRG #datalog #source code
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
ICSEICSE-2001-Balzer01a #consistency #revisited
“Tolerating Inconsistency” Revisited (RB), p. 665.
TACASTACAS-2001-Finkbeiner
Language Containment Checking with Nondeterministic BDDs (BF), pp. 24–38.
VLDBVLDB-2000-CowleyP #constraints
Temporal Integrity Constraints with Indeterminacy (WC, DP), pp. 441–450.
CIAACIAA-2000-Bruggemann-KleinW #automaton
Regularly Extended Two-Way Nondeterministic Tree Automata (ABK, DW), pp. 57–66.
CIAACIAA-2000-Champarnaud #automaton #regular expression
Implicit Structures to Implement NFA’s from Regular Expressions (JMC), pp. 80–93.
ICALPICALP-2000-HromkovicKKSS #automaton #finite #metric
Measures of Nondeterminism in Finite Automata (JH, JK, HK, GS, SS), pp. 199–210.
WLCWLC-2000-BuchholzKK #array #communication
Iterative Arrays With Limited Nondeterministic Communication Cell (TB, AK, MK), pp. 73–87.
IFLIFL-2000-PenaS #analysis
Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.
ICEISICEIS-2000-LiY #comprehension #enterprise #information management #re-engineering #reasoning
Code Understanding Through Context-Oriented Uncertainty Reasoning for Enterprise Information System Reengineering (YL, HY), pp. 163–170.
ICEISICEIS-2000-VarvalhoANKCBR #concurrent #validation
Concurrent Validation in the Treatment of Uncertainty in a Expert System (LFdC, FMdA, SMN, CK, HJTdC, CTB, FR), pp. 102–107.
CIKMCIKM-2000-SadriB #database #equivalence #on the #query
On Equivalence of Queries in Uncertain Databases (FS, MFB), pp. 264–271.
KRKR-2000-AmorBDGP #framework #independence
Independence in qualitative uncertainty frameworks (NBA, SB, DD, HG, HP), pp. 235–246.
KRKR-2000-Giunchiglia #concurrent #constraints #satisfiability
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
PPDPPPDP-2000-HanusS #functional #logic programming #source code #type system
Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
SACSAC-2000-Vazirgiannis
Uncertainty Handling in Spatial Relationships (MV), pp. 494–500.
STOCSTOC-2000-FederMPOW
Computing the median with uncertainty (TF, RM, RP, CO, JW), pp. 602–607.
DLTDLT-1999-CaludeC #automaton #behaviour #bisimulation
Bisimulations and behaviour of nondeterministic automata (CC, EC), pp. 60–70.
DLTDLT-1999-JirickaK #automaton #finite
Deterministic forgetting planar automata are more powerful than non-deterministic finite-state planar automata (PJ, JK), pp. 71–80.
TOOLSTOOLS-ASIA-1999-HansenT #architecture #domain model #interactive
The “Domain Model Concealer” and “Application Moderator” Patterns: Addressing Architectural Uncertainty in Interactive Systems (KMH, MT), pp. 177–190.
RERE-1999-GoedickeMT #consistency #development #distributed #graph transformation #towards
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.
FoSSaCSFoSSaCS-1999-DantsinV #algorithm #polynomial #set #unification
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees (ED, AV), pp. 180–196.
STOCSTOC-1999-Ajtai #linear
Determinism versus Non-Determinism for Linear Time RAMs (MA), pp. 632–641.
ICLPICLP-1999-PedreschiR #bound #logic programming #source code
Bounded Nondeterminism of Logic Programs (DP, SR), pp. 350–364.
ICTSSIWTCS-1999-YevtushenkoCA #embedded #finite #state machine #testing
Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
LICSLICS-1999-HarmerM #finite #game studies #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
LICSLICS-1999-MalacariaH #game studies #program analysis #security
Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
ICSMEICSM-1998-FiutemA #case study #consistency #identification #object-oriented
Identifying Design-Code Inconsistencies in Object-Oriented Software: A Case Study (RF, GA), p. 94–?.
ICALPICALP-1998-JuknaZ #bound #branch #on the #source code
On Branching Programs With Bounded Uncertainty (SJ, SZ), pp. 259–270.
CIAAWIA-1998-HolubM #approximate #automaton #finite #implementation #pattern matching
Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching (JH, BM), pp. 92–99.
ICFPICFP-1998-Ennals #finite #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICFPICFP-1998-KutznerS #call-by #λ-calculus
A Non-Deterministic Call-by-Need λ Calculus (AK, MSS), pp. 324–335.
ICPRICPR-1998-BakerS #representation
Representation of uncertainty in spatial target tracking (TB, MJAS), pp. 1339–1342.
ICPRICPR-1998-CallariSF #approach #estimation
Uncertainty in pose estimation: a Bayesian approach (FGC, GS, FPF), pp. 972–976.
KDDKDD-1998-McCleanSS #database #information management
Aggregation of Imprecise and Uncertain Information for Knowledge Discovery in Databases (SIM, BWS, MS), pp. 269–273.
KRKR-1998-BenferhatDLPSS #approach #consistency #knowledge base
A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases (SB, DD, JL, HP, AS, PS), pp. 466–477.
REICRE-1998-RussoNK #case study #consistency #requirements #specification
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.
ASEASE-1998-GoedickeMP #architecture #consistency #design #detection #evaluation #on the #performance
On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation (MG, TM, CP), pp. 188–191.
CSLCSL-1998-GiannottiMNP #database #effectiveness #logic #on the #semantics
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases (FG, GM, MN, DP), pp. 58–72.
ICTSSIWTCS-1998-Boroday #finite #state machine #testing
Distinguishing Tests for Nondeterministic Finite State Machines (SB), pp. 101–108.
LICSLICS-1998-EmersonN #infinity #model checking #on the
On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.
ICSMEICSM-1997-ZivR #maintenance #modelling #testing
Constructing Bayesian-network models of software testing and maintenance uncertainties (HZ, DJR), p. 100–?.
DLTDLT-1997-IwamaT #automaton #bound
Tight Bounds on the Number of States of DFA’s That Are Equivalent to n-state NFA’s (KI, KT), pp. 147–154.
DLTDLT-1997-Moshkov #complexity #recognition #regular expression #word
Complexity of Deterministic and Nondeterministic Decision Trees for Regular Language Word Recognition (MM), pp. 343–349.
ICALPICALP-1997-Ablayev #branch #order #source code
Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs (FMA), pp. 195–202.
ICALPICALP-1997-BeigelF #bound #performance #recursion
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion (RB, BF), pp. 816–826.
FMFME-1997-LanoBFL #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
HCIHCI-SEC-1997-ItogaKL #approach #database #object-oriented #retrieval
All Object-Oriented Uncertainty Retrieval Approach for Graphics Databases (SYI, XK, YL), pp. 683–686.
EDOCEDOC-1997-HerringMK #case study #distributed #enterprise #experience #modelling
Selecting Distributed Object Technologies in the Presence of Uncertainty: an Experience Report on C4I enterprise modelling (CH, ZM, SMK), p. 245–?.
SIGIRSIGIR-1997-Lalmas #documentation #modelling
Dempster-Shafer’s Theory of Evidence Applied to Structured Documents: Modelling Uncertainty (ML), pp. 110–118.
PPDPALP-1997-Antoy #functional #logic
Optimal Non-deterministic Functional Logic Computations (SA), pp. 16–30.
POPLPOPL-1997-PettorossiPR #logic programming #source code
Reducing Nondeterminism while Specializing Logic Programs (AP, MP, SR), pp. 414–427.
SOSPSOSP-1997-Steere #latency #set
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency (DCS), pp. 252–263.
CSLCSL-1997-Olive #linear #logic
A Conjunctive Logical Characterization of Nondeterministic Linear Time (FO), pp. 360–372.
ICALPICALP-1996-Wiedermann
Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.
CIAAWIA-1996-GarzonE #automaton #concurrent #implementation
Dynamical Implementation of Nondeterministic Automata and Concurrent Systems (MHG, EE), pp. 35–49.
CIAAWIA-1996-SalomaaY #automaton #finite
NFA to DFA Transformation for Finite Languages (KS, SY), pp. 149–158.
FMFME-1996-BoerH #communication #process
Local Nondeterminism in Asynchronously Communicating Processes (FSdB, MvH), pp. 367–384.
RTARTA-1996-Vittek #compilation #term rewriting
A Compiler for Nondeterministic Term Rewriting Systems (MV), pp. 154–167.
KDDAKDDM-1996-SmythFBP #image #modelling
Modeling Subjective Uncertainty in Image Annotation (PS, UMF, MCB, PP), pp. 517–539.
CIKMCIKM-1996-TangH #workflow
Handling Uncertainties in Workflow Applications (JT, SYH), pp. 269–276.
ICPRICPR-1996-CallariF #ambiguity #recognition #using
Active recognition: using uncertainty to reduce ambiguity (FGC, FPF), pp. 925–929.
ICPRICPR-1996-HoriuchiYY #robust
Robust relaxation method for structural matching under uncertainty (TH, KY, HY), pp. 176–180.
ICPRICPR-1996-Lemaire #recognition #using
Use of a priori descriptions in a high-level language and management of the uncertainty in a scene recognition system (JL), pp. 560–564.
ICPRICPR-1996-Shimshoni #3d #image #performance #recognition
A fast method for estimating the uncertainty in the location of image points in 3D recognition (IS), pp. 590–594.
ICPRICPR-1996-StellaCD #mobile #self
Self-location of a mobile robot with uncertainty by cooperation of a heading sensor and a CCD TV camera (ES, GC, AD), pp. 303–307.
PLDIPLDI-1996-RussinovichC #concurrent #memory management
Replay For Concurrent Non-Deterministic Shared Memory Applications (MR, BC), pp. 258–266.
SACSAC-1996-SucciBR #component #identification #specification #taxonomy
A taxonomy for identifying a software component for uncertain and partial specifications (GS, FB, MR), pp. 570–579.
DACDAC-1996-KhatriNKMBS #automaton
Engineering Change in a Non-Deterministic FSM Setting (SPK, AN, SCK, KLM, RKB, ALSV), pp. 451–456.
ESOPESOP-1996-MaraninchiH #composition #semantics
Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
STOCSTOC-1996-AwerbuchAFL #how
Making Commitments in the Face of Uncertainty: How to Pick a Winner Almost Every Time (BA, YA, AF, FTL), pp. 519–530.
STOCSTOC-1996-HromkovicS #communication
Nondeterministic Communication with a Limited Number of Advice Bits (JH, GS), pp. 551–560.
DLTDLT-1995-SalomaaY #context-free grammar
Nondeterminism Degrees for Context-Free Languages (KS, SY), pp. 154–165.
CIKMCIKM-1995-AlagarSS #relational #semantics
Semantics of an Extended Relational Model for Managing Uncertain Information (VSA, FS, JNS), pp. 234–240.
CIKMCIKM-1995-LukasiewiczKKG #approach #constraints #database #object-oriented #taxonomy
Taxonomic and Uncertain Integrity Constraints in Object-Oriented Databases — the TOP Approach (TL, WK, GK, UG), pp. 241–249.
RERE-1995-EasterbrookN #consistency #evolution #specification
Managing inconsistencies in an evolving specification (SME, BN), pp. 48–55.
STOCSTOC-1995-AlurCY #probability #testing
Distinguishing tests for nondeterministic and probabilistic machines (RA, CC, MY), pp. 363–372.
TAPSOFTTAPSOFT-1995-WalickiM #modelling
Generated Models and the omega-Rule: The Nondeterministic Case (MW, SM), pp. 424–438.
ICMLICML-1994-LewisC #learning
Heterogenous Uncertainty Sampling for Supervised Learning (DDL, JC), pp. 148–156.
KDDKDD-1994-SmythBFP #database #image #information management #scalability
Knowledge Discovery in Large Image Databases: Dealing with Uncertainties in Ground Truth (PS, MCB, UMF, PP), pp. 109–120.
KRKR-1994-BarndenHIS #implementation #reasoning
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
KRKR-1994-DuboisP94a #information management #reasoning #representation #standard
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
KRKR-1994-GoldmanB #representation
Representing Uncertainty in Simple Planners (RPG, MSB), pp. 238–245.
KRKR-1994-TanP #evaluation #specification
Specification and Evaluation of Preferences Under Uncertainty (SWT, JP), pp. 530–539.
SACSAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #query #towards
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.
DATEEDAC-1994-Damiani #finite #state machine
Nondeterministic finite-state machines and sequential don’t cares (MD), pp. 192–198.
DATEEDAC-1994-WatanabeB #automaton #pseudo
State Minimization of Pseudo Non-Deterministic FSM’s (YW, RKB), pp. 184–191.
STOCSTOC-1994-CondonHPW #automaton #finite #on the #power of #probability
On the power of finite automata with both nondeterministic and probabilistic states (AC, LH, SP, AW), pp. 676–685.
DLTDLT-1993-BordihnD
A Note on the Degree of Nondeterminism (HB, JD), pp. 70–80.
DLTDLT-1993-HromkovicRS
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.
DLTDLT-1993-KrithivasanM #array #modelling #probability
Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.
ICALPICALP-1993-Yamamoto #bound #trade-off #turing machine
Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines (HY), pp. 203–214.
TLCATLCA-1993-Sieber #call-by
Call-by-Value and Nondeterminism (KS), pp. 376–390.
FPCAFPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #towards
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.
PLDIPLDI-1993-KernsE #latency #memory management #scheduling
Balanced Scheduling: Instruction Scheduling When Memory Latency is Uncertain (DRK, SJE), pp. 278–289.
PLDIBest-of-PLDI-1993-KernsE93a #latency #memory management #scheduling
Balanced scheduling: instruction scheduling when memory latency is uncertain (with retrospective) (DRK, SJE), pp. 515–527.
ESECESEC-1993-FinkelsteinGHKN #consistency #multi #specification
Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.
STOCSTOC-1993-KarchmerW
Characterizing non-deterministic circuit size (MK, AW), pp. 532–540.
CSLCSL-1993-Gomolko #consistency #logic #prolog
Negation as Inconsistency in PROLOG via Intuitionistic Logic (AG), pp. 128–138.
ICTSSIWPTS-1993-GhrigaF #adaptation #communication #protocol #testing
Adaptive Testing of Non-Deterministic Communication Protocols (MG, PGF), pp. 347–362.
ICTSSIWPTS-1993-PetrenkoYLD #consistency #protocol #state machine #testing
Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.
PODSPODS-1992-WongA #bound #concurrent #consistency #database
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems (MHW, DA), pp. 236–245.
VLDBVLDB-1992-Lee #database #relational
An Extended Relational Database Model for Uncertain and Imprecise Information (SKL), pp. 211–220.
KRKR-1992-PinkasL #consistency #reasoning #taxonomy
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.
ICMLML-1992-Christiansen #learning #predict
Learning to Predict in Uncertain Continuous Tasks (ADC), pp. 72–81.
SEKESEKE-1992-Chen #information management
Uncertain Temporal Knowledge Management (ZC), pp. 94–100.
SEKESEKE-1992-HaoTJ #consistency #modelling #process #prototype
Prototyping an Inconsistency Checking Tool for Software Process Models (JKH, FT, JJ), pp. 227–234.
PPDPPLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming
Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.
STOCSTOC-1992-BeameL #communication #complexity #random
Randomized versus Nondeterministic Communication Complexity (PB, JL), pp. 188–199.
CADECADE-1992-VershininR #logic
One More Logic with Uncertainty and Resolution Principle for it (KV, IR), pp. 663–667.
ICTSSIWPTS-1992-GhedamsiDB #fault #finite #state machine #testing
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.
ICTSSIWPTS-1992-Kloosterman #finite #state machine
Test Derivation from Non-Deterministic Finite State Machines (HK), pp. 297–308.
ICTSSIWPTS-1992-TripathyN #adaptation #finite #generative #modelling #testing
Generation of Adaptive Test Cases from Nondeterministic Finite State Models (PT, KN), pp. 309–320.
ICTSSIWPTS-1992-WittemanWB #behaviour
Non-Deterministic and Default Behaviour (MFW, RCvW, SRB), pp. 275–288.
LICSLICS-1992-GraedelM #logic #transitive
Deterministic vs. Nondeterministic Transitive Closure Logic (EG, GLM), pp. 58–63.
PODSPODS-1991-Garcia-MolinaS #queue
Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.
SIGMODSIGMOD-1991-GuntzerKT #database #deduction #reasoning
New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.
SIGMODSIGMOD-1991-Sheng #database #deduction
A Non-deterministic Deductive Database Language (YHS), pp. 188–197.
ICALPICALP-1991-JiangR #automaton #problem
Minimal NFA Problems Are Hard (TJ, BR), pp. 629–640.
KRKR-1991-PequenoB #consistency #logic
The Logic of Epistemic Inconsistency (THCP, AB), pp. 453–460.
SIGIRSIGIR-1991-Cooper #consistency #information retrieval #probability
Inconsistencies and Misnomers in Probabilistic IR (WSC), pp. 57–61.
LOPSTRLOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming
Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
LOPSTRLOPSTR-1991-Noel
A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.
ICSEICSE-1991-Balzer #consistency
Tolerating Inconsistency (RB), pp. 158–165.
TAPSOFTCCPSD-1991-DietrichL #functional #lazy evaluation
Exploiting Non-Determinism through Laziness in Guarded Functional Languages (RD, HCRL), pp. 201–216.
STOCSTOC-1991-AttiyaDLS #bound
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty (HA, CD, NAL, LJS), pp. 359–369.
ICTSSIWPTS-1991-FujiwaraB #fault #state machine #testing
Testing Non-Deterministic State Machines with Fault Coverage (SF, GvB), pp. 267–280.
PODSPODS-1990-AbiteboulSV
Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
PODSPODS-1990-SaccaZ #logic programming #modelling #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
ICALPICALP-1990-Geffert
Nondeterministic Computations in Sublogarithmic Space and Space Constructibility (VG), pp. 111–124.
ICMLML-1990-Hirsh #bound #consistency #learning
Learning from Data with Bounded Inconsistency (HH), pp. 32–39.
POPLPOPL-1990-Gunter #correctness #source code
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs (CAG), pp. 306–319.
RTARTA-1989-Narain #lazy evaluation #optimisation
Optimization by Non-Deterministic, Lazy Rewriting (SN), pp. 326–342.
FPCAFPCA-1989-RufW #functional #logic #programming #unification
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
ICMLML-1989-ScottM #case study #experience #learning
Uncertainty Based Selection of Learning Experiences (PDS, SM), pp. 358–361.
LICSLICS-1989-KiferL #consistency #logic #named #reasoning
RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.
ICALPICALP-1988-PanangadenS #power of
Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.
ICALPICALP-1988-Watanabe #complexity #on the
On ≤ᴾ₁₋tt-Sparseness and Nondeterministic Complexity Classes (OW0), pp. 697–709.
PPDPALP-1988-Hussmann #algebra #specification #term rewriting
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting (HH), pp. 31–40.
STOCSTOC-1988-GurevichS #linear #sublinear
Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space (YG, SS), pp. 281–289.
CSLCSL-1988-Dahlhaus #polynomial
Completeness with Respect to Interpretations in Deterministic and Nondeterministic Polynomial Time (ED), pp. 52–62.
CSLCSL-1988-Gradel #complexity #modelling
Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes (EG), pp. 118–137.
ICLPJICSCP-1988-TrehanW88 #commit #logic #parallel #parsing
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
SIGMODSIGMOD-1987-AlyO #database #deduction #logic #modelling #query
Non-deterministic Modelling of Logical Queries in Deductive Databases (HA, ZMÖ), pp. 60–72.
ICALPICALP-1987-ShyamasundarNP #network #semantics
Semantics for Nondeterministic Asynchronous Broadcast Networks (RKS, KTN, TP), pp. 72–83.
SIGIRSIGIR-1987-Zadehi #information retrieval
Uncertainties in Information Retrieval (LAZ), p. 109.
CSLCSL-1987-Spreen #on the #polynomial
On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations (DS), pp. 289–303.
ICLPICLP-1987-Conery87 #execution #implementation
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
ICALPICALP-1986-Lange #reduction
Decompositions of Nondeterministic Reductions (KJL), pp. 206–214.
ESOPESOP-1986-Kaplan #algebra #proving
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs (SK), pp. 351–374.
ESOPESOP-1986-Kok #semantics
Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.
STOCSTOC-1986-GalilKS #graph #on the #simulation #turing machine
On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines (ZG, RK, ES), pp. 39–49.
LICSLICS-1986-Plaisted #recursion #semantics #source code #using
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (DAP), pp. 163–174.
ICLPSLP-1986-Crammond86 #execution
An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
ICALPICALP-1985-Hortala-GonzalezR #hoare #logic #source code #standard #theorem
Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem (MTHG, MRA), pp. 270–280.
DACDAC-1985-Smith #architecture #design
A data architecture for an uncertain design and manufacturing environment (TRS), pp. 312–318.
STOCSTOC-1985-HalpernMM #precise
Optimal Precision in the Presence of Uncertainty (JYH, NM, AAM), pp. 346–355.
STOCSTOC-1984-Maass #bound #polynomial #turing machine
Quadratic Lower Bounds for Deterministic and Nondeterministic One-Tape Turing Machines (WM), pp. 401–408.
STOCSTOC-1983-Kannan83a #power of
Alternation and the Power of Nondeterminism (RK), pp. 344–346.
ICALPICALP-1982-BermanHT #logic #on the #power of
On the Power of Nondeterminism in Dynamic Logic (PB, JYH, JT), pp. 48–60.
ICALPICALP-1982-Plotkin
A Powerdomain for Countable Non-Determinism (GDP), pp. 418–428.
LISPLFP-1982-Clinger #call-by #lazy evaluation
Nondeterministic Call by Need is Neither Lazy Nor by Name (WDC), pp. 226–234.
LISPLFP-1982-CohenM #algebra #source code #towards
Toward an Algebra of Nondeterministic Programs (ATC, TJM), pp. 235–242.
STOCSTOC-1982-DurisG
Two Tapes are Better than One for Nondeterministic Machines (PD, ZG), pp. 1–7.
STOCSTOC-1982-ManberT #probability
Probabilistic, Nondeterministic, and Alternating Decision Trees (UM, MT), pp. 234–244.
ICALPICALP-1981-AptP
A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
ICALPICALP-1981-Subrahmanyam #data type
Nondeterminism in Abstract Data Types (PAS), pp. 148–164.
ICALPICALP-1980-Back #bound #semantics
Semantics of Unbounded Nondeterminism (RJB), pp. 51–63.
ICALPICALP-1980-HennessyM #concurrent #on the
On Observing Nondeterminism and Concurrency (MH, RM), pp. 299–309.
ICALPICALP-1980-KennawayH #formal method
A Theory of Nondeterminism (RK, CARH), pp. 338–350.
DACDAC-1980-LeinwandL #algebra #analysis #behaviour
Algebraic analysis of nondeterministic behavior (SML, TL), pp. 483–493.
STOCSTOC-1980-Mirkowska #algorithm #axiom #bound
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations (GM), pp. 14–21.
ICALPICALP-1979-AstesianoC
Sharing in Nondeterminism (EA, GC), pp. 1–15.
ICALPICALP-1979-MonienS #on the #turing machine
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space (BM, IHS), pp. 431–445.
ICALPICALP-1978-Gallier #correctness #recursion #semantics #source code
Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures (JHG), pp. 251–267.
ICALPICALP-1978-Savitch #complexity #parallel
Parallel and Nondeterministic Time Complexity Classes (WJS), pp. 411–424.
POPLPOPL-1978-HarelP #logic #source code
Nondeterminism in Logics of Programs (DH, VRP), pp. 203–213.
STOCSTOC-1978-SakodaS #automaton #finite
Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.
VLDBVLDB-1977-GardarinL #algorithm #consistency #database #scalability #scheduling
Scheduling Algorithms for Avoiding Inconsistency in Large Databases (GG, PL), pp. 501–506.
ICALPICALP-1977-PazM #approximate #optimisation #polynomial #problem
Non-Deterministic Polynomial Optimization Problems and Their Approximation (AP, SM), pp. 370–379.
DACDAC-1977-Dudnik #design #optimisation
Uncertainty and optimization in the design of building subsystems (EED), pp. 239–243.
STOCSTOC-1977-HennessyA
Parameter-Passing Mechanisms and Nondeterminism (MH, EAA), pp. 306–311.
STOCSTOC-1977-KintalaF #strict
Computations with a Restricted Number of Nondeterministic Steps (CMRK, PCF), pp. 178–185.
ICALPICALP-1976-Bakker #recursion #semantics #source code #termination
Semantics and Termination of Nondeterministic Recursive Programs (JWdB), pp. 435–477.
ICALPICALP-1976-HennessyA #semantics
The Semantics of Nondeterminism (MH, EAA), pp. 478–493.
ICALPICALP-1974-Hayes
Simple and Structural Redundancy in Non-Deterministic Computation (PJH), pp. 601–611.
ICALPICALP-1974-Lang #parsing #performance
Deterministic Techniques for Efficient Non-Deterministic Parsers (BL), pp. 255–269.
STOCSTOC-1974-Seiferas #array #multi
Observations on Nondeterministic Multidimensional Iterative Arrays (JIS), pp. 276–289.
DACDAC-1972-Dudnik #architecture #optimisation
Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.
STOCSTOC-1972-Cook #complexity
A Hierarchy for Nondeterministic Time Complexity (SAC), pp. 187–192.
STOCSTOC-1969-Savitch #simulation #turing machine
Deterministic Simulation of Non-Deterministic Turing Machines (WJS), pp. 247–248.

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.