BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
recognit (76)
human (64)
use (54)
base (54)
model (51)

Stem action$ (all stems)

495 papers:

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

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