495 papers:
- DocEng-2015-DenoueCC #documentation
- Searching Live Meeting Documents “Show me the Action” (LD, SC, MC), pp. 195–198.
- SIGMOD-2015-DudoladovXSKETM
- Optimistic Recovery for Iterative Dataflows in Action (SD, CX, SS, AK, SE, KT, VM), pp. 1439–1443.
- VLDB-2015-BidoitHT #named
- EFQ: Why-Not Answer Polynomials in Action (NB, MH, KT), pp. 1980–1991.
- ITiCSE-2015-UraiUO #analysis #distributed #programming
- Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.
- ICPC-2015-JordanRHBB #feature model #industrial #source code
- Manually locating features in industrial source code: the search actions of software nomads (HRJ, JR, SH, GB, JB), pp. 174–177.
- ICPC-2015-MacLeodSB #developer #documentation #how #using
- Code, camera, action: how software developers document and share program knowledge using YouTube (LM, MAS, AB), pp. 104–114.
- ICSME-2015-WangPV #corpus #mining #scalability
- Developing a model of loop actions by mining loop characteristics from a large code corpus (XW, LLP, KVS), pp. 51–60.
- MSR-2015-VasquezWBMP #android #execution #generative #mining
- Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
- SANER-2015-OumarouAEDK #identification
- Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.
- CHI-2015-PineL #metric
- The Politics of Measurement and Action (KHP, ML), pp. 3147–3156.
- CHI-2015-SalehiIBAOMC
- We Are Dynamo: Overcoming Stalling and Friction in Collective Action for Crowd Workers (NS, LI, MSB, AA, EO, KM, C), pp. 1621–1630.
- CSCW-2015-LeeP #concept #coordination #framework #matrix
- From The Matrix to a Model of Coordinated Action (MoCA): A Conceptual Framework of and for CSCW (CPL, DP), pp. 179–194.
- CAiSE-2015-Francescomarino #using #workflow
- Completing Workflow Traces Using Action Languages (CDF, CG, ST, IVS), pp. 314–330.
- ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing
- Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
- ICEIS-v2-2015-TrujilloOP #authoring #framework #re-engineering #using #validation
- Using Technical-Action-Research to Validate a Framework for Authoring Software Engineering Methods (MMT, HO, MP), pp. 15–27.
- ECIR-2015-LuoZDY #design #using
- Designing States, Actions, and Rewards for Using POMDP in Session Search (JL, SZ, XD, HY), pp. 526–537.
- KDD-2015-CuiCHC #random
- Optimal Action Extraction for Random Forests and Boosted Trees (ZC, WC, YH, YC), pp. 179–188.
- KDD-2015-HillMHTPT #online
- Measuring Causal Impact of Online Actions via Natural Experiments: Application to Display Advertising (DNH, RM, AEH, VT, FJP, KT), pp. 1839–1847.
- KDD-2015-KicKimanR #identification #social #social media #towards
- Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media (EK, MR), pp. 547–556.
- SEKE-2015-SampaioMLM #adaptation #approach #learning #research
- Reflecting, adapting and learning in small software organizations: an action research approach (SS, MM, AL, HPM), pp. 46–50.
- MoDELS-2015-RagoMD #case study #identification #semantics
- Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract) (AR, CM, JADP), p. 446.
- SAC-2015-RodriguesAFSB #approach #ontology #simulation
- An ontological approach for simulating legal action in the Brazilian penal code (CMdOR, RRdA, FLGdF, EPdS, PVdSB), pp. 376–381.
- ICSE-v2-2015-MinelliML #developer
- Free Hugs — Praising Developers for Their Actions (RM, AM, ML), pp. 555–558.
- ICLP-2015-MartinezRIAT #learning #modelling #probability
- Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT).
- CASE-2014-MurookaNNKOI #learning #physics #scalability
- Manipulation strategy learning for carrying large objects based on mapping from object physical property to object manipulation action in virtual environment (MM, SN, SN, YK, KO, MI), pp. 263–270.
- MSR-2014-HanamTHL #ranking #static analysis
- Finding patterns in static analysis alerts: improving actionable alert ranking (QH, LT, RH, PL), pp. 152–161.
- IFM-2014-KordyPS #framework #probability #security
- A Probabilistic Framework for Security Scenarios with Dependent Actions (BK, MP, PS), pp. 256–271.
- CHI-2014-LaseckiWFB #dependence #using
- Finding dependencies between actions using the crowd (WSL, LW, GF, JPB), pp. 3095–3098.
- CHI-2014-PatilSKL #feedback #how
- Reflection or action?: how feedback and control affect location sharing decisions (SP, RS, AK, AJL), pp. 101–110.
- CHI-2014-UrMHL #programming #smarttech
- Practical trigger-action programming in the smart home (BU, EM, MPYH, MLL), pp. 803–812.
- CSCW-2014-ChengB #named
- Catalyst: triggering collective action with thresholds (JC, MSB), pp. 1211–1221.
- CSCW-2014-HansenKJBV
- Civic action brokering platforms: facilitating local engagement with ACTion Alexandria (DLH, JAK, PTJ, JCB, TV), pp. 1308–1322.
- CSCW-2014-Rooksby #question
- Can plans and situated actions be replicated? (JR), pp. 603–614.
- DUXU-DI-2014-Barros #gesture #interactive #interface #sketching
- Extending ActionSketch for New Interaction Styles: Gestural Interfaces and Interactive Environments (GB), pp. 509–520.
- DUXU-ELAS-2014-PetkovB #design
- Hardwired Critical Action Panels for Emergency Preparedness: — Design Principles and CAP Design for Offshore Petroleum Platforms (BP, AOB), pp. 326–337.
- HIMI-AS-2014-ItaiYM #ambiguity #interface
- Soft Interface with the Ambiguity Creation of the Action by Avatar Controller Inducing the Embodiment (SI, TY, YM), pp. 413–422.
- HIMI-DE-2014-KawabeYAW #metric #student
- Measurement of Hand Raising Actions to Support Students’ Active Participation in Class (RK, MY, SA, TW), pp. 199–207.
- VISSOFT-2014-JaaskelainenJV #visualisation
- Action-Based Visualization (AJ, HMJ, HV), pp. 20–24.
- HILT-2014-Seidewitz #execution #modelling #uml
- UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
- CIKM-2014-SeolJYCL #problem #summary
- A Problem-Action Relation Extraction Based on Causality Patterns of Clinical Events in Discharge Summaries (JWS, SHJ, WY, JC, KSL), pp. 1971–1974.
- CIKM-2014-WalkSS #case study #collaboration
- Sequential Action Patterns in Collaborative Ontology-Engineering Projects: A Case-Study in the Biomedical Domain (SW, PS, MS), pp. 1349–1358.
- ICML-c2-2014-LefakisF #programming
- Dynamic Programming Boosting for Discriminative Macro-Action Discovery (LL, FF), pp. 1548–1556.
- ICPR-2014-Al-HalahRS #learning #metric #semantics #similarity #what
- What to Transfer? High-Level Semantics in Transfer Metric Learning for Action Similarity (ZAH, LR, RS), pp. 2775–2780.
- ICPR-2014-BagheriHGE #classification #framework #multi #recognition
- A Framework of Multi-classifier Fusion for Human Action Recognition (MAB, GH, QG, SE), pp. 1260–1265.
- ICPR-2014-BloomMA #clustering #online #recognition
- Clustered Spatio-temporal Manifolds for Online Action Recognition (VB, DM, VA), pp. 3963–3968.
- ICPR-2014-CaiTF #learning #recognition #taxonomy
- Learning Pose Dictionary for Human Action Recognition (JxC, XT, GCF), pp. 381–386.
- ICPR-2014-EvangelidisSH #recognition #using
- Skeletal Quads: Human Action Recognition Using Joint Quadruples (GE, GS, RH), pp. 4513–4518.
- ICPR-2014-GeronimoK #retrieval #video
- Unsupervised Surveillance Video Retrieval Based on Human Action and Appearance (DG, HK), pp. 4630–4635.
- ICPR-2014-IosifidisTP #classification #network
- Semi-supervised Classification of Human Actions Based on Neural Networks (AI, AT, IP), pp. 1336–1341.
- ICPR-2014-JiangMVP #recognition
- Decision Level Fusion of Domain Specific Regions for Facial Action Recognition (BJ, BM, MFV, MP), pp. 1776–1781.
- ICPR-2014-KapsourasN #approach #recognition #using
- Action Recognition in Motion Capture Data Using a Bag of Postures Approach (IK, NN), pp. 2649–2654.
- ICPR-2014-KeceliC #approach #multimodal #using
- A Multimodal Approach for Recognizing Human Actions Using Depth Information (ASK, ABC), pp. 421–426.
- ICPR-2014-KhanWBF #recognition
- Scale Coding Bag-of-Words for Action Recognition (FSK, JvdW, ADB, MF), pp. 1514–1519.
- ICPR-2014-LeeSL #3d #invariant #recognition #self #using
- View-Invariant 3D Action Recognition Using Spatiotemporal Self-Similarities from Depth Camera (ARL, HIS, SWL), pp. 501–505.
- ICPR-2014-LiangZ #3d #modelling #recognition
- 3D Motion Trail Model Based Pyramid Histograms of Oriented Gradient for Action Recognition (BL, LZ), pp. 1952–1957.
- ICPR-2014-LiuWF #modelling
- Modeling the Relationship of Action, Object, and Scene (JL, XW, YF), pp. 2005–2010.
- ICPR-2014-MavadatiM #automation #metric #modelling
- Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
- ICPR-2014-NieJ14a #recognition
- Capturing Global and Local Dynamics for Human Action Recognition (SN, QJ), pp. 1946–1951.
- ICPR-2014-OrriteRHRV #automation #recognition #segmentation #sequence
- Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
- ICPR-2014-OuyedA #classification #kernel
- Feature Relevance for Kernel Logistic Regression and Application to Action Classification (OO, MSA), pp. 1325–1329.
- ICPR-2014-PengWQP #encoding #evaluation #learning #recognition #taxonomy
- A Joint Evaluation of Dictionary Learning and Feature Encoding for Action Recognition (XP, LW, YQ, QP), pp. 2607–2612.
- ICPR-2014-PhamP #3d #hybrid #online #sequence #video
- Hybrid On-Line 3D Face and Facial Actions Tracking in RGBD Video Sequences (HXP, VP), pp. 4194–4199.
- ICPR-2014-RahmaniMHM #classification #linear
- Action Classification with Locality-Constrained Linear Coding (HR, AM, DQH, ASM), pp. 3511–3516.
- ICPR-2014-SlamaWD #3d #gesture #recognition #representation
- Grassmannian Representation of Motion Depth for 3D Human Gesture and Action Recognition (RS, HW, MD), pp. 3499–3504.
- ICPR-2014-WuS #learning #multi #recognition
- Regularized Multi-view Multi-metric Learning for Action Recognition (XW, SKS), pp. 471–476.
- ICPR-2014-XiaoCJF #recognition #using
- Position-Based Action Recognition Using High Dimension Index Tree (QX, JC, JJ, WF), pp. 4400–4405.
- ICPR-2014-YangYHD #modelling #recognition
- A Hierarchical Model Based on Latent Dirichlet Allocation for Action Recognition (SY, CY, WH, XD), pp. 2613–2618.
- ICPR-2014-YanRLSS #analysis #clustering #invariant #linear #multi #recognition
- Clustered Multi-task Linear Discriminant Analysis for View Invariant Color-Depth Action Recognition (YY, ER, GL, RS, NS), pp. 3493–3498.
- ICPR-2014-ZafarK #evaluation
- Pain Intensity Evaluation through Facial Action Units (ZZ, NAK), pp. 4696–4701.
- ICPR-2014-ZhangM14a #detection #learning #multi
- Simultaneous Detection of Multiple Facial Action Units via Hierarchical Task Structure Learning (XZ, MHM), pp. 1863–1868.
- ICPR-2014-ZhenS #evaluation #performance #recognition
- A Performance Evaluation on Action Recognition with Local Features (XZ, LS), pp. 4495–4500.
- ICPR-2014-ZhuS #learning #recognition #taxonomy
- Correspondence-Free Dictionary Learning for Cross-View Action Recognition (FZ, LS), pp. 4525–4530.
- ICPR-2014-ZhuWYJ #learning #modelling #multi #recognition #semantics
- Multiple-Facial Action Unit Recognition by Shared Feature Learning and Semantic Relation Modeling (YZ, SW, LY, QJ), pp. 1663–1668.
- KR-2014-EwinPV #calculus #reasoning
- Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).
- KR-2014-PatriziV #constraints #database #similarity
- Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (FP, SV).
- KR-2014-RajaratnamLPT
- Forgetting in Action (DR, HJL, MP, MT).
- SEKE-2014-NetoC #identification
- Identifying Threats to Validity and Control Actions in the Planning Stages of Controlled Experiments (AAN, TC), pp. 256–261.
- SIGIR-2014-WangSCHHW #modelling #predict
- Modeling action-level satisfaction for search task satisfaction prediction (HW, YS, MWC, XH, AHA, RWW), pp. 123–132.
- PPDP-J-2012-Thielecke14 #on the #parsing #semantics
- On the semantics of parsing actions (HT), pp. 52–76.
- CASE-2013-OFlahertyE #bound #learning #sequence
- Learning to locomote: Action sequences and switching boundaries (RO, ME), pp. 7–12.
- SIGMOD-2013-UpadhyayaABHKRS #power of
- The power of data use management in action (PU, NRA, MB, BH, RK, RR, DS), pp. 1117–1120.
- VLDB-2013-KaraezIZMK #lazy evaluation
- Lazy ETL in Action: ETL Technology Dates Scientific Data (YK, MI, YZ, SM, MLK), pp. 1286–1289.
- VLDB-2013-SarwatAM #database #recommendation #relational
- A RecDB in Action: Recommendation Made Easy in Relational Databases (MS, JLA, MFM), pp. 1242–1245.
- ICSM-2013-HillSPV
- Differentiating Roles of Program Elements in Action-Oriented Concerns (EH, DS, LLP, KVS), pp. 376–379.
- ICFP-2013-KammarLO
- Handlers in action (OK, SL, NO), pp. 145–158.
- CHI-2013-ComberHHMO #design
- Food practices as situated action: exploring and designing for everyday food practices with households (RC, JH, AvH, PM, PO), pp. 2457–2466.
- CHI-2013-HernandezYGFS #design #game studies
- Designing action-based exergames for children with cerebral palsy (HAH, ZY, TCNG, DF, LS), pp. 1261–1270.
- CHI-2013-YooHWHF #co-evolution #design #evolution
- A value sensitive action-reflection model: evolving a co-design space with stakeholder and designer prompts (DY, AH, JPW, DGH, BF), pp. 419–428.
- CSCW-2013-ReynoldsSBH
- Butler lies from both sides: actions and perceptions of unavailability management in texting (LR, MES, JPB, JTH), pp. 769–778.
- DHM-HB-2013-YangZF #simulation
- Simulation of Pushing the Push-Pull Rod Action Based on Human Body Dynamics (ZY, YZ, SF), pp. 393–401.
- HCI-AMTE-2013-ChoY #collaboration #design #human-computer #towards
- Toward a New Design Philosophy of HCI: Knowledge of Collaborative Action of “We” Human-and-Technology (HC, JY), pp. 32–40.
- HCI-AMTE-2013-SiewYZ #case study #development #information management #research
- Participatory Action Research in Software Development: Indigenous Knowledge Management Systems Case Study (STS, AWY, TZ), pp. 470–479.
- HCI-IMT-2013-MurataHS #interface #video
- Effect of Unresponsive Time for User’s Touch Action of Selecting an Icon on the Video Mirror Interface (KM, MH, YS), pp. 462–468.
- HIMI-LCCB-2013-SatonakaS #mining #visualisation
- Sales Strategy Mining System with Visualization of Action History (HS, WS), pp. 588–597.
- ICEIS-v2-2013-MachadoPATWO
- Situation-awareness as a Key for Proactive Actions in Ambient Assisted Living (AM, AMP, IA, LHT, LKW, JPMdO), pp. 418–426.
- CIKM-2013-BarahmandGY #comparison #design #interactive #network #physics #social
- A comparison of two physical data designs for interactive social networking actions (SB, SG, JY), pp. 949–958.
- CIKM-2013-ReisDPSR #adaptation #automation #ontology
- Mapping adaptation actions for the automatic reconciliation of dynamic ontologies (JCdR, DD, CP, MDS, CRD), pp. 599–608.
- ECIR-2013-FujikawaJN #modelling
- Tempo of Search Actions to Modeling Successful Sessions (KF, HJ, SiN), pp. 718–721.
- SEKE-2013-AbdouGK #open source #process #testing
- Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
- SAC-2013-RodriguesCPZ #database #visual notation #visualisation
- Hierarchical visual filtering, pragmatic and epistemic actions for database visualization (JFRJ, CEC, AFdP, LAMZ), pp. 946–952.
- LICS-2013-Hales #logic #synthesis
- Arbitrary Action Model Logic and Action Model Synthesis (JH), pp. 253–262.
- CASE-2012-KimKYOO #navigation #using
- Actionable topological mapping for navigation using nearby objects (JK, JK, SY, YO, SO), pp. 1162–1167.
- VLDB-2012-AlagiannisBBIA #adaptation #query
- NoDB in Action: Adaptive Query Processing on Raw Data (IA, RB, MB, SI, AA), pp. 1942–1945.
- VLDB-2012-KwonBHR #pipes and filters
- SkewTune in Action: Mitigating Skew in MapReduce Applications (YK, MB, BH, JAR), pp. 1934–1937.
- SFM-2012-CasoBGU #abstraction #validation
- Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
- CHI-2012-CoyleMKFB #exclamation #experience
- I did that!: measuring users’ experience of agency in their own actions (DC, JWM, POK, PF, AB), pp. 2025–2034.
- CHI-2012-KaptelininN #human-computer #perspective #towards
- Affordances in HCI: toward a mediated action perspective (VK, BAN), pp. 967–976.
- CAiSE-2012-BaroneTM #case study #modelling
- Business Intelligence Modeling in Action: A Hospital Case Study (DB, TT, JM), pp. 502–517.
- CAiSE-2012-Wieringa #design #research
- Designing Technical Action Research and Generalizing from Real-World Cases (RW), pp. 697–698.
- CIKM-2012-AgarwalCW #multi #ranking #using
- Multi-faceted ranking of news articles using post-read actions (DA, BCC, XW), pp. 694–703.
- CIKM-2012-BarajasAHKFA
- Dynamic effects of ad impressions on commercial actions in display advertising (JB, RA, MH, JK, AF, VA), pp. 1747–1751.
- ICPR-2012-AhmedA #gesture #modelling #using
- Flow Modeling and skin-based Gaussian pruning to recognize gestural actions using HMM (ORA, AAH), pp. 3488–3491.
- ICPR-2012-AtmosukartoGA #kernel #recognition #representation
- Trajectory-based Fisher kernel representation for action recognition in videos (IA, BG, NA), pp. 3333–3336.
- ICPR-2012-AydemirEGK #summary #using #video
- Video summarization using simple action patterns (MSA, UE, AG, MEK), pp. 2047–2050.
- ICPR-2012-BaccoucheMWGB #2d #invariant #learning #recognition #representation #sequence
- Sparse shift-invariant representation of local 2D patterns and sequence learning for human action recognition (MB, FM, CW, CG, AB), pp. 3823–3826.
- ICPR-2012-BarnachonBBG #recognition
- Human actions recognition from streamed Motion Capture (MB, SB, BB, EG), pp. 3807–3810.
- ICPR-2012-BurghoutsS #correlation #detection
- Correlations between 48 human actions improve their detection (GJB, KS), pp. 3815–3818.
- ICPR-2012-CaoL #categorisation #fuzzy
- Type-2 fuzzy labeled latent Dirichlet allocation for human action categorization (XQC, ZQL), pp. 1338–1341.
- ICPR-2012-ChenHCHC #analysis #using
- Occluded human action analysis using dynamic manifold model (LCC, JWH, CHC, CYH, DYC), pp. 1245–1248.
- ICPR-2012-DarbyLCC #locality #recognition
- Object localisation via action recognition (JD, BL, RC, NC), pp. 817–820.
- ICPR-2012-GaoLZXX #recognition #representation
- Human action recognition based on sparse representation induced by L1/L2 regulations (ZG, AL, HZ, GX, YX), pp. 1868–1871.
- ICPR-2012-LeeKD #induction #learning
- Learning action symbols for hierarchical grammar induction (KL, TKK, YD), pp. 3778–3782.
- ICPR-2012-LinSCLH #recognition #using
- Human action recognition using Action Trait Code (SYL, CKS, SCC, MSL, YPH), pp. 3456–3459.
- ICPR-2012-LiuKWJ #recognition
- Action recognition with discriminative mid-level features (CL, YK, XW, YJ), pp. 3366–3369.
- ICPR-2012-LuKT #recognition #representation
- Action recognition via sparse representation of characteristic frames (GL, MK, JT), pp. 3268–3271.
- ICPR-2012-NakamuraIKB #authentication #behaviour #multi #tablet
- Tablet owner authentication based on behavioral characteristics of multi-touch actions (KN, YI, KK, NB), pp. 3431–3434.
- ICPR-2012-OnofriS #recognition #sequence #video
- Combining video subsequences for human action recognition (LO, PS), pp. 597–600.
- ICPR-2012-PerezMMSV #recognition #using
- Combining gradient histograms using orientation tensors for human action recognition (EdAP, VFM, LMM, DOS, MBV), pp. 3460–3463.
- ICPR-2012-SadekAMS #invariant #recognition
- Human action recognition via affine moment invariants (SS, AAH, BM, US), pp. 218–221.
- ICPR-2012-TabiaGL #quantifier #recognition
- Motion histogram quantification for human action recognition (HT, MG, LL), pp. 2404–2407.
- ICPR-2012-ThanhMNMY #detection #recognition #robust #using
- Inertial-sensor-based walking action recognition using robust step detection and inter-class relationships (TNT, YM, HN, YM, YY), pp. 3811–3814.
- ICPR-2012-YiP #classification #graph
- Sparse Granger causality graphs for human action classification (SY, VP), pp. 3374–3377.
- ICPR-2012-ZhangWXZL #kernel #recognition
- Contextual Fisher kernels for human action recognition (ZZ, CW, BX, WZ, SL), pp. 437–440.
- ICPR-2012-ZhangZC #recognition
- Action recognition based on spatial-temporal pyramid sparse coding (XZ, HZ, XC), pp. 1455–1458.
- ICPR-2012-ZhouWXZM #learning #recognition
- Learning weighted features for human action recognition (WZ, CW, BX, ZZ, LM), pp. 1160–1163.
- ICPR-2012-ZhouWXZM12a #recognition #representation
- Human action recognition by bagging data dependent representation (WZ, CW, BX, ZZ, LM), pp. 3120–3123.
- KR-2012-DelgrandeL
- Belief Revision with Sensing and Fallible Actions (JPD, HJL).
- KR-2012-DohertyKS #constraints
- Temporal Composite Actions with Constraints (PD, JK, AS).
- KR-2012-GiacomoLP #bound #calculus #decidability #verification
- Bounded Situation Calculus Action Theories and Decidable Verification (GDG, YL, FP).
- KR-2012-GiordanoMD #bound #model checking
- Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).
- MLDM-2012-GlodekSP #detection #process #recognition
- Detecting Actions by Integrating Sequential Symbolic and Sub-symbolic Information in Human Activity Recognition (MG, FS, GP), pp. 394–404.
- PPDP-2012-Thielecke #continuation #functional #parsing #recursion #semantics
- Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.
- SAC-2012-MirizziNSR #recommendation #semantics #web
- Web 3.0 in action: Vector Space Model for semantic (movie) Recommendations (RM, TDN, EDS, AR), pp. 403–405.
- ICSE-2012-Cleland-HuangSKCLMGPHL #contest #re-engineering #towards
- Toward actionable, broadly accessible contests in Software Engineering (JCH, YS, EK, AC, GL, EM, MG, DP, JHH, WL), pp. 1329–1332.
- ICLP-2012-ChenJY
- Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.
- ICST-2012-JollyGE #automation #case study #industrial #research #testing
- Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
- LICS-2012-Atkey #parsing #semantics
- The Semantics of Parsing with Semantic Actions (RA), pp. 75–84.
- SIGMOD-2011-HanPLKY #analysis #graph #performance
- iGraph in action: performance analysis of disk-based graph indexing techniques (WSH, MDP, JL, RK, JXY), pp. 1241–1242.
- ITiCSE-2011-EckerdalLLS #concept #perspective #programming
- Relationship between text and action conceptions of programming: a phenomenographic and quantitative perspective (AE, MJL, ML, AS), pp. 33–37.
- ICSM-2011-WangPXZ #case study #feature model #process
- An exploratory study of feature location process: Distinct phases, recurring patterns, and elementary actions (JW, XP, ZX, WZ), pp. 213–222.
- IFL-2011-MiddelkoopEP #functional #source code
- Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.
- CHI-2011-HourcadeB #human-computer
- HCI for peace: a call for constructive action (JPH, NEBR), pp. 443–452.
- HCI-DDA-2011-AmrajiMM #recognition
- Shape -Based Human Actions Recognition in Videos (NA, LM, MGM), pp. 539–546.
- HCI-ITE-2011-MurataKMST #design #interface #visualisation
- Design of Shadows on the OHP Metaphor-Based Presentation Interface Which Visualizes a Presenter’s Actions (YM, KK, TM, BS, JT), pp. 557–564.
- CIKM-2011-DongBHRC #optimisation #personalisation #recommendation
- User action interpretation for personalized content optimization in recommender systems (AD, JB, XH, SR, YC), pp. 2129–2132.
- ICML-2011-PazisP #scalability #set
- Generalized Value Functions for Large Action Sets (JP, RP), pp. 1185–1192.
- KEOD-2011-PinchukINDBP #analysis #distributed #semantics #visual notation
- Augmenting Semantics to Distributed Agents Logs — Enabling Graphical After Action Analysis of Federated Agents Logs (RP, SI, TN, TD, CB, GP), pp. 232–241.
- SEKE-2011-GaoZHL #learning #modelling
- Learning action models with indeterminate effects (JG, HHZ, DjH, LL), pp. 159–162.
- ICSE-2011-SridharaPV #automation #detection
- Automatically detecting and describing high level actions within methods (GS, LLP, KVS), pp. 101–110.
- LDTA-2011-JimM #semantics
- Delayed semantic actions in Yakker (TJ, YM), p. 8.
- ICLP-2011-DovierFP #coordination #named #prolog
- BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.
- ICST-2011-AichernigBJK #performance
- Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
- LICS-2011-BojanczykKL #automaton
- Automata with Group Actions (MB, BK, SL), pp. 355–364.
- CASE-2010-MackayFB #framework #geometry #realtime #visual notation
- A real-time visual action-recognition framework for time-varying-geometry objects (MDM, RGF, BB), pp. 922–927.
- SIGMOD-2010-AbouziedBHAS
- HadoopDB in action: building real world applications (AA, KBP, JH, DJA, AS), pp. 1111–1114.
- VLDB-2010-HentschelHM #integration
- Just-in-time Data Integration in Action (MH, LMH, RJM), pp. 1621–1624.
- CHI-2010-LiNLDC #process #reuse #web #what
- Here’s what i did: sharing and reusing web activity with ActionShot (IL, JN, TAL, CD, AC), pp. 723–732.
- ICML-2010-JiXYY #3d #network #recognition
- 3D Convolutional Neural Networks for Human Action Recognition (SJ, WX, MY, KY), pp. 495–502.
- ICPR-2010-AliL #correlation #question #recognition
- Are Correlation Filters Useful for Human Action Recognition? (SA, SL), pp. 2608–2611.
- ICPR-2010-AshrafSF #constraints #invariant #rank #recognition #using
- View-Invariant Action Recognition Using Rank Constraint (NA, YS, HF), pp. 3611–3614.
- ICPR-2010-BaysalKD #using
- Recognizing Human Actions Using Key Poses (SB, MCK, PD), pp. 1727–1730.
- ICPR-2010-BenabbasLID #modelling #recognition #using
- Action Recognition Using Direction Models of Motion (YB, AL, NI, CD), pp. 4295–4298.
- ICPR-2010-DengCLC #recognition #representation
- A Global Spatio-Temporal Representation for Action Recognition (CD, XC, HL, JC), pp. 1816–1819.
- ICPR-2010-DonoserRB #prototype #recognition
- Shape Prototype Signatures for Action Recognition (MD, HR, HB), pp. 1796–1799.
- ICPR-2010-GuoM #detection #using
- Action Detection in Crowded Videos Using Masks (PG, ZM), pp. 1767–1770.
- ICPR-2010-HuQHJT #recognition #using
- Action Recognition Using Spatial-Temporal Context (QH, LQ, QH, SJ, QT), pp. 1521–1524.
- ICPR-2010-KojimaMK #n-gram #recognition
- Object Recognition Based on n-gram Expression of Human Actions (AK, HM, KK), pp. 372–375.
- ICPR-2010-KrauszB #recognition #using
- Action Recognition in Videos Using Nonnegative Tensor Factorization (BK, CB), pp. 1763–1766.
- ICPR-2010-LiuYZH #multi #recognition
- Action Recognition by Multiple Features and Hyper-Sphere Multi-class SVM (JL, JY, YZ, XH), pp. 3744–3747.
- ICPR-2010-Marin-JimenezBM #encoding #modelling
- RBM-based Silhouette Encoding for Human Action Modelling (MJMJ, NPdlB, MÁM), pp. 979–982.
- ICPR-2010-MatsukawaK #recognition #using
- Action Recognition Using Three-Way Cross-Correlations Feature of Local Moton Attributes (TM, TK), pp. 1731–1734.
- ICPR-2010-QuWL #difference #image #recognition #using
- Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
- ICPR-2010-SenechalBP #automation #detection #using
- Automatic Facial Action Detection Using Histogram Variation Between Emotional States (TS, KB, LP), pp. 3752–3755.
- ICPR-2010-SethiC10a #image
- The Human Action Image (RJS, AKRC), pp. 3674–3678.
- ICPR-2010-ShinCL #video
- Co-recognition of Actions in Video Pairs (YMS, MC, KML), pp. 456–459.
- ICPR-2010-TaWLBJ #recognition
- Pairwise Features for Human Action Recognition (APT, CW, GL, AB, JMJ), pp. 3224–3227.
- ICPR-2010-ThiCZWS #modelling #recognition #using
- Weakly Supervised Action Recognition Using Implicit Shape Models (THT, LC, JZ, LW, SS), pp. 3517–3520.
- ICPR-2010-Vazquez-SantacruzB #geometry #network
- A Geometric Radial Basis Function Network for Robot Perception and Action (EVS, EBC), pp. 2961–2964.
- ICPR-2010-WangL #encoding
- Encoding Actions via Quantized Vocabulary of Averaged Silhouettes (LW, CL), pp. 3657–3660.
- ICPR-2010-YoonK #recognition #using
- Human Action Recognition Using Segmented Skeletal Features (SMY, AK), pp. 3740–3743.
- ICPR-2010-ZhouWH #2d #3d #realtime #using
- Real-Time 3D Face and Facial Action Tracking Using Extended 2D+3D AAMs (MZ, YW, XH), pp. 3963–3966.
- ICPR-2010-ZiaeefardE #recognition
- Hierarchical Human Action Recognition by Normalized-Polar Histogram (MZ, HE), pp. 3720–3723.
- KDD-2010-TanTSLW #graph #social
- Social action tracking via noise tolerant time-varying factor graphs (CT, JT, JS, QL, FW), pp. 1049–1058.
- KDIR-2010-Ghosh #locality #mining #modelling #multi #predict #scalability #using
- Actionable Mining of Large, Multi-relational Data using Localized Predictive Models (JG), pp. 9–10.
- KEOD-2010-KermanidisA #game studies #representation #semantics
- LSA-based Semantic Representation of Action Games (KLK, KA), pp. 218–223.
- KR-2010-Baral #multi #reasoning
- Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract) (CB).
- KR-2010-BaumannBSTZ #calculus
- State Defaults and Ramifications in the Unifying Action Calculus (RB, GB, HS, MT, VZ).
- KR-2010-HajishirziA #probability #reasoning
- Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
- KR-2010-Thielscher #calculus
- Integrating Action Calculi and AgentSpeak: Closing the Gap (MT).
- PADL-2010-SridharH #monitoring #prolog
- ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.
- POPL-2010-Filinski #monad
- Monads in action (AF), pp. 483–494.
- LCTES-2010-BrandtSS #concurrent #specification
- Translating concurrent action oriented specifications to synchronous guarded actions (JB, KS, SKS), pp. 47–56.
- ICLP-2010-BasolEFI10 #source code
- HEX Programs with Action Atoms (SB, OE, MF, GI), pp. 24–33.
- VMCAI-2010-Vafeiadis
- RGSep Action Inference (VV), pp. 345–361.
- SIGMOD-2009-GlavicA
- The perm provenance management system in action (BG, GA), pp. 1055–1058.
- ICALP-v2-2009-PuglieseTY #on the
- On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
- CHI-2009-AokiHMMPSW #community #research #using
- A vehicle for research: using street sweepers to explore the landscape of environmental community action (PMA, RJH, AMM, CM, EP, SS, AW), pp. 375–384.
- DHM-2009-HaazebroekH #interactive #towards
- Towards a Computational Model of Perception and Action in Human Computer Interaction (PH, BH), pp. 247–256.
- HCI-AUII-2009-Anupam #named #web
- TringIt: Easy Triggering of Web Actions from a Phone (VA), pp. 11–20.
- HIMI-DIE-2009-NobutaniN
- Control of Personal Tempo to Support Individual Action and Cognition (NN, YN), pp. 702–708.
- OCSC-2009-TakeuchiN
- Attribution of Identity in Autonomous Action of Remotely Operated Robot (YT, HN), pp. 265–271.
- CAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification
- Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
- ICML-2009-PazisL #learning #policy
- Binary action search for learning continuous-action control policies (JP, MGL), pp. 793–800.
- KDIR-2009-GoyalBM #query #using
- Entailment of Causal Queries in Narratives using Action Language (PG, LB, TMM), pp. 112–118.
- ECMDA-FA-2009-CharfiSS #editing #hybrid #uml #visual notation
- A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
- POPL-2009-ElmasQT #calculus
- A calculus of atomic actions (TE, SQ, ST), pp. 2–15.
- SAC-2009-SinghB #identification #multi #web
- Information-theoretic identification of content pages for analyzing user information needs and actions on the multimedia web (RS, BDB), pp. 1806–1810.
- ICLP-2009-Inclezan #composition
- Modular Action Language ALM (DI), pp. 542–543.
- ICST-2009-HeckmanW #identification #process #static analysis
- A Model Building Process for Identifying Actionable Static Analysis Alerts (SSH, LAW), pp. 161–170.
- WICSA-2008-ChristensenHS #architecture #exclamation #research #set
- Ready! Set! Go! An Action Research Agenda for Software Architecture Research (HBC, KMH, KRS), pp. 257–260.
- CSEET-2008-HayesB #education #re-engineering
- Nancy Mead and Software Engineering Education: Advancements through Action (JHH, MB), pp. 244–249.
- ICPC-2008-Parr #embedded #reuse #semantics
- The Reuse of Grammars with Embedded Semantic Actions (TP), pp. 5–10.
- CSCW-2008-MarkS #collaboration
- Resilience in collaboration: technology as a resource for new patterns of action (GM, BS), pp. 137–146.
- ICEIS-DISI-2008-LiuQLZWD #distributed #specification #visual notation
- A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
- CIKM-2008-GoyalBL #community
- Discovering leaders from community actions (AG, FB, LVSL), pp. 499–508.
- CIKM-2008-LinSK #concept #network #people #process #social #summary
- Summarization of social activity over time: people, actions and concepts in dynamic networks (YRL, HS, AK), pp. 1379–1380.
- ICPR-2008-ChengWL #categorisation #clustering #sequence
- Dual clustering for categorization of action sequences (JC, LW, CL), pp. 1–4.
- ICPR-2008-GritaiBS #2d #constraints #geometry #modelling
- Geometric constraints on 2D action models for tracking human body (AG, AB, MS), pp. 1–4.
- ICPR-2008-GrundmannME #3d #distance #recognition
- 3D Shape Context and Distance Transform for action recognition (MG, FM, IAE), pp. 1–4.
- ICPR-2008-GuDWW #recognition
- Full body tracking-based human action recognition (JG, XD, SW, YW), pp. 1–4.
- ICPR-2008-HsiaoCC #recognition #using
- Human action recognition using temporal-state shape contexts (PCH, CSC, LWC), pp. 1–4.
- ICPR-2008-IkizlerCD #recognition
- Human action recognition with line and flow histograms (NI, RGC, PD), pp. 1–4.
- ICPR-2008-KongZWHJ #recognition
- Group action recognition in soccer videos (YK, XZ, QW, WH, YJ), pp. 1–4.
- ICPR-2008-ShenAF #constraints #recognition
- Action recognition based on homography constraints (YS, NA, HF), pp. 1–4.
- ICPR-2008-ZhangTJ #interactive
- Interactive labeling of facial action units (LZ, YT, QJ), pp. 1–4.
- KR-2008-FritzBM #compilation
- ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
- KR-2008-Varzinczak
- Action Theory Erasure and Minimal Change (IJV), pp. 651–661.
- KR-2008-VassosLL #first-order
- First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.
- ECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #semantics #uml
- Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
- ICSE-2008-RuthruffPMER #approach #predict #static analysis
- Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
- LCTES-2008-CohenK #named #regular expression
- EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.
- ICLP-2008-DemoenN #implementation
- Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.
- TestCom-FATES-2008-FaivreGGT #refinement
- Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
- VMCAI-2008-FecherH #abstraction #model checking
- Model Checking for Action Abstraction (HF, MH), pp. 112–126.
- CASE-2007-GomezHR #fuzzy #logic #maintenance
- Decision Making Based on Fuzzy Logic for Product Subcontracting Taking into Account Maintenance Actions (RAFG, SH, NR), pp. 771–776.
- CHI-2007-CostanzaIAM #gesture #interface #usability
- Intimate interfaces in action: assessing the usability and subtlety of emg-based motionless gestures (EC, SAI, RA, PM), pp. 819–828.
- CHI-2007-KirkRF #collaboration #gesture
- Turn it this way: grounding collaborative action with remote gestures (DSK, TR, DSF), pp. 1039–1048.
- CHI-2007-Salovaara
- Appropriation of a MMS-based comic creator: from system functionalities to resources for action (AS), pp. 1117–1126.
- DHM-2007-CarruthTRM #modelling
- Integrating Perception, Cognition and Action for Digital Human Modeling (DWC, MDT, BR, AM), pp. 333–342.
- DHM-2007-JonesLBA #comparison #recognition
- Comparison of Human and Machine Recognition of Everyday Human Actions (TDJ, SWL, DB, AA), pp. 120–129.
- DHM-2007-LiuHZ
- Actions of an External Electrical Shock on Human Atrial Excitation — A Computer Model Study (JL, AVH, HZ), pp. 659–667.
- DHM-2007-ZhengLODK #corpus #simulation
- Human Motion Simulation and Action Corpus (GZ, WL, PO, LD, IK), pp. 314–322.
- HCI-IDU-2007-Gomez-CarneroI #representation #using
- Evaluator of User’s Actions (Eua) Using the Model of Abstract Representation Dgaui (SGC, JRI), pp. 463–471.
- HCI-IDU-2007-TinglingS #case study #programming
- Extreme Programming in Action: A Longitudinal Case Study (PT, AS), pp. 242–251.
- HCI-IPT-2007-ChenC #using
- Using Agent Technology to Study Human Action and Perception Through a Virtual Street Simulator (CHC, MLC), pp. 560–568.
- HIMI-IIE-2007-ShibuyaTKT #3d
- Operation-Action Mapping in 3D Information Space on Portable Information Terminal (YS, HT, IK, YT), pp. 628–634.
- OCSC-2007-DayF #analysis #community #concept #named #network #research
- CNA2 — Communications and Community; Neighborhoods and Networks; Action and Analysis: Concepts and Methods for Community Technology Research (PD, CF), pp. 301–314.
- ICML-2007-OsentoskiM #learning
- Learning state-action basis functions for hierarchical MDPs (SO, SM), pp. 705–712.
- MLDM-2007-NgaiY
- Fast-Maneuvering Target Seeking Based on Double-Action Q-Learning (DCKN, NHCY), pp. 653–666.
- LOPSTR-2007-BossiPR #algebra #process #refinement #security
- Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
- RE-2007-Kof #identification #named
- Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics (LK), pp. 121–130.
- SAC-2007-QiaoZWL #database #realtime
- Developing event-condition-action rules in real-time active database (YQ, KZ, HW, XL), pp. 511–516.
- LDTA-J-2005-Iversen #compilation #ml #standard
- An action compiler targeting Standard ML (JI), pp. 79–94.
- ICLP-2007-DovierFP #constraints #multi
- Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.
- LICS-2007-CalcagnoOY #logic
- Local Action and Abstract Separation Logic (CC, PWO, HY), pp. 366–378.
- SIGMOD-2006-MarklKTHM #consistency #estimation #named
- MAXENT: consistent cardinality estimation in action (VM, MK, TMT, PJH, NM), pp. 775–777.
- VLDB-2006-CohenFKKS
- Full Disjunctions: Polynomial-Delay Iterators in Action (SC, IF, YK, BK, YS), pp. 739–750.
- ITiCSE-2006-Boetje #education #re-engineering
- Foundational actions: teaching software engineering when time is tight (JB), pp. 285–288.
- SEFM-2006-Arun-Kumar #on the
- On Bisimilarities Induced by Relations on Actions (SAK), pp. 41–49.
- CHI-2006-Landgren
- Making action visible in time-critical work (JL), pp. 201–210.
- CSCW-2006-RanjanBB #analysis #collaboration
- An exploratory analysis of partner action and camera control in a video-mediated collaborative task (AR, JPB, RB), pp. 403–412.
- ICEIS-ISAS-2006-ShishkovDL
- Bridging the Language-Action Perspective and Organizational Semiotics in SDBC (BS, JLGD, KL), pp. 52–60.
- ICPR-v1-2006-AhmadL #image #multi #recognition #sequence #using
- HMM-based Human Action Recognition Using Multiview Image Sequences (MA, SWL), pp. 263–266.
- ICPR-v1-2006-RiusVGV #performance
- Action Spaces for Efficient Bayesian Tracking of Human Motion (IR, XV, JG, JJV), pp. 472–475.
- ICPR-v1-2006-ZhuXHG #recognition #video
- Action Recognition in Broadcast Tennis Video (GZ, CX, QH, WG), pp. 251–254.
- ICPR-v2-2006-HanheideHS #recognition
- Action Recognition in aWearable Assistance System (MH, NH, GS), pp. 1254–1258.
- ICPR-v2-2006-WangS06b #recognition
- Informative Shape Representations for Human Action Recognition (LW, DS), pp. 1266–1269.
- ICPR-v4-2006-MitaniTKF #analysis #mobile #recognition
- Environment Recognition Based on Analysis of Human Actions for Mobile Robot (MM, MT, AK, KF), pp. 782–786.
- KDD-2006-Stankovic #network #self
- Self-Organizing wireless sensor networks in action (JAS), p. 1.
- KR-2006-ErdoganL
- Actions as Special Cases (STE, VL), pp. 377–388.
- KR-2006-Jauregui #imperative #logic #semantics
- Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.
- KR-2006-SonT #approximate #on the #reasoning
- On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.
- SIGIR-2006-MurrayLC #behaviour #modelling #predict #query
- Action modeling: language models that predict query behavior (GCM, JJL, AC), pp. 681–682.
- QAPL-2005-DengCPP06 #metric
- Metrics for Action-labelled Quantitative Transition Systems (YD, TC, CP, JP), pp. 79–96.
- PADL-2006-SoaresRF #prolog
- Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.
- SAC-2006-AgiusA #case study #experience #user interface
- MPEG-7 in action: end user experiences with COSMOS-7 front end systems (HWA, MCA), pp. 1348–1355.
- SAC-2006-PaigeKP #action semantics #semantics
- An action semantics for MOF 2.0 (RFP, DSK, FP), pp. 1304–1305.
- LDTA-J-2004-BrandIM
- An Action Environment (MvdB, JI, PDM), pp. 245–264.
- ICLP-2006-GrellSS #biology #modelling #network #programming #set
- Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.
- ICLP-2006-Tu #performance #reasoning
- Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.
- MBT-2006-BourdonovKK #consistency #testing
- Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
- HT-2005-HsiehS #communication #process
- Activity links: supporting communication and reflection about action (HwH, FMSI), pp. 161–170.
- SIGMOD-2005-HaasKLMPRZ #automation #statistics
- Automated statistics collection in action (PJH, MK, AL, VM, IP, VR, DCZ), pp. 933–935.
- WRLA-2004-PalominoP05 #maude #model checking #proving
- Proving VLRL Action Properties with the Maude Model Checker (MP, IP), pp. 113–133.
- SEFM-2005-SunW #process #realtime #refinement #semantics
- Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.
- CHI-2005-DabbishKFK #comprehension #email #predict
- Understanding email use: predicting action on a message (LAD, REK, SRF, SBK), pp. 691–700.
- CHI-2005-HinckleyBRG #analysis #design #gesture
- Design and analysis of delimiters for selection-action pen gesture phrases in scriboli (KH, PB, GR, FG), pp. 451–460.
- CHI-2005-OuOYF #collaboration
- Effects of task properties, partner actions, and message content on eye gaze patterns in a collaborative task (JO, LMO, JY, SRF), pp. 231–240.
- CIKM-2005-ZhaoLTX #framework #identification #performance #visualisation
- Opportunity map: a visualization framework for fast identification of actionable knowledge (KZ, BL, TMT, WX), pp. 60–67.
- ICML-2005-BowlingGW
- Action respecting embedding (MHB, AG, DFW), pp. 65–72.
- ICML-2005-JodogneP #interactive #learning #visual notation
- Interactive learning of mappings from visual percepts to actions (SJ, JHP), pp. 393–400.
- MLDM-2005-XiangZCL #approach #recognition #sequence
- A New Approach to Human Motion Sequence Recognition with Application to Diving Actions (SX, CZ, XC, NL), pp. 487–496.
- SIGIR-2005-BennettC #detection #email
- Detecting action-items in e-mail (PNB, JGC), pp. 585–586.
- LOPSTR-2005-SimonMG #design #implementation #realtime
- Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.
- GTTSE-2005-BravenboerGV #domain-specific language #stratego #using
- MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.
- ICSE-2005-FriasGPA #alloy #named
- DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.
- LDTA-2005-Iversen #compilation #ml #standard
- An Action Compiler Targeting Standard ML (JI), pp. 167–188.
- CAV-2005-Yavuz-KahveciBB #verification
- Action Language Verifier, Extended (TYK, CB, TB), pp. 413–417.
- TestCom-2005-BijlRT #consistency #refinement #testing
- Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.
- VMCAI-2005-Bozzelli #model checking #process #term rewriting
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties (LB), pp. 282–297.
- ASE-2004-Lanza #named
- CodeCrawler — Polymetric Views in Action (ML), pp. 394–395.
- DAC-2004-RosenbandA #composition #scheduling
- Modular scheduling of guarded atomic actions (DLR, A), pp. 55–60.
- VLDB-2004-RamanMSLP #optimisation
- Progressive Optimization in Action (VR, VM, DES, GML, HP), pp. 1337–1340.
- SEFM-2004-WuY #ambiguity #concurrent #refinement #towards
- Towards Action Refinement for Concurrent Systems with Causal Ambiguity (JW, HY), pp. 300–309.
- CHI-2004-HeerGRDM
- Presiding over accidents: system direction of human action (JH, NG, AR, MD, JM), pp. 463–470.
- CHI-2004-TerryMNY #development
- Variation in element and action: supporting simultaneous development of alternative solutions (MAT, EDM, KN, YY), pp. 711–718.
- CSCW-2004-GergleKF #visual notation
- Action as language in a shared visual space (DG, REK, SRF), pp. 487–496.
- ICEIS-v1-2004-Lyytinen #analysis #functional #requirements #scalability #source code
- Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.
- ICEIS-v3-2004-CostaCA #named
- P-Manager: Actions vs. Messages (CJC, JPC, MA), pp. 643–646.
- ICEIS-v3-2004-LingsL #automation
- Method-in-Action and Method-in-Tool: Some Implications for CASE (BL, BL), pp. 623–628.
- ICEIS-v3-2004-Nobre04a #what
- Computer Ethics: What are we Talking About? Possible Contributions from Philosophy of Action, Critical Realism and Modern Hermeneutics (ÂLN), pp. 683–687.
- ICPR-v2-2004-GritaiSS #analysis #invariant #on the
- On the use of Anthropometry in the Invariant Analysis of Human Actions (AG, YS, MS), pp. 923–926.
- ICPR-v3-2004-HiguchiAKF #recognition
- Scene Recognition Based on Relationship between Human Actions and Objects (MH, SA, AK, KF), pp. 73–78.
- ICPR-v3-2004-RahmanI #recognition #robust
- Robust Appearance-based Human Action Recognition (MMR, SI), pp. 165–168.
- ICPR-v3-2004-SchuldtLC #approach
- Recognizing Human Actions: A Local SVM Approach (CS, IL, BC), pp. 32–36.
- ICPR-v4-2004-KobayashiO #higher-order #identification #multi #polynomial #using
- Action and Simultaneous Multiple-Person Identification Using Cubic Higher-Order Local Auto-Correlation (TK, NO), pp. 741–744.
- ICPR-v4-2004-MiyauchiSNK
- Human-Robot Eye Contact through Observations and Actions (DM, AS, AN, YK), pp. 392–395.
- ICPR-v4-2004-PeursumBVW #segmentation
- Human Action Segmentation via Controlled Use of Missing Data in HMMs (PP, HHB, SV, GAWW), pp. 440–445.
- KR-2004-Lang
- A Preference-Based Interpretation of Other Agents’ Actions (JL), pp. 644–653.
- KR-2004-MartinNT #calculus
- Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.
- KR-2004-TranB #interactive #prolog #reasoning
- Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells (NT, CB), pp. 554–564.
- LDTA-2004-BrandIM
- An Action Environment (MvdB, JI, PDM), pp. 149–168.
- LDTA-2004-BrandIM04a #tool support
- The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.
- SIGMOD-2003-ZhuSZ #query
- Query by Humming — in Action with its Technology Revealed (YZ, DS, XZ), p. 675.
- ITiCSE-2003-HabermanLL #comprehension #concept #education #research #student
- Action research as a tool for promoting teacher awareness of students’ conceptual understanding (BH, EL, DL), pp. 144–148.
- SOFTVIS-2003-Reiss #java #visualisation
- Visualizing Java in Action (SPR), pp. 57–65.
- ICEIS-v3-2003-BarjisG #requirements
- Requirements Engineering Versus Language/Action Perspective: Different Facets and Possible Contribution (JB, TG), pp. 14–22.
- ICML-2003-Even-DarMM #learning
- Action Elimination and Stopping Conditions for Reinforcement Learning (EED, SM, YM), pp. 162–169.
- ICSE-2003-NentwichEF #consistency
- Consistency Management with Repair Actions (CN, WE, AF), pp. 455–464.
- ICSE-2003-Reiss #java #named #visualisation
- JIVE: Visualizing Java in Action Demonstration Description (SPR), pp. 820–821.
- LDTA-J-2001-DohM #programming language #semantics
- Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
- VMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
- Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
- HT-2002-Davison #html #predict #web
- Predicting web actions from HTML content (BDD0), pp. 159–168.
- WRLA-J-1996-GadducciM02 #calculus #logic
- Comparing logics for rewriting: rewriting logic, action calculi and tile logic (FG, UM), pp. 319–358.
- ICML-2002-DietterichBMS #learning #probability #refinement
- Action Refinement in Reinforcement Learning by Probability Smoothing (TGD, DB, RLdM, CS), pp. 107–114.
- ICML-2002-PickettB #algorithm #learning #named
- PolicyBlocks: An Algorithm for Creating Useful Macro-Actions in Reinforcement Learning (MP, AGB), pp. 506–513.
- ICPR-v1-2002-ParameswaranC #invariant #recognition #representation
- Quasi-Invariants for Human Action Representation and Recognition (VP, RC), pp. 307–310.
- ICPR-v2-2002-RenX #recognition
- Human Action Recognition with Primitive-Based Coupled-HMM (HR, GX), pp. 494–498.
- ICPR-v4-2002-Syeda-Mahmood
- Segmenting Actions in Velocity Curve Space (TFSM), p. 170–?.
- KDD-2002-JulischD #detection #mining
- Mining intrusion detection alarms for actionable knowledge (KJ, MD), pp. 366–375.
- KR-2002-BaralST
- A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
- KR-2002-CalvaneseGV #ltl #reasoning
- Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
- KR-2002-McCarthy #calculus
- Actions and Other Events in Situation Calculus (JM0), pp. 615–628.
- KR-2002-PetrickL #equivalence
- Knowledge Equivalence in Combined Action Theories (RPAP, HJL), pp. 303–314.
- SAC-2002-El-Ansary #analysis #behaviour #representation #requirements #towards
- Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events (AEA), pp. 984–991.
- LDTA-2002-Mosses #action semantics #asf+sdf #semantics
- Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
- HPDC-2002-CoxBCDEFJGGPKSSTWX #design #grid #optimisation
- Grid Services in Action: Grid Enabled Optimisation and Design Search (SJC, RPB, LC, MD, MHE, MJF, ZJ, MG, CAG, GEP, AJK, MS, NS, BT, JLW, GX), p. 413.
- ICLP-2002-HayashiCO #execution #logic programming
- Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.
- ICLP-2002-Thielscher #constraints #finite #reasoning
- Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
- ASE-2001-BultanY #verification
- Action Language Verifier (TB, TYK), pp. 382–386.
- CHI-2001-ChiPCP #using #web
- Using information scent to model user information needs and actions and the Web (EHhC, PP, KC, JEP), pp. 490–497.
- CAiSE-2001-SunyePHGJ #action semantics #execution #modelling #semantics #uml #using
- Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.
- ICML-2001-PerkinsB #learning #set
- Lyapunov-Constrained Action Sets for Reinforcement Learning (TJP, AGB), pp. 409–416.
- KDD-2001-LiuHM #identification
- Identifying non-actionable association rules (BL, WH, YM), pp. 329–334.
- UML-2001-AlvarezCES #action semantics #semantics
- An Action Semantics for MML (JMÁ, TC, AE, PS), pp. 2–18.
- LDTA-2001-DohM #programming language #semantics
- Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
- LDTA-2001-MenezesMCLR #action semantics #development #ide #semantics
- An Action Semantics Integrated Development Environment (LCdSM, HPdM, WC, FL, LR), pp. 157–160.
- CSCW-2000-KuzuokaOYSM #mobile #named
- GestureMan: a mobile robot that embodies a remote instructor’s actions (HK, SO, KY, KS, MM), pp. 155–162.
- CSCW-2000-KuzuokaOYYMS #mobile #named
- GestureMan: a mobile robot that embodies a remote instructor’s actions (HK, SO, KY, AY, MM, KS), p. 354.
- CSCW-2000-NardiWB #interactive
- Interaction and outeraction: instant messaging in action (BAN, SW, EB), pp. 79–88.
- ICEIS-2000-PetersHW #database #design #distributed #learning
- Action Learning in a Decentralized Organization-The Case of Designing a Distributed Database (SCAP, MSHH, CEW), pp. 519–520.
- ICML-2000-GrudicU #policy
- Localizing Policy Gradient Estimates to Action Transition (GZG, LHU), pp. 343–350.
- ICPR-v1-2000-FaselL #process #recognition #symmetry
- Recognition of Asymmetric Facial Action Unit Activities and Intensities (BF, JL), pp. 5100–5103.
- ICPR-v4-2000-NittaBK #approach #video
- Extracting Actors, Actions and Events from Sports Video — A Fundamental Approach to Story Tracking (NN, NB, TK), pp. 4718–4721.
- KR-2000-BaralMS #problem #using
- Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
- KR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability
- Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
- UML-2000-KleppeW #ocl
- Extending OCL to include Actions (AK, JW), pp. 440–450.
- ICSE-2000-Bultan #model checking #specification
- Action Language: a specification language for model checking reactive systems (TB), pp. 335–344.
- TestCom-2000-PetrenkoU #concurrent #testing #verification
- Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.
- ICDAR-1999-KacemBA #automation #named
- EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas (AK, AB, MBA), pp. 527–530.
- TACAS-1999-BraunKMS #online
- The ETI Online Service in Action (VB, JK, TMS, BS), pp. 439–443.
- CSMR-1999-LamLS #metric #requirements #using
- Managing Requirements Change Using Metrics and Action Planning (WL, ML, VS), pp. 122–129.
- HCI-EI-1999-HartsonAWR #classification #framework #problem #usability
- The User Action Framework: A Theory-Based Foundation for Inspection and Classification of Usability Problems (HRH, TSA, RCW, LvR), pp. 1058–1062.
- HCI-EI-1999-KotaniH
- Relationship between Size of Icons and Mouse Operating Force with Complex Actions during Pointing Tasks (KK, KH), pp. 412–415.
- TOOLS-USA-1999-MacgregorTW #programming #smalltalk
- Recording User Actions in a Smalltalk Programming Environment (MM, PT, MW), pp. 280–289.
- PADL-1999-Watson
- An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.
- ESEC-FSE-1999-GiannakopoulouMK #question
- Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
- TAGT-1998-VerlindenJ #framework
- A Framework for NLC and ESM: Local Action Systems (NV, DJ), pp. 194–214.
- CHI-1998-Lueg
- Supporting Situated Actions in High Volume Conversational Data Situations (CL), pp. 472–479.
- ICML-1998-SuttonPS #learning
- Intra-Option Learning about Temporally Abstract Actions (RSS, DP, SPS), pp. 556–564.
- ICPR-1998-ReesASCSBB #interactive #named
- CLICK-IT: interactive television highlighter for sports action replay (DR, JIA, NS, FC, SS, MdB, AB), pp. 1484–1487.
- ICPR-1998-WengH #learning #recognition #sequence
- Sensorimotor action sequence learning with application to face recognition under discourse (J(W, WSH), pp. 252–254.
- KR-1998-DohertyLM
- The PMA and Relativizing Minimal Change for Action Update (PD, WL, EMB), pp. 258–269.
- KR-1998-Liberatore #on the #reasoning
- On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
- KR-1998-McIlraith
- Explanatory Diagnosis: Conjecturing Actions to Explain Observations (SAM), pp. 167–179.
- KR-1998-Pinto #concurrent
- Concurrent Actions and Interacting Effects (JP), pp. 292–303.
- UML-1998-MellorTAL #execution #precise #semantics #uml
- An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
- REFSQ-1998-GoldkuhlA #information management #requirements
- Action Within Information Systems: Outline of a Requirements Engineering Method (GG, PJÅ), pp. 133–153.
- PODS-1997-LudascherML #logic
- Referential Actions as Logic Rules (BL, WM, GL), pp. 217–227.
- CHI-1997-DixML #communication
- Communication, Action and History (AJD, RM, SL), pp. 542–543.
- CHI-1997-HinckleyPPPK
- Cooperative Bimanual Action (KH, RFP, DP, JP, NFK), pp. 27–34.
- HCI-CC-1997-ZhangTS
- Show Actions in TV Conferencing (RZ, HT, YS), pp. 11–14.
- HCI-SEC-1997-Johannesson #distance #workflow
- Action Workflow Loops in Distance Education-Design Principles for Integrating CAL and CMC (PJ), pp. 185–188.
- HCI-SEC-1997-KitajimaP #human-computer #interactive
- Mapping Instructions onto Actions: A Comprehension-Based Model of Display-Based Human-Computer Interaction (MK, PGP), pp. 83–86.
- AdaEurope-1997-RomanovskyMW #ada #on the #programming
- On Programming Atomic Actions in Ada 95 (ABR, SEM, AJW), pp. 254–265.
- KDD-1997-AdomaviciusT #approach #database
- Discovery of Actionable Patterns in Databases: The Action Hierarchy Approach (GA, AT), pp. 111–114.
- ICSE-1997-LaneZ #approach #case study #experience #metric
- Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report) (JAL, DZ), pp. 380–389.
- ICSE-1997-Sullivan #design #problem #user interface
- The Windows 95 User Interface: Iterative Design and Problem Tracking in Action (KS), pp. 562–563.
- CSL-1997-BarberGHP #calculus #linear #logic
- From Action Calculi to Linear Logic (AB, PG, MH, GDP), pp. 78–97.
- ILPS-1997-BaralS #approximate #reasoning
- Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
- FME-1996-KasurinenS #specification
- Integrating Action Systems and Z in a Medical System Specification (VK, KS), pp. 105–119.
- FME-1996-WaldenS
- Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.
- CSCW-1996-DourishHMMZ #named #representation #workflow
- Freeflow: Mediating Between Representation and Action in Workflow Systems (PD, JH, AM, PM, AZ), pp. 190–198.
- ICPR-1996-BobickD #representation
- An appearance-based representation of action (AFB, JWD), pp. 307–312.
- ICPR-1996-HwangH #approach #using
- Performing temporal action with a hand-eye system using the SHOSLIF approach (WSH, SJH), pp. 35–39.
- KR-1996-GoldenW #representation #revisited
- Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.
- KR-1996-GustafssonD #specification
- Embracing Occlusion in Specifying the Indirect Effects of Actions (JG, PD), pp. 87–98.
- KR-1996-Reiter #calculus #concurrent
- Natural Actions, Concurrency and Continuous Time in the Situation Calculus (RR), pp. 2–13.
- PEPM-1995-Doh #partial evaluation
- Action Transformation by Partial Evaluation (KGD), pp. 230–240.
- DLT-1995-Galvez #lr #parsing #stack
- A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.
- ICML-1995-Benson #induction #learning #modelling
- Inductive Learning of Reactive Action Models (SB), pp. 47–54.
- ICML-1995-RaoGS #question
- For Every Generalization Action, Is There Really an Equal and Opposite Reaction? (RBR, DFG, WMS), pp. 471–479.
- SAC-1995-Fisher #logic programming #specification
- Logic program based action specifications (JRF), pp. 248–252.
- FME-1994-BackS #composition
- From Action Systems to Modular Systems (RJB, KS), pp. 1–25.
- FME-1994-MossesM #action semantics #concurrent #ml #semantics
- An Action Semantics for ML Concurrency Primitives (PDM, MM), pp. 461–479.
- CSCW-1994-Bowers #network
- The Work to Make a Network Work: Studying CSCW in Action (JB), pp. 287–298.
- CSCW-1994-MichelisG
- Situating Conversations Within the Language/Action Perspective: The Milan Conversation Model (GDM, MAG), pp. 89–100.
- KR-1994-ArtaleF #logic
- A Computational Account for a Description Logic of Time and Action (AA, EF), pp. 3–14.
- KR-1994-Eugenio #natural language #representation
- Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.
- KR-1994-KarthaL
- Actions with Indirect Effects (Preliminary Report) (GNK, VL), pp. 341–350.
- KR-1994-McCarty
- Modalities Over Actions, I. Model Theory (LTM), pp. 437–448.
- PLILP-1994-RodriguesB #logic #named #programming
- PROMAL — Programming in Modal Action Logic (OR, MRFB), pp. 457–458.
- CC-1994-MouraW #compilation #generative
- Action Transformations in the ACTRESS Compiler Generator (HM, DAW), pp. 16–60.
- CC-1994-Orbaek #compilation #generative #named #optimisation
- OASIS: An Optimizing Action-Based Compiler Generator (PØ), pp. 1–15.
- ICLP-1994-Thielscher #equation #logic programming #representation
- Representing Actions in Equational Logic Programming (MT), pp. 207–224.
- FPCA-1993-BondorfP #compilation #partial evaluation
- Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.
- HCI-ACS-1993-Barnard #design #modelling #research
- Modelling Users, Systems and Design Spaces (Esprit Basic Research Action 3066) (PJB), pp. 331–336.
- HCI-ACS-1993-ChasePHH #case study #documentation #using
- Task-Oriented User Documentation Using the User Action Notation: A Case Study (JDC, MP, HRH, DH), pp. 421–426.
- HCI-SHI-1993-ChaseC #object-oriented
- The Effect of Direction on Object-Oriented Cursor Control Actions (JDC, SPC), pp. 231–236.
- INTERCHI-1993-McKerlieM #design #using
- QOC in action (abstract): using design rationale to support design (DM, AM), p. 519.
- ICML-1993-DanylukP #fault #learning #network
- Small Disjuncts in Action: Learning to Diagnose Errors in the Local Loop of the Telephone Network (APD, FJP), pp. 81–88.
- SEKE-1993-Paterno #logic #user interface #using
- Definition of Properties of User Interfaces Using Action-Based Temporal Logic (FP), pp. 314–318.
- SEKE-1993-TimpkaNSJ #design #modelling #process
- Action Design: From Modeling To Support of the Software Process (TT, JMN, CS, MJ), pp. 629–636.
- CSL-1993-Milner #calculus #higher-order
- Higher-Order Action Calculi (RM), pp. 238–260.
- ICLP-1993-Dung #database #logic programming #representation
- Representing Actions in Logic Programming and Its Applications in Database Updates (PMD), pp. 222–238.
- ILPS-1993-HolldoblerT
- Actions and Specificity (SH, MT), pp. 164–180.
- ILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
- Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.
- SIGMOD-1992-Hanson #execution #testing
- Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
- ESOP-1992-DohS #action semantics #semantics #type system
- Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.
- CHI-1992-RussellXW #design #flexibility #human-computer #interface #process
- Action Assignable Graphics: A Flexible Human-Computer Interface Design Process (MDR, HX, LW), pp. 71–72.
- CSCW-1992-Medina-MoraWFF #approach #workflow
- The Action Workflow Approach to Workflow Management Technology (RMM, TW, RF, FF), pp. 281–288.
- CSCW-1992-PrakashK #collaboration
- Undoing Actions in Collaborative Work (AP, MJK), pp. 273–280.
- TRI-Ada-T2-1992-MogilenskyM #assessment #implementation #process
- After the Assessment: Preparing and Implementing a Process Improvement Action Plan (JM, MM), pp. 590–624.
- KR-1992-FriedrichN #modelling
- Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems (GF, WN), pp. 489–498.
- KR-1992-GoldszmidtP #approach #reasoning
- Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.
- KR-1992-McCartyM #reasoning
- Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
- ML-1992-Mahadevan #learning #modelling #probability
- Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions (SM), pp. 290–299.
- ECOOP-1992-GuerraouiCLR #message passing #protocol
- Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
- PLILP-1992-Moura #action semantics #implementation #semantics
- An Implementation of Action Semantics (Summaray) (HM), pp. 477–478.
- CC-1992-BrownMW #action semantics #compilation #generative #named #semantics
- Actress: An Action Semantics Directed Compiler Generator (DFB, HM, DAW), pp. 95–109.
- JICSLP-1992-GelfondL #logic programming #representation
- Representing Actions in Extended Logic Programming (MG, VL), pp. 559–573.
- JICSLP-1992-GrosseHSST #equation #logic programming
- Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.
- PODS-1991-Tsur #database #deduction
- Deductive Databases in Action (ST), pp. 142–153.
- ICALP-1991-AcetoH #algebra #finite #process #refinement
- Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
- CHI-1991-HowesY #predict
- Predicting the learnability of task-action mappings (AH, RMY), pp. 113–118.
- CHI-1991-WroblewskiMH #named
- DETENTE: practical support for practical action (DAW, TPM, WCH), pp. 195–202.
- KR-1991-Ginsberg #reasoning
- Computational Considerations in Reasoning about Action (MLG), pp. 250–261.
- KR-1991-Haddawy #logic #probability #representation
- A Temporal Probability Logic for Representing Actions (PH), pp. 313–324.
- KR-1991-Lifschitz #towards
- Toward a Metatheory of Action (VL), pp. 376–386.
- ML-1991-Brand #learning
- Decision-Theoretic Learning in an Action System (MB), pp. 283–287.
- ML-1991-CobbG #learning #persistent
- Learning the Persistence of Actions in Reactive Control Rules (HGC, JJG), pp. 292–297.
- ML-1991-Pierce #learning #set
- Learning a Set of Primitive Actions with an Uninterpreted Sensorimotor Apparatus (DRP), pp. 338–342.
- ML-1991-Walczak #induction #performance #predict
- Predicting Actions from Induction on Past Performance (SW), pp. 275–279.
- ECOOP-1991-Neusius
- Synchronizing Actions (CN), pp. 118–132.
- CAV-1991-NicolaFGR #behaviour #concurrent #framework #logic #verification
- An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (RDN, AF, SG, GR), pp. 37–47.
- ISLP-1991-Meyden #logic #specification
- A Clausal Logic for Deontic Action Specification (RvdM), pp. 221–238.
- LICS-1991-HuttelS #process #proving #similarity #word
- Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes (HH, CS), pp. 376–386.
- ESOP-1990-EvenS #action semantics #semantics #type inference
- Type Inference for Action Semantics (SE, DAS), pp. 118–133.
- GG-1990-Engels #database
- Elementary Actions on an Extended Entity-Relationship Database (GE), pp. 344–362.
- CAiSE-1990-Nielsen #automation
- CASE in Action: IEF at Nykredt (JGN), p. 2.
- LICS-1990-GoldmanL #modelling
- Modelling Shared State in a Shared Action Model (KJG, NAL), pp. 450–463.
- CHI-1989-FrohlichL
- Conversational resources for situated action (DMF, PL), pp. 253–258.
- CHI-1989-LerchMO #cost analysis
- Skilled financial planning: the cost of translating ideas into action (FJL, MMM, JRO), pp. 121–126.
- LICS-1989-AcetoH #algebra #process #towards
- Towards Action-Refinement in Process Algebras (LA, MH), pp. 138–145.
- PLDI-1987-HuguetLT #architecture #generative #metric
- A block-and-actions generator as an alternative to a simulator for collecting architecture measurements (MH, TL, YT), pp. 14–25.
- ICALP-1987-GrafS #process #semantics
- Readiness Semantics for Regular Processes with Silent Actions (SG, JS), pp. 115–125.
- ECOOP-1987-KristensenMMN #classification #inheritance
- Classification of Actions, or Inheritance also for Methods (BBK, OLM, BMP, KN), pp. 98–107.
- ESEC-1987-BelkhatirE #constraints #database
- Software Management Constraints and Action Triggering in the Adele Program Database (NB, JE), pp. 44–54.
- CSCW-1986-Winograd #design
- A language/action perspective on the design of cooperative work (TW), pp. 203–220.
- SOSP-1985-OkiLS #reliability
- Reliable Object Storage to Support Atomic Actions (BMO, BL, RS), pp. 147–159.
- POPL-1982-LiskovS #distributed #robust #source code
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs (BL, RS), pp. 7–19.
- DAC-1981-Nash
- Government actions to increase CAD software productivity (DCN), p. 342.
- DAC-1981-X #design
- Plant design management system (PDMS) in action, p. 74.
- SOSP-1979-Reed #distributed #implementation
- Implementing Atomic Actions on Decentralized Data (DPR), p. 163.
- ICSE-1976-AndersonK #reliability
- Recovery Blocks in Action: A System Supporting High Reliability (TA, RK), pp. 447–457.