BibSLEIGH — observ stem

Used together with:

system (44)
base (42)
use (39)
partial (33)
model (31)

Stem observ$ (all stems)

374 papers:

CASE-2015-FariaHGL #robust: Extended high-gain observer for robust position control of a micro-gripper in air and vacuum (MGdF, YH, YLG, PL), pp. 1626–1631.
CASE-2015-ForsmanR #process: Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.
CASE-2015-JiangSLZ #database #estimation #physics: Physical field estimation from CFD database and sparse sensor observations (CJ, YCS, HL, HZ), pp. 1294–1299.
CASE-2015-KomendaMS #coordination: Relative observability in coordination control (JK, TM, JHvS), pp. 75–80.
CASE-2015-ReisgenLMBW #modelling #process #quality: Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASE-2015-TomolaMBC #robust: Robust codiagnosability of discrete-event systems against permanent loss of observations (JHAT, MVM, JCB, LKC), pp. 813–818.
CASE-2015-VuW #design #fuzzy #nondeterminism: Observer design for a discrete-time T-S fuzzy system with uncertainties (VPV, WJW), pp. 1262–1267.
DAC-2015-DunbarQ: A practical circuit fingerprinting method utilizing observability don’t care conditions (CD, GQ), p. 6.
FoSSaCS-2015-GenestPS #memory management: Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
ICSME-2015-BiegelLD #behaviour #java: Live object exploration: Observing and manipulating behavior and state of Java objects (BB, BL, SD), pp. 581–585.
SANER-2015-SaiedSD #api #constraints #documentation: An observational study on API usage constraints and their documentation (MAS, HAS, BD), pp. 33–42.
LATA-2015-LeupoldH: A Hierarchy of Transducing Observer Systems (PL, NH), pp. 727–738.
LATA-2015-LiH #algebra #automaton #network #on the: On Observability of Automata Networks via Computational Algebra (RL, YH), pp. 249–262.
GCM-2015-MackieS #evaluation #interactive #parallel: Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.
CHI-2015-StraitVFSU #elicitation #interactive: Too Much Humanness for Human-Robot Interaction: Exposure to Highly Humanlike Robots Elicits Aversive Responding in Observers (MS, LV, VF, MS, HLU), pp. 3593–3602.
CHI-2015-YannierKH #effectiveness #game studies #learning #physics #question #tablet: Learning from Mixed-Reality Games: Is Shaking a Tablet as Effective as Physical Observation? (NY, KRK, SEH), pp. 1045–1054.
CHI-2015-ZezschwitzLJH: Easy to Draw, but Hard to Trace?: On the Observability of Grid-based (Un)lock Patterns (EvZ, ADL, PJ, HH), pp. 2339–2342.
DHM-HM-2015-EndoKSOTGH #case study: Study on Method of Observing Maki-e Crafts Work in Urushi Craftspeople (AE, NK, YS, IO, YT, AG, HH), pp. 35–45.
DUXU-UI-2015-HwangLJ #difference #gender #smarttech #user interface #verification #women: Verification of Stereotype on Women Observing Gender Difference on UX of Wearable Device (HJH, JML, DYJ), pp. 214–223.
HIMI-IKD-2015-WongwichaiT #assembly #comprehension: An Observation of Human Comprehension Through Wood Joints Assembly of a Cube Puzzle (TW, TT), pp. 668–677.
ICML-2015-NockPF: Rademacher Observations, Private Data, and Boosting (RN, GP, AF), pp. 948–956.
ICML-2015-Osogami #markov #process #robust: Robust partially observable Markov decision process (TO), pp. 106–115.
ICML-2015-WinnerBS: Inference in a Partially Observed Queuing Model with Applications in Ecology (KW, GB, DS), pp. 2512–2520.
ICML-2015-XuJZ #algorithm #matrix: CUR Algorithm for Partially Observed Matrices (MX, RJ, ZHZ), pp. 1412–1421.
SAC-2015-DieumegardGKTT #compilation #contract: Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
ICSE-v1-2015-LavalleeR #case study #developer #quality #why: Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality (ML, PNR), pp. 677–687.
HPDC-2015-Malony #adaptation #performance: Through the Looking-Glass: From Performance Observation to Dynamic Adaptation (ADM), p. 1.
ISSTA-2015-RojasFA #automation #development #empirical #generative #testing: Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
TLCA-2015-BucciarelliKR #calculus: Observability for Pair Pattern Calculi (AB, DK, SRDR), pp. 123–137.
CASE-2014-ChangL #mobile #multi: Inverse observation model and multiple hypothesis tracking for indoor mobile robots (FMC, FLL), pp. 1200–1205.
DAC-2014-LeeL #embedded #runtime: Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DAC-2014-YounGK #debugging #locality #probability #statistics: Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data (SY, CG, JK), p. 6.
DATE-2014-SarmaD #estimation #network #runtime: Minimal sparse observability of complex networks: Application to MPSoC sensor placement and run-time thermal estimation & tracking (SS, ND), pp. 1–6.
VLDB-2014-WangMO #lightweight: Lightweight Indexing of Observational Data in Log-Structured Storage (SW, DM, BCO), pp. 529–540.
CSEET-2014-BullW #framework #re-engineering: Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
FoSSaCS-2014-Chatterjee0NV #complexity #game studies #probability: The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies (KC, LD, SN, MYV), pp. 242–257.
TACAS-2014-HuangM #semantics #specification #synthesis: Symbolic Synthesis for Epistemic Specifications with Observational Semantics (XH, RvdM), pp. 455–469.
TACAS-2014-ReinbacherRS #health #realtime #runtime: Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
SCAM-2014-YooBE #slicing: Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
ICFP-2014-Ramsey #design #education #on the: On teaching *how to design programs*: observations from a newcomer (NR), pp. 153–166.
CHI-2014-BensonK #how #web #what #why: End-users publishing structured information on the web: an observational study of what, why, and how (EB, DRK), pp. 1265–1274.
CHI-2014-ReetzG #gesture #identification: Making big gestures: effects of gesture size on observability and identification for co-located group awareness (AR, CG), pp. 4087–4096.
CHI-2014-ViJCS #fault #interactive: Error related negativity in observing interactive tasks (CTV, IJ, DC, SS), pp. 3787–3796.
HCI-AIMT-2014-MiedaODTKK #multi: Expressing Observation Direction through Face and Body Rotation in a Multi-user Conversation Setting (SM, SO, MD, HT, YK, AK), pp. 273–280.
LCT-TRE-2014-TzanavariMCP #experience #performance #user interface #using: User Experience Observations on Factors That Affect Performance in a Road-Crossing Training Application for Children Using the CAVE (AT, SM, CGC, CP), pp. 91–101.
ICEIS-v1-2014-KahkonenMS #enterprise #integration #scalability #what: What Are the Factors Affecting ERP System Integration? — Observations from a Large Manufacturing Enterprise (TK, AM, KS), pp. 5–17.
ICEIS-v1-2014-PenaAMFF #algorithm #gpu #parallel #using: An Improved Parallel Algorithm Using GPU for Siting Observers on Terrain (GCP, MVAA, SVGM, WRF, CRF), pp. 367–375.
ICML-c1-2014-SeldinBCA #multi #predict: Prediction with Limited Advice and Multiarmed Bandits with Paid Observations (YS, PLB, KC, YAY), pp. 280–287.
ICML-c2-2014-NgoT #modelling #relational: Model-Based Relational RL When Object Existence is Partially Observable (NAV, MT), pp. 559–567.
ICPR-2014-BoukermaBF #recognition: NSHP-HMM Based on Conditional Zone Observation Probabilities for Off-Line Handwriting Recognition (HB, AB, NF), pp. 2961–2965.
ICPR-2014-IwahoriFWB #image #network: Neural Network Based Image Modification for Shape from Observed SEM Images (YI, KF, RJW, MKB), pp. 2131–2136.
PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum #tutorial: On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.
VMCAI-2014-WangH #concurrent #reachability: Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.
CASE-2013-LinG #detection #framework #network #optimisation #synthesis: Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations (WCL, HEG), pp. 51–58.
CASE-2013-WangBR #modelling #monitoring #using: Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect (ZW, MB, SR), pp. 59–64.
CSEET-2013-FortalezaVJPC #collaboration #communication #development #distributed #using: Using Distributed Software Development in the improvement of communication and collaboration skills in SE courses: An observational study (LLF, SRCV, OOMJ, RP, TC), pp. 139–148.
ITiCSE-2013-MatsuzawaOS #process #programming #student #visualisation: Programming process visualizer: a proposal of the tool for students to observe their programming process (YM, KO, SS), pp. 46–51.
ESOP-2013-KassiosK #verification: A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (ITK, EK), pp. 149–168.
GT-VMT-2013-AlshanqitiHK #graph transformation #learning: Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
CHI-2013-TamMMK #design: The design and field observation of a haptic notification system for timing awareness during oral presentations (DT, KEM, JM, KJK), pp. 1689–1698.
DUXU-CXC-2013-AsanoY #analysis #design: Observation Analysis Method for Culture Centered Design — Proposal of KH Method - (KA, KY), pp. 11–19.
DUXU-PMT-2013-KangS #case study #design #how #process: How to Observe, Share and Apply in Design Process? — Focusing on International Design Workshops as a Case Study (NK, HS), pp. 498–505.
HCI-AS-2013-GadahadTCP #health #web: Web Searching for Health Information: An Observational Study to Explore Users’ Emotions (PRG, YLT, JSSC, NP), pp. 181–188.
HCI-AS-2013-HuaG #comprehension #difference #evaluation #predict #protocol #safety #usability: Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.
HCI-UC-2013-TajimaIK #analysis: Analysis of Customer Preference through Unforced Natural Passive Observation (TT, YI, TK), pp. 466–474.
HIMI-HSM-2013-KimKL #design #standard #verification: Designing and Verifying Application Schema by Applying Standard Element for Managing Ocean Observation Data (STK, LKK, TYL), pp. 110–115.
CIKM-2013-MoffatTS #effectiveness #metric #modelling #what: Users versus models: what observation tells us about effectiveness metrics (AM, PT, FS), pp. 659–668.
ICML-c1-2013-GrinbergP #optimisation: Average Reward Optimization Objective In Partially Observable Domains (YG, DP), pp. 320–328.
MLDM-2013-HuSAD #network #performance #statistics: Estimating and Forecasting Network Traffic Performance Based on Statistical Patterns Observed in SNMP Data (KH, AS, DA, CD), pp. 601–615.
POPL-2013-AbelPTS #infinity #named #pattern matching #programming: Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.
ICSE-2013-SalingerZP #programming #research: Liberating pair programming research from the oppressive Driver/Observer regime (SS, FZ, LP), pp. 1201–1204.
ICSE-2013-WhalenGYHS: Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
ICSE-2013-Yu #framework #testing: An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
CSL-2013-ChatterjeeCT #decidability #markov #process #what: What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
CASE-2012-IsmailDH #higher-order #using: Observer-based trajectory tracking for a class of underactuated Lagrangian systems using higher-order sliding modes (RMTRI, TDN, QPH), pp. 1204–1209.
CASE-2012-JungBT: A simplified time-delayed disturbance observer for position control of robot manipulators (SJ, YGB, MT), pp. 555–560.
CASE-2012-JungCKM #detection #using: Collision detection using band designed Disturbance Observer (BjJ, HRC, JK, HM), pp. 1080–1085.
CASE-2012-SharabianiD #policy: Observation policies for patient and resource tracking in outpatient clinics (AS, HD), pp. 532–537.
DAC-2012-WangW #algorithm #memory management #performance: Observational wear leveling: an efficient algorithm for flash memory management (CW, WFW), pp. 235–242.
ITiCSE-2012-GordonMM #programming: Spaghetti for the main course?: observations on the naturalness of scenario-based programming (MG, AM, OMS), pp. 198–203.
LATA-2012-KrassovitskiyL: Computing by Observing Insertion (AK, PL), pp. 377–388.
CHI-2012-EvansW #behaviour #metric: Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
CHI-2012-GajosRH #metric #performance: Accurate measurements of pointing performance from in situ observations (KG, KR, CH), pp. 3157–3166.
CHI-2012-HenzeRB #behaviour #mobile #type system #using: Observational and experimental investigation of typing behaviour using virtual keyboards for mobile devices (NH, ER, SB), pp. 2659–2668.
CHI-2012-WeibelFEFHH #research: Digital pen and paper practices in observational research (NW, AF, CE, WF, EH, JDH), pp. 1331–1340.
CHI-2012-ZiemkiewiczGL #analysis #graph #visualisation: Analysis within and between graphs: observed user strategies in immunobiology visualization (CZ, SRG, DHL), pp. 1655–1658.
CIKM-2012-QuanzH #generative #learning #multi #named: CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
ICML-2012-DahlAL #strict #word: Training Restricted Boltzmann Machines on Word Observations (GED, RPA, HL), p. 152.
ICML-2012-FreitasSZ #bound #exponential #process: Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.
ICML-2012-HazanK12a #linear: Linear Regression with Limited Observation (EH, TK), p. 242.
ICML-2012-MakinoT #learning #parametricity: Apprenticeship Learning for Model Parameters of Partially Observable Environments (TM, JT), p. 117.
ICPR-2012-Abdel-HakimE #analysis #component #named #online #performance #robust: FRPCA: Fast Robust Principal Component Analysis for online observations (AEAH, MES), pp. 413–416.
ICPR-2012-ZhuLWL #effectiveness #video: Key observation selection for effective video synopsis (XZ, JL, JW, HL), pp. 2528–2531.
KDD-2012-LiWH #mining: Mining event periodicity from incomplete observations (ZL, JW, JH), pp. 444–452.
KR-2012-FelliGL #ltl #multi #protocol #specification: Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments (PF, GDG, AL).
SEKE-2012-FernandesCB #usability #web: Improving a Web Usability Inspection Technique through an Observational Study (PF, TC, BB), pp. 588–593.
BX-2012-Stevens #bidirectional #set: Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
LICS-2012-ChatterjeeD #game studies #how #probability: Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.
ASE-2011-GhabiE #validation: Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.
CASE-2011-Aguayo-LaraRR #invariant #petri net: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASE-2011-Gomez-GutierrezCRRG #linear: Sliding mode observer for Switched Linear Systems (DGG, SC, ART, JJRL, SDG), pp. 725–730.
VLDB-2011-AgrawalBA #information management #network #social: Information Diffusion In Social Networks: Observing and Influencing Societal Interests (DA, CB, AEA), pp. 1512–1513.
CSEET-2011-Rajapakse #student: Some observations from releasing student projects to the public (DCR), pp. 247–256.
CSCW-2011-Masih #requirements #towards: Towards requirements engineering for a tumour removing robot: work-practice observation of surgical teams performing brain tumour surgery (AM), pp. 677–680.
DHM-2011-XuCFKD #symmetry: Postural Observation of Shoulder Flexion during Asymmetric Lifting Tasks (XX, CCC, GSF, IK, JTD), pp. 228–230.
HCI-MIIE-2011-KimHJHMJ #analysis #behaviour #using #video: Analysis of Low-Floor Bus Passengers’ Behavior Patterns Using Video Observation (JYK, HH, BSJ, BHH, YJM, YGJ), pp. 391–400.
HCI-MIIE-2011-LimPJK #behaviour #experience: Driver’s Experience and Behavioral Patterns through the Observation of Commercial Vehicle Driving (YL, SP, ESJ, TK), pp. 426–434.
CIKM-2011-AgrawalBA #information management #network #social #what: Information diffusion in social networks: observing and affecting what society cares about (DA, CB, AEA), pp. 2609–2610.
ICML-2011-JalaliCSX #clustering #graph #optimisation: Clustering Partially Observed Graphs via Convex Optimization (AJ, YC, SS, HX), pp. 1001–1008.
KEOD-2011-KincelerMT #network #ontology: An Ontology for a Hydro-meteorological Observation Network (LMK, AMM, JLT), pp. 145–151.
KEOD-2011-SchadeOS #functional #integration #web: Functional Integration for the Observation Web (SS, FOO, LS), pp. 498–504.
RE-2011-BrillK #elicitation #requirements: Structured and unobtrusive observation of anonymous users and their context for requirements elicitation (OB, EK), pp. 175–184.
ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic: Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
CASE-2010-LinYG: Sensor configuration selection for discrete-event systems under unreliable observations (WCL, TSY, HEG), pp. 477–484.
CASE-2010-YuanZ #video: Micro-mixing of highly viscous bio-samples observed with a miniature wireless video sensor (LY, YFZ), pp. 180–185.
VLDB-2010-SchadDQ #in the cloud #metric #runtime: Runtime Measurements in the Cloud: Observing, Analyzing, and Reducing Variance (JS, JD, JAQR), pp. 460–471.
ITiCSE-2010-HowardJN #behaviour #design #learning #online #using: Reflecting on online learning designs using observed behavior (LH, JJ, CN), pp. 179–183.
STOC-2010-DworkNPR #difference #privacy: Differential privacy under continual observation (CD, MN, TP, GNR), pp. 715–724.
DLT-2010-BerrimaR #algebra #bisimulation #equivalence: Linking Algebraic Observational Equivalence and Bisimulation (MB, NBR), pp. 76–87.
ICFP-2010-Pop #case study #experience #haskell #python: Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project (IP), pp. 369–374.
CHI-2010-KelkarJS #collaboration #enterprise: Some observations on the “live” collaborative tagging of audio conferences in the enterprise (SK, AJ, DDS), pp. 995–998.
ICML-2010-Cesa-BianchiSS #learning #performance: Efficient Learning with Partially Observed Attributes (NCB, SSS, OS), pp. 183–190.
ICML-2010-DinculescuP #approximate #predict: Approximate Predictive Representations of Partially Observable Systems (MD, DP), pp. 895–902.
ICML-2010-JanzingHS: Telling cause from effect based on high-dimensional observations (DJ, POH, BS), pp. 479–486.
ICPR-2010-DuinOL #classification #multi: Classification of Volcano Events Observed by Multiple Seismic Stations (RPWD, MOA, JMLB), pp. 1052–1055.
MoDELS-v1-2010-Kuhne #inheritance: An Observer-Based Notion of Model Inheritance (TK), pp. 31–45.
QAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing: Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.
SAC-2010-SantanaB #web: Summarizing observational client-side data to reveal web usage patterns (VFdS, MCCB), pp. 1219–1223.
HPDC-2010-HillLMRH #performance: Early observations on the performance of Windows Azure (ZH, JL, MM, ARA, MH), pp. 367–376.
HPDC-2010-WojciechowskiCPI #named #network #towards: BTWorld: towards observing the global BitTorrent file-sharing network (MW, MC, JAP, AI), pp. 581–588.
ICST-2010-SyedRW #fault #hardware #question: Does Hardware Configuration and Processor Load Impact Software Fault Observability? (RAS, BR, LAW), pp. 285–294.
CASE-2009-HariharanB #markov #process #using: Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) model (SH, STSB), pp. 443–448.
CASE-2009-XuK #nondeterminism: Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.
TACAS-2009-VechevYY: Inferring Synchronization under Limited Observability (MTV, EY, GY), pp. 139–154.
ICPC-2009-SharifB #open source: Observation of Open Source programmers’ information seeking (KYS, JB), pp. 307–308.
ICALP-v2-2009-PuglieseTY #on the: On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
HCD-2009-WadaY #analysis: The Proposal of Quantitative Analysis Method Based on the Method of Observation Engineering (TW, TY), pp. 342–350.
IDGD-2009-GurzickW #developer #online #social: Developers and Moderators: Observations in the Co-development of an Online Social Space (DG, KFW), pp. 164–172.
ICEIS-J-2009-LampertiZ #monitoring #nondeterminism: Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
ICML-2009-DoA #markov #modelling #scalability: Large margin training for hidden Markov models with partially observed states (TMTD, TA), pp. 265–272.
ICML-2009-YuM #problem: Piecewise-stationary bandit problems with side observations (JYY, SM), pp. 1177–1184.
KMIS-2009-MichelP #concept #education #information management #project management: Knowledge Management Concepts for Training by Project — An Observation of the Case of Project Management Education (CM, PP), pp. 129–134.
CAV-2009-HopkinsO #equivalence #higher-order #model checking #named: Homer: A Higher-Order Observational Equivalence Model checkER (DH, CHLO), pp. 654–660.
CSL-2009-Laird #nondeterminism: Nondeterminism and Observable Sequentiality (JL), pp. 379–393.
CSL-2009-Sumii #equivalence #polymorphism #λ-calculus: A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.
ICST-2009-DavidLLN #testing: Timed Testing under Partial Observability (AD, KGL, SL, BN), pp. 61–70.
ICST-2009-KarhuRTS #automation #empirical #testing: Empirical Observations on Software Testing Automation (KK, TR, OT, KS), pp. 201–209.
TestCom-FATES-2009-BorodayPU #implementation #testing: Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.
TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service: Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.
TLCA-2009-Strassburger #higher-order #linear #logic #multi #proving: Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (LS), pp. 309–324.
DAC-2008-CaseKMB: Merging nodes under sequential observability (MLC, VNK, AM, RKB), pp. 540–545.
DATE-2008-KoN #automation #identification #validation: Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.
ICALP-B-2008-CoeckeD #quantum: Interacting Quantum Observables (BC, RD), pp. 298–310.
ICFP-2008-AhmedB #equivalence: Typed closure conversion preserves observational equivalence (AA, MB), pp. 157–168.
ICGT-2008-Bonchi #semantics: Abstract Semantics by Observable Contexts (FB), pp. 478–480.
CHI-2008-LanirBF #design #visual notation: Observing presenters’ use of visual aids to inform the design of classroom presentation software (JL, KSB, LF), pp. 695–704.
ICEIS-AIDSS-2008-LampertiVZ #on the #similarity: On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.
ECIR-2008-ScholerSBT #using: Using Clicks as Implicit Judgments: Expectations Versus Observations (FS, MS, BB, AT), pp. 28–39.
ICPR-2008-Junejo: Camera calibration for uneven terrains by observing pedestrians (INJ), pp. 1–4.
ICPR-2008-KokiopoulouPF #classification #graph #multi: Graph-based classification for multiple observations of transformed patterns (EK, SP, PF), pp. 1–4.
ICPR-2008-WangWFZ #adaptation #on the: On edge structure based adaptive observation model for facial feature tracking (XW, YW, XF, MZ), pp. 1–4.
ICPR-2008-YamauchiSS: Calibration of a structured light system by observing planar object from unknown viewpoints (KY, HS, YS), pp. 1–4.
SEKE-2008-BiswasG #transaction: Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.
SEKE-2008-FraserWW #automaton #testing #using: Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.
SEKE-2008-FunkPC #execution #specification: Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SIGIR-2008-DupretP #predict: A user browsing model to predict search engine click data from past observations (GD, BP), pp. 331–338.
MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
SAC-2008-AnagnostopoulosAH #adaptation #data type #multi #what: Deciding what to observe next: adaptive variable selection for regression in multivariate data streams (CA, NMA, DJH), pp. 961–965.
ICSE-2008-Murphy-HillB #refactoring #tool support: Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.
CASE-2007-AlenljungSLA #detection #fault #implementation #process: PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.
CASE-2007-BraunP #analysis: Analysis of the Effects of Truncation on the EWMA Observer (MWB, NSP), pp. 472–477.
CASE-2007-FogelBRSMG #automation #layout #modelling #symmetry: Automated Tracking of Pallets in Warehouses: Beacon Layout and Asymmetric Ultrasound Observation Models (MF, NB, HR, JS, MQM, KG), pp. 678–685.
CASE-2007-LeungG #behaviour #locality #multi: Multi-Robot Localization and Mapping Strategy: Utilizing Behavior Based Dynamic Tree Structure and Observer-explorer Routine (KKKL, GG), pp. 881–886.
DATE-2007-QiuTW #modelling #optimisation #power management #probability #robust: Stochastic modeling and optimization for robust power management in a partially observable system (QQ, YT, QW), pp. 779–784.
DATE-2007-WangWC: Unknown blocking scheme for low control data volume and high observability (SW, WW, STC), pp. 33–38.
ESOP-2007-LeinoS #invariant #using #verification: Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.
CHI-2007-TangC #data flow: An observational study on information flow during nurses’ shift change (CT, MSTC), pp. 219–228.
DHM-2007-AndreoniRP #simulation: Simulation of Complex Human Movement Through the Modulation of Observed Motor Tasks (GA, MR, AP), pp. 3–12.
HCI-AS-2007-PengKLC #approach #tablet: The Practices of Scenario Observation Approach in Defining Medical Tablet PC Applications (CYP, WSK, YZL, WKC), pp. 518–524.
OOPSLA-2007-DekelH #collaboration #design #object-oriented #representation: Notation and representation in collaborative object-oriented design: an observational study (UD, JDH), pp. 261–280.
PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel: Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
REFSQ-2007-SorbyN #behaviour #framework #towards: Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards (IDS, ØN), pp. 262–276.
ICLP-2007-DuckSS #confluence #constraints: Observable Confluence for Constraint Handling Rules (GJD, PJS, MS), pp. 224–239.
CASE-2006-PotsaidWF #adaptation #automation: Automation of Challenging Spatial-Temporal Biomedical Observations with the Adaptive Scanning Optical Microscope (ASOM) (BP, JTW, FPF), pp. 39–44.
DAC-2006-ZhuKKS #satisfiability: SAT sweeping with local observability don’t-cares (QZ, NK, AK, ALSV), pp. 229–234.
DATE-2006-LinC #multi: Multiple-fault diagnosis based on single-fault activation and single-output observation (YCL, KTC), pp. 424–429.
SIGMOD-2006-Jonas #experience #scalability: Identity resolution: 23 years of practical experience and observations at scale (JJ), p. 718.
FoSSaCS-2006-FrancalanzaH #fault tolerance: A Theory for Observational Fault Tolerance (AF, MH), pp. 16–31.
DLT-2006-CavaliereFH: Computing by Only Observing (MC, PF, HJH), pp. 304–314.
ICEIS-AIDSS-2006-LampertiZ #incremental: Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.
ICEIS-J-2006-LampertiZ06a #monitoring #on the: On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ICML-2006-HolmesJ: Looping suffix tree-based inference of partially observable hidden state (MPH, CLIJ), pp. 409–416.
ICML-2006-LiLC #markov #process: Region-based value iteration for partially observable Markov decision processes (HL, XL, LC), pp. 561–568.
ICML-2006-NejatiLK #learning #network: Learning hierarchical task networks by observation (NN, PL, TK), pp. 665–672.
ICPR-v3-2006-ChangCH #visual notation: Discriminative Descriptor-Based Observation Model for Visual Tracking (WYC, CSC, YPH), pp. 83–86.
ICPR-v4-2006-PeursumVW #linear: Observation-Switching Linear Dynamic Systems for Tracking Humans Through Unexpected Partial Occlusions by Scene Objects (PP, SV, GAWW), pp. 929–934.
KR-2006-Bennett #formal method: A Theory of Vague Adjectives Grounded in Relevant Observables (BB), pp. 36–45.
QAPL-2005-WolfBM06 #markov: Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.
SAT-2006-TangM #quantifier: Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares (DT, SM), pp. 368–381.
TestCom-2006-BouazizK #on the fly #realtime #testing: Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.
TestCom-2006-ChenU #detection #distributed #problem #testing: Detecting Observability Problems in Distributed Testing (JC, HU), pp. 213–226.
WICSA-2005-Booch #architecture: Quantitative Observation and Theoretical Construction in Software Architecture (GB), p. 3.
CASE-2005-LeeK #behaviour #distributed #multi: Estimating global stress environment by observing local behavior in distributed multiagent systems (SL, SRTK), pp. 215–219.
DATE-2005-FuYM #satisfiability: Considering Circuit Observability Don’t Cares in CNF Satisfiability (ZF, YY, SM), pp. 1108–1113.
FASE-2005-Naumann #encapsulation: Observational Purity and Encapsulation (DAN), pp. 190–204.
ICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming: Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
CIAA-2005-AlthoffTW #automaton: Observations on Determinization of Büchi Automata (CSA, WT, NW), pp. 262–272.
ICALP-2005-NicolaGP #calculus: Basic Observables for a Calculus for Global Computing (RDN, DG, RP), pp. 1226–1238.
SEFM-2005-SubramaniamS #protocol #using: Using Dominators to Extract Observable Protocol Contexts (MS, JS), pp. 96–105.
AdaEurope-2005-AyavooPP #development #embedded #reliability: Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
KDD-2005-KubicaMCJ #algorithm #multi #performance: A multiple tree algorithm for the efficient association of asteroid observations (JK, AWM, AJC, RJ), pp. 138–146.
SIGIR-2005-Chai #empirical: Expectation of f-measures: tractable exact computation and some empirical observations of its properties (KMAC), pp. 593–594.
SAC-2005-AloisioCFQ #architecture #data access: A grid-based architecture for earth observation data access (GA, MC, SF, GQ), pp. 701–705.
SAC-2005-ChenCKM #realtime #scheduling: Real-time task scheduling anomaly: observations and prevention (YSC, LPC, TWK, AKM), pp. 897–898.
ICSE-2005-BernerWK #automation #lessons learnt #testing: Observations and lessons learned from automated testing (SB, RW, RKK), pp. 571–579.
LICS-2005-HondaYB #higher-order #imperative #logic: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
SAT-2005-HeuleM #bound #linear #programming #random #satisfiability #using: Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming (MH, HvM), pp. 122–134.
DAC-2004-SalujaK #algorithm #approximate #robust: A robust algorithm for approximate compatible observability don’t care (CODC) computation (NS, SPK), pp. 422–427.
FoSSaCS-2004-Caires #behaviour #logic #π-calculus: Behavioral and Spatial Observations in a Logic for the π-Calculus (LC), pp. 72–89.
ICALP-2004-Faggian #interactive: Interactive Observability in Ludics (CF), pp. 506–518.
ICEIS-v2-2004-LampertiZ: Dynamic Diagnosis of Active Systems with Fragmented Observations (GL, MZ), pp. 249–261.
ICEIS-v4-2004-LokeL #behaviour #workflow: Analyzing Observable Behaviours of Device Ecology Workflows (SWL, SL), pp. 78–83.
ICEIS-v5-2004-KitamuraNKM #process: Real World Sensorization and Virtualization for Observing Human Activities (KK, YN, MK, HM), pp. 15–20.
ICML-2004-FernG #relational #reliability: Relational sequential inference with reliable observations (AF, RG).
ICPR-v3-2004-JoshiC: Photometric Stereo Under Blurred Observations (MVJ, SC), pp. 169–172.
ICPR-v4-2004-LucenaFB #evaluation #modelling: Evaluation of Three Optical Flow-Based Observation Models for Tracking (MJL, JMF, NPdlB), pp. 236–239.
ICPR-v4-2004-MiyauchiSNK: Human-Robot Eye Contact through Observations and Actions (DM, AS, AN, YK), pp. 392–395.
KDD-2004-AiroldiF #network: Recovering latent time-series from their observed sums: network tomography with particle filters (EA, CF), pp. 30–39.
KR-2004-TranHH #reasoning: Observation Expectation Reasoning in Agent Systems (BVT, JH, MH), pp. 246–254.
PADL-2004-BrasselCHH #functional #logic: Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
SPLC-2004-LagoV #product line: Observations from the Recovery of a Software Product Family (PL, HvV), pp. 214–227.
CAV-2004-BrabermanGO #automaton #named #slicing: ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
FATES-2004-BlomHJP #automaton #generative #specification #testing #using: Specifying and Generating Test Cases Using Observer Automata (JB, AH, BJ, PP), pp. 125–139.
TestCom-2004-LiWY #multi #testing: Testing Multi Input/Output Transition System with All-Observer (ZL, JW, XY), pp. 95–111.
VLDB-2003-Baumann #scalability #standard #web: Large-Scale, Standards-Based Earth Observation Imagery and Web Mapping Services (PB), pp. 1141–1144.
ITiCSE-2003-JulianoCK #architecture #education #using: Observations from using two modes of teaching undergraduate computer architecture (BAJ, CHC, EK), p. 248.
CSMR-2003-MoeCP #distributed #refinement #using: Using Observation and Refinement to Improve Distributed Systems Test (JM, DAC, MP), pp. 153–159.
IWPC-2003-Walenstein #evaluation #towards: Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering (AW), pp. 185–195.
KDD-2003-YuC #distributed #multi: Distributed multivariate regression based on influential observations (HY, ECC), pp. 679–684.
CAV-2003-BouyerDMP: Timed Control with Partial Observability (PB, DD, PM, AP), pp. 180–192.
FATES-2003-Aaltonen #distributed: Defining Observation Objectives for Reactive and Distributed Systems (TA), pp. 101–113.
TLCA-2003-Hannay #abstraction #parametricity #relational: Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.
TLCA-2003-Oury #coq #equivalence #proving: Observational Equivalence and Program Extraction in the Coq Proof Assistant (NO), pp. 271–285.
FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus: Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.
FASE-2002-NonnengartRS #modelling #requirements #using: Formal Requirements Engineering Using Observer Models (AN, GR, WS), pp. 264–278.
FoSSaCS-2002-BidoitH #concept #integration #on the #reachability: On the Integration of Observability and Reachability Concepts (MB, RH), pp. 21–36.
FoSSaCS-2002-Cirstea #algebra #logic #on the #reachability #specification: On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability (CC), pp. 82–97.
PASTE-2002-Naumovich #analysis #data flow #design pattern #implementation #using: Using the observer design pattern for implementation of data flow analyses (GN), pp. 61–68.
CHI-2002-FioreTS #behaviour: Observed behavior and perceived value of authors in usenet newsgroups: bridging the gap (ATF, SLT, MAS), pp. 323–330.
CAiSE-2002-SmolanderP #architecture #communication: Describing and Communicating Software Architecture in Practice: Observations on Stakeholders and Rationale (KS, TP), pp. 117–133.
ICML-2002-Bonet #algorithm #markov #process: An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes (BB), pp. 51–58.
ICML-2002-PerkinsP #fixpoint #on the: On the Existence of Fixed Points for Q-Learning and Sarsa in Partially Observable Domains (TJP, MDP), pp. 490–497.
ICPR-v2-2002-DavisLC #estimation #markov #multi #parametricity #sequence: Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.
ICPR-v2-2002-SatoK #gesture #markov #modelling #multi #recognition: Extension of Hidden Markov Models to Deal with Multiple Candidates of Observations and its Application to Mobile-Robot-Oriented Gesture Recognition (YS, TK), p. 515–?.
ICPR-v4-2002-HoogsCK #3d #classification #metaprogramming #using: Classification of 3D Macro Texture Using Perceptual Observables (AH, RC, RK), pp. 113–117.
KR-2002-HazarikaC: Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.
KR-2002-MateusPP #calculus #probability: Observations and the Probabilistic Situation Calculus (PM, AP, JP), pp. 327–340.
KR-2002-Saint-CyrL #how #predict: Belief Extrapolation (or how to Reason About Observations and Unpredicted Change) (FDdSC, JL), pp. 497–508.
ICSE-2002-BlausteinOB #graph #sequence chart: Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
LICS-2002-Ong #algol #decidability #equivalence: Observational Equivalence of 3rd-Order Idealized Algol is Decidable (CHLO), pp. 245–256.
CSEET-2001-Newman #case study #education #re-engineering: Observations on Relationships between Initial Professional Education for Software Engineering and Systems Engineering-A Case Study (IN), p. 172–?.
ITiCSE-2001-ThomasL #distance #fault #learning #student #using: Observational studies of student errors in a distance learning environment using a remote recording and replay tool (PT, KL), pp. 117–120.
FASE-2001-PingerE #communication #composition: Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.
FoSSaCS-2001-BidoitHK #on the #reachability: On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
ICML-2001-ChajewskaKO #behaviour #learning: Learning an Agent’s Utility Function by Observing Behavior (UC, DK, DO), pp. 35–42.
SAC-2001-ViroliMO #coordination #framework #on the #ontology #paradigm: On observation as a coordination paradigm: an ontology and a formal framework (MV, GM, AO), pp. 166–175.
DATE-2000-VardanianM #concurrent #detection #fault: Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check (VAV, LBM), p. 762.
ICALP-2000-BravettiG #axiom #behaviour #congruence #finite: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.
CHI-2000-BreretonM #communication #design #how: An observational study of how objects support engineering design thinking and communication: implications for the design of tangible media (MB, BM), pp. 217–224.
CHI-2000-ZellwegerRMC #documentation: The impact of fluid documents on reading and browsing: an observational study (PZ, SHR, JDM, BWC), pp. 249–256.
ICPR-v1-2000-HaymanKM #matrix #self: Self-Alignment of an Active Head from Observations of Rotation Matrices (EH, JK, DWM), pp. 1080–1084.
ICPR-v1-2000-MalisC #self: Self-Calibration of Zooming Cameras Observing an Unknown Planar Structure (EM, RC), pp. 1085–1088.
ICPR-v2-2000-Fursov #pattern matching #pattern recognition #recognition #using: Training in Pattern Recognition from a Small Number of Observations Using Projections onto Null-Space (VAF), pp. 2785–2788.
ICPR-v4-2000-OhbaOTRDTKK #artificial reality #realtime: Real-Time Micro Environmental Observation with Virtual Reality (KO, JCPO, KT, GR, RD, YT, TK, NK), pp. 4487–4490.
ICPR-v4-2000-UkitaM #incremental #modelling: Incremental Observable-Area Modeling for Cooperative Tracking (NU, TM), pp. 4192–4196.
ICPR-v4-2000-UtsumiYO #adaptation #multi #using: Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations (AU, HY, JO), pp. 4607–4610.
ICSE-2000-LeonPW #multi #testing #visualisation: Multivariate visualization in observation-based testing (DL, AP, LJW), pp. 116–125.
ISSTA-2000-StevenCFP #named #testing: jRapture: A Capture/Replay tool for observation-based testing (JS, PC, BF, AP), pp. 158–167.
ASE-1999-CazzolaSST #architecture #behaviour #rule-based: Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.
DAC-1999-FallahAD #generative #simulation: Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage (FF, PA, SD), pp. 666–671.
TACAS-1999-LiC #bisimulation #congruence #process: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes (ZL, HC), pp. 300–314.
ICSM-1999-MattssonB #evolution #experience #framework #industrial #object-oriented: Experience Paper: Observations on the Evolution of an Industrial OO Framework (MM, JB), pp. 139–145.
ICALP-1999-Hartmanis: Observations about the Nature and State of Computer Science (Keynote Address) (JH), p. 105.
CHI-1999-KunoINS #behaviour #human-computer #interactive: Combining Observations of Intentional and Unintentional Behaviors for Human-Computer Interaction (YK, TI, SN, YS), pp. 238–245.
HCI-EI-1999-NoldusKHD #analysis #tool support: Software Tools for Collection and Analysis of Observational Data (LN, AK, WtH, RD), pp. 1114–1118.
ICML-1999-LentL #learning #performance: Learning Hierarchical Performance Knowledge by Observation (MvL, JEL), pp. 229–238.
ICML-1999-ThrunLF #learning #markov #modelling #monte carlo #parametricity #probability #process: Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes (ST, JL, DF), pp. 415–424.
SAC-1999-WillN #evolution #hypermedia #middleware: Evolving Hypermedia Middleware Services: Lessons and Observations (UKW, PJN), pp. 427–436.
DAC-1998-FallahDK98a #functional #metric #named #performance #test coverage #verification: OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification (FF, SD, KK), pp. 152–157.
ITiCSE-1998-Thomas98a #student: Observing students electronically as they learn (poster) (PGT), p. 307.
FASE-1998-BerregebBR #proving: Observational Proofs with Critical Contexts (NB, AB, MR), pp. 38–53.
FoSSaCS-1998-BorealeNP #process: Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.
ICALP-1998-LiC #bisimulation #congruence #π-calculus: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the π-Calculus (ZL, HC), pp. 707–718.
ICALP-1998-Lin #proving #π-calculus: Complete Proof Systems for Observation Congruences in Finite-Control π-Calculus (HL), pp. 443–454.
ICML-1998-LochS #markov #policy #process #using: Using Eligibility Traces to Find the Best Memoryless Policy in Partially Observable Markov Decision Processes (JL, SPS), pp. 323–331.
ICPR-1998-StofflerS #detection #realtime: An MPEG-processor-based robot vision system for real-time detection of moving objects by a moving observer (NOS, ZS), pp. 477–481.
KR-1998-McIlraith: Explanatory Diagnosis: Conjecturing Actions to Explain Observations (SAM), pp. 167–179.
OOPSLA-1998-Rossie #logic: Logical Observable Entities (JGRJ), pp. 154–165.
ICSE-1998-PerrySV #case study #development #parallel #scalability: Parallel Changes in Large Scale Software Development: An Observational Case Study (DEP, HPS, LGV), pp. 251–260.
DAC-1997-PomeranzR #approach #fault #multi #simulation #using: Fault Simulation under the Multiple Observation Time Approach using Backward Implications (IP, SMR), pp. 608–613.
ICDAR-1997-MiledOCL #markov #recognition: Coupling observation/letter for a Markovian modelisation applied to the recognition of Arabic handwriting (HM, CO, MC, YL), pp. 580–583.
TACAS-1997-BoigelotG #automation #source code #specification #synthesis: Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs (BB, PG), pp. 321–333.
ICSM-1997-GallJKT #evolution: Software Evolution Observations Based on Product Release History (HG, MJ, RK, GT), p. 160–?.
WPC-1997-LangM #comprehension #framework #research: Building a Research Infrastructure for Program Comprehension Observations (SL, AvM), pp. 165–169.
ICALP-1997-BorealeNP #process: Basic Observables for Processes (MB, RDN, RP), pp. 482–492.
HCI-CC-1997-RizzoMZB #coordination #design #process: Designing the Information Cooperative for Harmonizing, Coordinating, and Promoting Earth Observation Business Processes (AR, MM, AZ, SB), pp. 741–744.
HCI-CC-1997-Venda97a #assembly #design #industrial #testing: Ergonomic Design and Industrial Testing of the Televised Assembly and Manual Material Handling Workstations with Indirect Observation of Operations (VFV), pp. 847–850.
HCI-CC-1997-VendaL #assembly #evaluation #using: Ergonomic Evaluation of Manual Assembly Operations Using Direct and Indirect Observation Workstations in Sitting and Standing Positions (VFV, SSL), pp. 855–858.
ESEC-FSE-1997-RosenblumW #design #framework: A Design Framework for Internet-Scale Event Observation and Notification (DSR, ALW), pp. 344–360.
LICS-1997-Dezani-CiancagliniTU #parallel: Discrimination by Parallel Observers (MDC, JT, PU), pp. 396–407.
TLCA-1997-Lenisa #induction #semantics #λ-calculus: Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for λ-calculi (ML), pp. 248–266.
ICPR-1996-BerndtsonN #automation: Automatic observation of the dry line in paper machine (JB, AJN), pp. 308–312.
ICPR-1996-DarrellP #gesture #markov #process #recognition #using: Active gesture recognition using partially observable Markov decision processes (TD, AP), pp. 984–988.
ICPR-1996-Herve #coordination: Hand/eye coordination: role of the active observer (JYH), pp. 292–296.
ICPR-1996-Matsui #detection #image #multi: A new mathematical human vision model with an autonomous image observing mechanism and its application to multiple motion detection (TM), pp. 723–727.
ICPR-1996-WuFCY: Active face observation system (HW, TF, QC, MY), pp. 441–445.
SEKE-1996-Garg #distributed: Observation of Global Properties in Distributed Systems (VKG), pp. 418–425.
DAC-1995-KriegerBK #fault #multi #simulation: Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy (RK, BB, MK), pp. 339–344.
ICDAR-v2-1995-ToraichiHH: Observation method for mathematical graphology (KT, TH, RH), pp. 656–659.
WCRE-1995-BlahaP #database #design #relational: Observed Idiosyncracies of Relational Database Designs (MRB, WJP).
ICML-1995-LittmanCK #learning #policy #scalability: Learning Policies for Partially Observable Environments: Scaling Up (MLL, ARC, LPK), pp. 362–370.
ICML-1995-Wang #approach #incremental #learning: Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition (XW), pp. 549–557.
DAC-1994-WangB #automaton #network: Permissible Observability Relations in FSM Networks (HYW, RKB), pp. 677–683.
ICML-1994-SinghJJ #learning #markov #process: Learning Without State-Estimation in Partially Observable Markovian Decision Processes (SPS, TSJ, MIJ), pp. 284–292.
LOPSTR-1994-GilbertHZ #behaviour #source code #specification: Transforming Specifications of Observable Behaviour into Programs (DRG, CJH, JZ), pp. 88–103.
CAV-1994-BouajjaniER #hybrid #linear #using #verification: Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
ILPS-1994-CominiL #algebra: An Algebraic Theory of Observables (MC, GL), pp. 172–186.
KBSE-1993-Redmiles #empirical #knowledge-based #re-engineering #using: Observations on Using Empirical Studies in Developing a Knowledge-Based Software Engineering Tool (DFR), p. 24.
HT-1993-Parunak: Hypercubes Grow on Trees (and Other Observations from the Land of Hypersets) (HVDP), pp. 73–81.
HCI-ACS-1993-FujigakiM: Longitudinal Observations of Stress Index Among Software Engineers (YF, KM), pp. 691–696.
HCI-ACS-1993-QuinnBKKMR #game studies: Observations on Game Playing (CNQ, MB, DK, DK, RM, SR), pp. 433–437.
TRI-Ada-1993-Brennan #ada #exception: Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.
ESEC-1993-Thomas #process: Observations on Object Management Systems and Process Support in Environments (IT), pp. 197–212.
ICSE-1993-GerhartCR #formal method #industrial #using: Observations on Industrial Practice Using Formal Methods (SLG, DC, TR), pp. 24–33.
HT-ECHT-1992-Anselmo: A Reference Manual for Hydrological Observations (Demonstration) (VA), p. 293.
SIGMOD-1992-AikenWH #behaviour #confluence #database #termination: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (AA, JW, JMH), pp. 59–68.
SIGMOD-1992-Dozier #data access: Access to Data in NASA’s Earth Observing System (JD), p. 1.
ESOP-1992-BernotBK #towards: Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.
ESOP-1992-Odersky #linear: Observers for Linear Types (MO), pp. 390–407.
CSCW-1992-BerlinJ #collaboration #learning #problem: Consultants and Apprentices: Observations about Learning and Collaborative Problem Solving (LMB, RJ), pp. 130–137.
KR-1992-Davis #finite #infinity: Infinite Loops in Finite Time: Some Observations (ED), pp. 47–58.
KR-1992-FriedrichN #modelling: Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems (GF, WN), pp. 489–498.
KR-1992-ShohamT #multi: Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.
POPL-1992-CartwrightF #abstraction: Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.
JICSLP-1992-GabbrielliLM #logic programming #source code: Observational Equivalences for Logic Programs (MG, GL, MCM), pp. 131–145.
LICS-1992-Curien #algorithm #data type: Observable Algorithms on Concrete Data Structures (PLC), pp. 432–443.
LICS-1992-Ulidowski #process: Equivalences on Observable Processes (IU), pp. 148–159.
DAC-1991-SastryM #analysis #branch #process: A Branching Process Model for Observability Analysis of Combinational Circuits (SS, AM), pp. 452–457.
CHI-1991-EricksonS #design #information management: Designing a desktop information system: observations and issues (TE, GS), pp. 49–54.
KDD-1991-WuW #functional: Discovering Functional Relationships from Observational Data (YHW, SW), pp. 55–70.
ML-1991-Herrmann #learning: Learning Analytical Knowledge About VLSI-Design from Observation (JH), pp. 610–614.
CSL-1991-Oguztuzun #equivalence #first-order #logic: A Fragment of First Order Logic Adequate for Observation Equivalence (HO), pp. 278–292.
DAC-1990-MaoC #fault #testing: A Variable Observation Time Method for Testing Delay Faults (WM, MDC), pp. 728–731.
DAC-1990-SavojB #multi #network: The Use of Observability and External Don’t Cares for the Simplification of Multi-Level Networks (HS, RKB), pp. 297–301.
ML-1989-LeviSP #behaviour #identification #knowledge base: Identifying Knowledge Base Deficiencies by Observing User Behavior (KRL, VLS, DLP), pp. 296–301.
TAV-1989-JengW #testing: Some Observations on Partition Testing (BJ, EJW), pp. 38–47.
LICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus: A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
DAC-1987-LadjadjM #benchmark #metric: Benchmark Runs of the Subscripted D-Algorithm with Observation Path Mergers on the Brglez-Fujiwara Circuits (ML, JFM), pp. 509–515.
HCI-SES-1987-Sanders #problem: Problems of a Novice: Some Introspective Observations (AFS), pp. 219–230.
SLP-1987-DiszL87 #behaviour #logic programming #parallel #source code #visual notation: A Graphical Tool for Observing the Behavior of Parallel Logic Programs (TD, ELL), pp. 46–53.
VLDB-1986-Hagmann #database #metric #performance: An Observation on Database Buffering Performance Metrics (RBH), pp. 289–293.
ICALP-1985-BakkerMO #concurrent #finite #infinity #semantics: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.
ICALP-1984-GrafS #congruence #finite: A Modal Characterization of Observational Congruence on Finite Terms of CCS (SG, JS), pp. 222–234.
ICALP-1983-DarondeauK #on the #parallel #semantics: On the Observational Semantics of Fair Parallelism (PD, LK), pp. 147–159.
PS-1981-Horning: Issues and Observations (JJH), pp. 5–24.
SOSP-1981-Lauer #development #operating system: Observations on the Development of an Operating System (HCL), pp. 30–36.
DAC-1980-Garvin: Observations of a CAD user (Position Paper) (DJG), p. 519.
DAC-1980-GoldsteinT #analysis #named: SCOAP: Sandia controllability/observability analysis program (LHG, ELT), pp. 190–196.
ICALP-1980-HennessyM #concurrent #nondeterminism #on the: On Observing Nondeterminism and Concurrency (MH, RM), pp. 299–309.
VLDB-1977-StonebrakerR #programming language: Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
ICSE-1976-BarstowK #interactive #performance #synthesis: Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System (DRB, EK), pp. 19–31.
STOC-1974-Seiferas #array #multi #nondeterminism: Observations on Nondeterministic Multidimensional Iterative Arrays (JIS), pp. 276–289.
STOC-1973-Cook: An Observation on Time-Storage Trade Off (SAC), pp. 29–33.