Stem tempor$ (all stems)

1040 papers:

DAC-2015-BeckertE #design #independence #realtime

Designing time partitions for real-time hypervisor with sufficient temporal independence (MB, RE), p. 6.

DAC-2015-TodmanSL #configuration management #design #monitoring #runtime #verification

In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.

DATE-2015-KuhnPABR

Spatial and temporal granularity limits of body biasing in UTBB-FDSOI (JMK, DP, HA, OB, WR), pp. 876–879.

DocEng-2015-SantosBMRL #documentation #multi #validation

Spatio-temporal Validation of Multimedia Documents (JAFdS, CB, DCMS, CR, NL), pp. 133–142.

SIGMOD-2015-ChristensenWLYT #named #online #reasoning #scalability

STORM: Spatio-Temporal Online Reasoning and Management of Large Spatio-Temporal Data (RC, LW, FL, KY, JT, NV), pp. 1111–1116.

SIGMOD-2015-HuangFL #graph

Minimum Spanning Trees in Temporal Graphs (SH, AWCF, RL), pp. 419–430.

SIGMOD-2015-HuaZZ #microblog #social

Microblog Entity Linking with Social Temporal Context (WH, KZ, XZ), pp. 1761–1775.

SIGMOD-2015-LiLHT #profiling

Linking Temporal Records for Profiling Entities (FL, MLL, WH, WCT), pp. 593–605.

SIGMOD-2015-MytilinisGKDTTG #distributed #framework #named #network #social

MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.

FoSSaCS-2015-BozzelliMP #logic

Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.

MSR-2015-HabayebMMBB #dataset #fault

The Firefox Temporal Defect Dataset (MH, AVM, SSM, LB, AB), pp. 498–501.

ICALP-v1-2015-Erlebach0K #graph #on the

On Temporal Graph Exploration (TE, MH, FK), pp. 444–455.

FM-2015-DangDP #logic #parametricity #specification #synthesis

Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.

CSCW-2015-KusunokiS #design

Designing for Temporal Awareness: The Role of Temporality in Time-Critical Medical Teamwork (DSK, AS), pp. 1465–1476.

CSCW-2015-MarkICJ #multi

Focused, Aroused, but so Distractible: Temporal Perspectives on Multitasking and Communications (GM, STI, MC, PJ), pp. 903–916.

CSCW-2015-MazmanianEH #logic

Circumscribed Time and Porous Time: Logics as a Way of Studying Temporality (MM, IE, EH), pp. 1453–1464.

DUXU-UI-2015-Nawrot #data analysis #difference #gender #question #towards #women

Gender Differences in Temporal Data Analysis — Toward Women or Men Empowerment? (IN), pp. 232–242.

ICEIS-v2-2015-FellaBB #composition #constraints #web #web service

Temporal Constraint in Web Service Composition (BF, SB, AB), pp. 577–584.

ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using

Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.

ECIR-2015-KimVBR #clustering #multi

Temporal Multinomial Mixture for Instance-Oriented Evolutionary Clustering (YMK, JV, SB, MAR), pp. 593–604.

ECIR-2015-LiangCC #approach #detection #social #social media

A Noise-Filtering Approach for Spatio-temporal Event Detection in Social Media (YL, JC, CC), pp. 233–244.

ECIR-2015-LimCLK #community #constraints #detection #using

Detecting Location-Centric Communities Using Social-Spatial Links with Temporal Constraints (KHL, JC, CL, SK), pp. 489–494.

ECIR-2015-RaoLE #feedback #twitter

Reproducible Experiments on Lexical and Temporal Feedback for Tweet Search (JR, JL, ME), pp. 755–767.

ECIR-2015-VuWTS #personalisation #topic

Temporal Latent Topic User Profiles for Search Personalisation (TTV, AW, SNT, DS), pp. 605–616.

ICML-2015-GongZSTG

Discovering Temporal Causal Relations from Subsampled Data (MG, KZ, BS, DT, PG), pp. 1898–1906.

KDD-2015-CostaYTTF #mining #modelling #named #process #social #social media

RSC: Mining and Modeling Temporal Activity in Social Media (AFC, YY, AJMT, CTJ, CF), pp. 269–278.

KDD-2015-LiuWHX #framework #graph #health

Temporal Phenotyping from Longitudinal Electronic Health Records: A Graph Based Framework (CL, FW, JH, HX), pp. 705–714.

KDD-2015-XuSB #learning #predict

Longitudinal LASSO: Jointly Learning Features and Temporal Contingency for Outcome Prediction (TX, JS, JB), pp. 1345–1354.

KDD-2015-ZhaoSYCLR #learning #multi

Multi-Task Learning for Spatio-Temporal Event Forecasting (LZ, QS, JY, FC, CTL, NR), pp. 1503–1512.

KDD-2015-ZhouM #approach #kernel #predict

Predicting Ambulance Demand: a Spatio-Temporal Kernel Approach (ZZ, DSM), pp. 2297–2303.

RecSys-2015-GriesnerAN #matrix #recommendation #towards

POI Recommendation: Towards Fused Matrix Factorization with Geographical and Temporal Influences (JBG, TA, HN), pp. 301–304.

SIGIR-2015-Hasanuzzaman0DF #comprehension #query

Understanding Temporal Query Intent (MH, SS, GD, SF), pp. 823–826.

SAC-2015-AbbesPHB #documentation

Leveraging temporal expressions to filter vital documents related to an entity (RA, KPS, NH, MB), pp. 1093–1098.

SAC-2015-RaniseTV #analysis #automation #constraints #policy

Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.

SAC-2015-SioutisSC #composition #graph #on the #reasoning

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning (MS, YS, JFC), pp. 1874–1879.

ICSE-v1-2015-LeeMJ #ide #named

Tempura: Temporal Dimension for IDEs (YYL, DM, REJ), pp. 212–222.

ICSE-v1-2015-RegisDDA #logic #specification

Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.

ICSE-v2-2015-Lemieux #invariant #mining

Mining Temporal Properties of Data Invariants (CL), pp. 751–753.

ASPLOS-2015-MorrisonA #bound #symmetry

Temporally Bounding TSO for Fence-Free Asymmetric Synchronization (AM, YA), pp. 45–58.

HPCA-2015-LengZR #architecture #gpu

GPU voltage noise: Characterization and hierarchical smoothing of spatial and temporal voltage noise interference in GPU architectures (JL, YZ, VJR), pp. 161–173.

CSL-2015-CarapelleL #constraints #logic

Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.

CSL-2015-MolinariMP #logic #model checking

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.

ICLP-J-2015-CabalarDV #encoding #equilibrium #logic

An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.

LICS-2015-BozzelliP #complexity #equilibrium #logic #on the

On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.

VMCAI-2015-UrbanM #abstract interpretation #proving

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.

DAC-2014-BeckertNEP #independence #realtime

Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor (MB, MN, RE, SMP), p. 6.

DATE-2014-RahimiBG #energy #fault

Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.

HT-2014-Ahlers #quality

Spatio-temporal quality issues for local search (DA), pp. 297–299.

SIGMOD-2014-ChiangDN #evolution #modelling

Modeling entity evolution for temporal record matching (YHC, AD, JFN), pp. 1175–1186.

SIGMOD-2014-EmrichFKNRZ #framework #nondeterminism

An extendable framework for managing uncertain spatio-temporal data (TE, MF, HPK, JN, MR, AZ), pp. 1087–1090.

SIGMOD-2014-Musleh #analysis #twitter #visual notation

Spatio-temporal visual analysis for event-specific tweets (MM), pp. 1611–1612.

SIGMOD-2014-YinCCHH #behaviour #modelling #social #social media

A temporal context-aware model for user behavior modeling in social media systems (HY, BC, LC, ZH, ZH), pp. 1543–1554.

SIGMOD-2014-ZhangYFLY #named #realtime #scalability

OceanRT: real-time analytics over large temporal data (SZ, YY, WF, LL, MY), pp. 1099–1102.

VLDB-2014-ChiangDN #algorithm #performance

Tracking Entities in the Dynamic World: A Fast Algorithm for Matching Temporal Records (YHC, AD, JFN), pp. 469–480.

VLDB-2014-WuCHKLX #graph #problem

Path Problems in Temporal Graphs (HW, JC, SH, YK, YL, YX), pp. 721–732.

VLDB-2014-ZhangYFW #design #implementation #interactive #realtime #scalability

Design and Implementation of a Real-Time Interactive Analytics System for Large Spatio-Temporal Data (SZ, YY, WF, MW), pp. 1754–1759.

VLDB-2015-AlexeRT14 #integration

Preference-aware Integration of Temporal Data (BA, MR, WCT), pp. 365–376.

VLDB-2015-ZhangWWY14 #behaviour #predict #social

Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction (JZ, CW, JW, JXY), pp. 269–280.

TACAS-2014-BozzanoCGT #component #design #detection #fault #identification #logic #using

Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic (MB, AC, MG, ST), pp. 326–340.

TACAS-2014-ReinbacherRS #health #realtime #runtime

Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.

ICALP-v2-2014-BundalaO #complexity #on the

On the Complexity of Temporal-Logic Path Checking (DB, JO), pp. 86–97.

LATA-2014-FinkbeinerT #linear #logic #modelling

Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.

LATA-2014-KlaudelKD #algebra #logic #semantics

Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.

FM-2014-DuggiralaWMVM #modelling #parallel #precedence #protocol

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.

FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime

Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.

FM-2014-SanatiMM #decidability #guidelines #logic #metric #using

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.

SEFM-2014-BianculliGK #logic #metric #pipes and filters #using

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.

CHI-2014-CraggsSA #crowdsourcing #named #query #semantics #video #web

ThumbReels: query sensitive web video previews based on temporal, crowdsourced, semantic tagging (BC, MKS, JA), pp. 1217–1220.

CHI-2014-ObristCSPVS #case study #design #experience #framework

Temporal, affective, and embodied characteristics of taste experiences: a framework for design (MO, RC, SS, BPF, CV, CS), pp. 2853–2862.

CHI-2014-PerinVF #exclamation #navigation #ranking

A table!: improving temporal navigation in soccer ranking tables (CP, RV, JDF), pp. 887–896.

CSCW-2014-SteinhardtJ #collaboration

Reconciling rhythms: plans and temporal alignment in collaborative scientific work (SBS, SJJ), pp. 134–145.

CIKM-2014-CamposDJN #named #query

GTE-Rank: Searching for Implicit Temporal Query Results (RC, GD, AMJ, CN), pp. 2081–2083.

CIKM-2014-CuiYH #independence

Non-independent Cascade Formation: Temporal and Spatial Effects (BC, SJY, CH), pp. 1923–1926.

CIKM-2014-DavletovAC #predict #using

High Impact Academic Paper Prediction Using Temporal and Topological Features (FD, ASA, AC), pp. 491–498.

CIKM-2014-KimTS

Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.

CIKM-2014-YuanCS #graph #recommendation

Graph-based Point-of-interest Recommendation with Geographical and Temporal Influences (QY, GC, AS), pp. 659–668.

ECIR-2014-BrucatoM #information retrieval #metric

Metric Spaces for Temporal Information Retrieval (MB, DM), pp. 385–397.

ECIR-2014-CamposDJN #clustering #interface #named #query

GTE-Cluster: A Temporal Search Interface for Implicit Temporal Queries (RC, GD, AMJ, CN), pp. 775–779.

ECIR-2014-CraveiroMM #query

Query Expansion with Temporal Segmented Texts (OC, JM, HM), pp. 612–617.

ECIR-2014-RybakBN #profiling

Temporal Expertise Profiling (JR, KB, KN), pp. 540–546.

ICML-c2-2014-MittelmanKSL #strict

Structured Recurrent Temporal Restricted Boltzmann Machines (RM, BK, SS, HL), pp. 1647–1655.

ICPR-2014-AbuzainaNC #3d #re-engineering

3D Moving Object Reconstruction by Temporal Accumulation (AA, MSN, JNC), pp. 2125–2130.

ICPR-2014-BagheriZ #video

Temporal Mapping of Surveillance Video (SB, JYZ), pp. 4128–4133.

ICPR-2014-BloomMA #clustering #online #recognition

Clustered Spatio-temporal Manifolds for Online Action Recognition (VB, DM, VA), pp. 3963–3968.

ICPR-2014-BrownFP #detection #self #using

Temporal Non-maximum Suppression for Pedestrian Detection Using Self-Calibration (LMGB, RSF, SP), pp. 2239–2244.

ICPR-2014-FrancoMT #recognition

Spatio-temporal Keypoints for Video-Based Face Recognition (AF, DM, FT), pp. 489–494.

ICPR-2014-GongWLT #consistency #video

Temporal Consistency Based Method for Blind Video Deblurring (WG, WW, WL, ST), pp. 861–864.

ICPR-2014-LiCGW #hybrid #interactive #recognition #using

A Hybrid Method for Human Interaction Recognition Using Spatio-temporal Interest Points (NL, XC, HG, ZW), pp. 2513–2518.

ICPR-2014-LiuFW #keyword

Audio-visual Keyword Spotting for Mandarin Based on Discriminative Local Spatial-Temporal Descriptors (HL, TF, PW), pp. 785–790.

ICPR-2014-LuWMST #detection #modelling

Anomaly Detection through Spatio-temporal Context Modeling in Crowded Scenes (TL, LW, XM, PS, CLT), pp. 2203–2208.

ICPR-2014-MavadatiM #automation #metric #modelling

Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.

ICPR-2014-MuddamsettySTM #detection #using

Spatio-temporal Saliency Detection in Dynamic Scenes Using Local Binary Patterns (SMM, DS, AT, FM), pp. 2353–2358.

ICPR-2014-PanagiotakisAM #animation #novel #segmentation

Temporal Segmentation and Seamless Stitching of Motion Patterns for Synthesizing Novel Animations of Periodic Dances (CP, AAA, DM), pp. 1892–1897.

ICPR-2014-PlanincK #modelling

Combining Spatial and Temporal Information for Inactivity Modeling (RP, MK), pp. 4234–4239.

ICPR-2014-PuZ #algorithm #segmentation #video

Sandwich Cut: An Algorithm for Temporally-Coherent Video Bilayer Segmentation (SP, HZ), pp. 1061–1066.

ICPR-2014-ZamalievaYD #geometry

Exploiting Temporal Geometry for Moving Camera Background Subtraction (DZ, AY, JWD), pp. 1200–1205.

ICPR-2014-ZhouIWBPKO #learning #performance

Transfer Learning of a Temporal Bone Performance Model via Anatomical Feature Registration (YZ, II, SNRW, JB, PP, GK, SO), pp. 1916–1921.

KDD-2014-AcsC #case study #privacy

A case study: privacy preserving release of spatio-temporal density in paris (GÁ, CC), pp. 1679–1688.

KDD-2014-ChengB0 #approach #dependence #effectiveness #named

FBLG: a simple and effective approach for temporal dependence discovery from time series data (DC, MTB, YL), pp. 382–391.

KDD-2014-GhalwashRO #nondeterminism

Utilizing temporal patterns for estimating uncertainty in interpretable early decision making (MFG, VR, ZO), pp. 402–411.

KDD-2014-LiuZXJ0 #categorisation #visualisation

Temporal skeletonization on sequential data: patterns, categorization, and visualization (CL, KZ, HX, GJ, QY), pp. 1336–1345.

KDD-2014-WuZTH0 #crowdsourcing #modelling #personalisation #topic #using #video

Crowdsourced time-sync video tagging using temporal and personalized topic modeling (BW, EZ, BT, AH, QY), pp. 721–730.

KDIR-2014-MaWQ #parsing

Time Phrase Parsing for Chinese Text with HowNet Temporal Information Structure (HmM, XyW, LQ), pp. 294–299.

KR-2014-Belardinelli #logic #satisfiability

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).

KR-2014-CabalarD #equivalence

Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).

KR-2014-HuangM #logic

A Temporal Logic of Strategic Knowledge (XH, RvdM).

MLDM-2014-MazzolaCTP #string

Resolution of Geographical String Name through Spatio-Temporal Information (LM, PC, AT, MP), pp. 498–512.

RecSys-2014-PalovicsBKKF #online #recommendation

Exploiting temporal influence in online recommendation (RP, AAB, LK, TK, EF), pp. 273–280.

SIGIR-2014-CeroniTKN #using

Bridging temporal context gaps using time-aware re-contextualization (AC, NKT, NK, CN), pp. 1127–1130.

SIGIR-2014-CostaCS #learning #modelling #ranking

Learning temporal-dependent ranking models (MC, FMC, MJS), pp. 757–766.

SIGIR-2014-DamH #scalability #topic #verification

Large-scale author verification: temporal and topical influences (MvD, CH), pp. 1039–1042.

SIGIR-2014-EfronLHV #estimation #feedback #parametricity #twitter

Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.

SIGIR-2014-LiS #fine-grained #twitter

Fine-grained location extraction from tweets with temporal awareness (CL, AS), pp. 43–52.

ECMFA-2014-DouBB #named #ocl

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.

PPDP-2014-GiavittoE #realtime

Real-Time Matching of Antescofo Temporal Patterns (JLG, JE), pp. 93–104.

SAC-2014-KleffmannBHG #automation #interactive #navigation #scalability #sketching #version control

Automated versioning and temporal navigation for model sketches on large interactive displays (MK, MB, EH, VG), pp. 161–168.

SAC-2014-RaigozaS

Temporal join processing with hilbert curve space mapping (JR, JS), pp. 839–844.

ICSE-2014-WagstromD #development #scalability

Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project (PW, SD), pp. 199–210.

SLE-J-2012-KansoT #ocl #specification

Specification of temporal properties with OCL (BK, ST), pp. 527–551.

HPCA-2014-AwadS #behaviour #memory management #named

STM: Cloning the spatial and temporal memory access behavior (AA, YS), pp. 237–247.

CAV-2014-BozianuDF #specification #synthesis

Safraless Synthesis for Epistemic Temporal Specifications (RB, CD, EF), pp. 441–456.

CAV-2014-ChowdhuryJGD #monitoring #policy #privacy #runtime

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.

ICLP-J-2014-CominiTV #linear #logic #using

Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.

IJCAR-2014-AvniKT #game studies #reachability #specification

From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.

IJCAR-2014-BozzelliS #linear #logic

Visibly Linear Temporal Logic (LB, CS), pp. 418–433.

IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.

IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.

IJCAR-2014-JeanninP #difference #hybrid #logic #named

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.

IJCAR-2014-Zhang #encoding #verification

QBF Encoding of Temporal Properties and QBF-Based Verification (WZ), pp. 224–239.

ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using

Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.

LICS-CSL-2014-AsarinBDDM #behaviour #logic

Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.

LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring

Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.

LICS-CSL-2014-KoskinenT #reasoning

Local temporal reasoning (EK, TT), p. 10.

VMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity

Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.

ASE-2013-CimattiDT #contract #named #refinement

OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.

DAC-2013-LiSARHP #adaptation #embedded #fault #named #runtime

RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.

DATE-2013-HelmstetterCGMV #performance #simulation #using

Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications (CH, JC, BG, MM, PV), pp. 1185–1188.

DATE-2013-LuMS13a #estimation

Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.

HT-2013-RuoccoR #image #proximity

Exploring temporal proximity and spatial distribution of terms in web-based search of event-related images (MR, HR), pp. 248–252.

ICDAR-2013-PhanSLT #integration #recognition #video

Recognition of Video Text through Temporal Integration (TQP, PS, TL, CLT), pp. 589–593.

SIGMOD-2013-KaufmannMVFKFM #data type #query #timeline

Timeline index: a unified data structure for processing queries on temporal data in SAP HANA (MK, AAM, PV, PMF, DK, FF, NM), pp. 1173–1184.

SIGMOD-2013-KhuranaD #named #network #scalability

HiNGE: enabling temporal network analytics at scale (UK, AD), pp. 1089–1092.

SIGMOD-2013-LappasVGT #mining #named #process

STEM: a spatio-temporal miner for bursty activity (TL, MRV, DG, VJT), pp. 1021–1024.

SIGMOD-2013-LeLTC #database #multi

Optimal splitters for temporal and multi-version databases (WL, FL, YT, RC), pp. 109–120.

VLDB-2013-0002GJ #correlation #markov #modelling #using

Travel Cost Inference from Sparse, Spatio-Temporally Correlated Time Series Using Markov Models (BY, CG, CSJ), pp. 769–780.

VLDB-2013-ChenYYC #named #recommendation #twitter

TeRec: A Temporal Recommender System Over Tweet Stream (CC, HY, JY, BC), pp. 1254–1257.

VLDB-2013-DyllaMT #database #information management

A Temporal-Probabilistic Database Model for Information Extraction (MD, IM, MT), pp. 1810–1821.

VLDB-2013-Kaufmann #in memory #memory management

Storing and Processing Temporal Data in a Main Memory Column Store (MK), pp. 1444–1449.

VLDB-2013-KaufmannVFKF #interactive #query

Comprehensive and Interactive Temporal Query Processing with SAP HANA (MK, PV, PMF, DK, FF), pp. 1210–1213.

ICALP-v2-2013-MertziosMCS #constraints #network #optimisation

Temporal Network Optimization Subject to Connectivity Constraints (GBM, OM, IC, PGS), pp. 657–668.

LATA-2013-Quaas #automaton #logic #metric #model checking

Model Checking Metric Temporal Logic over Automata with One Counter (KQ), pp. 468–479.

CHI-2013-Lundgren #interactive

Toying with time: considering temporal themes in interactive artifacts (SL), pp. 1639–1648.

CHI-2013-MonroeLOSPM #approach #challenge #query #specification #visual notation

The challenges of specifying intervals and absences in temporal queries: a graphical language approach (MM, RL, JMdO, BS, CP, JM), pp. 2349–2358.

DHM-HB-2013-RichterZF #dependence

Temporal Dependence of Trapezius Muscle Activation during Sustained Eye-Lens Accommodation at Near (HOR, CZ, MF), pp. 269–275.

CAiSE-2013-TaghiabadiFDA #requirements

Diagnostic Information for Compliance Checking of Temporal Compliance Requirements (ERT, DF, BFvD, WMPvdA), pp. 304–320.

CIKM-2013-ArdonBMRSTT #analysis #topic #twitter

Spatio-temporal and events based analysis of topic popularity in twitter (SA, AB, AM, AR, AS, RMT, ST), pp. 219–228.

CIKM-2013-ChenCC #network #query

Spatial-temporal query homogeneity for KNN object search on road networks (YJC, KTC, MSC), pp. 1019–1028.

CIKM-2013-KamathC #learning #predict #what

Spatio-temporal meme prediction: learning what hashtags will be popular where (KYK, JC), pp. 1341–1350.

CIKM-2013-StrotgenG #proximity #query #ranking

Proximity2-aware ranking for textual, temporal, and geographic queries (JS, MG), pp. 739–744.

ECIR-2013-MiyanishiSU #microblog #topic

Combining Recency and Topic-Dependent Temporal Variation for Microblog Search (TM, KS, KU), pp. 331–343.

ECIR-2013-PeetzR #documentation

Cognitive Temporal Document Priors (MHP, MdR), pp. 318–330.

ECIR-2013-ZhouWJL #evaluation #variability

The Impact of Temporal Intent Variability on Diversity Evaluation (KZ, SW, JMJ, ML), pp. 820–823.

ICML-c3-2013-HerlauMS #evolution #modelling #multi #network

Modeling Temporal Evolution and Multiscale Structure in Networks (TH, MM, MNS), pp. 960–968.

ICML-c3-2013-KoppulaS #detection #learning #process

Learning Spatio-Temporal Structure from RGB-D Videos for Human Activity Detection and Anticipation (HSK, AS), pp. 792–800.

ICML-c3-2013-TamarCM #difference

Temporal Difference Methods for the Variance of the Reward To Go (AT, DDC, SM), pp. 495–503.

KDD-2013-RobardetSPF #dependence

When TEDDY meets GrizzLY: temporal dependency discovery for triggering road deicing operations (CR, VMS, MP, AF), pp. 1490–1493.

KDD-2013-YuanCMSM #topic #twitter #what

Who, where, when and what: discover spatio-temporal topics for twitter users (QY, GC, ZM, AS, NMT), pp. 605–613.

RecSys-2013-GaoTHL #network #recommendation #social

Exploring temporal effects for location recommendation on location-based social networks (HG, JT, XH, HL), pp. 93–100.

SIGIR-2013-Efron #information retrieval #query #representation

Query representation for cross-temporal information retrieval (ME), pp. 383–392.

SIGIR-2013-WhitingZJL #multi

Temporal variance of intents in multi-faceted event-driven information needs (SW, KZ, JMJ, ML), pp. 989–992.

QAPL-2013-Schuppan #ltl #satisfiability

Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance (VS), pp. 49–65.

ICSE-2013-LeeHKM #code completion #navigation

Temporal code completion and navigation (YYL, SH, SK, DM), pp. 1181–1184.

ICSE-2013-LiuYCY #monitoring #novel #parallel #process

Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.

CADE-2013-BaaderBL #data access #ontology

Temporalizing Ontology-Based Data Access (FB, SB, ML), pp. 330–344.

CADE-2013-WilliamsK #problem #proving #reduction #satisfiability

Propositional Temporal Proving with Reductions to a SAT Problem (RW, BK), pp. 421–435.

CSL-2013-HampsonK #first-order #linear #logic

One-variable first-order linear temporal logics with counting (CH, AK), pp. 348–362.

CSL-2013-Hunter #logic #metric #question

When is Metric Temporal Logic Expressively Complete? (PH), pp. 380–394.

ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification

Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.

LICS-2013-BenerecettiMM #logic

Substructure Temporal Logic (MB, FM, AM), pp. 368–377.

LICS-2013-HunterOW #logic #metric

Expressive Completeness for Metric Temporal Logic (PH, JO, JW), pp. 349–357.

SIGMOD-2012-DignosBG

Temporal alignment (AD, MHB, JG), pp. 433–444.

SIGMOD-2012-XueYC

Temporal provenance discovery in micro-blog message streams (abstract only) (ZX, JY, BC), p. 864.

VLDB-2012-JestesPLT #ranking #scalability

Ranking Large Temporal Data (JJ, JMP, FL, MT), pp. 1412–1423.

VLDB-2012-LiWTDLMS #named

Chronos: Facilitating History Discovery by Linking Temporal Records (PL, HW, CT, XLD, XL, AM, DS), pp. 2006–2009.

FoSSaCS-2012-PreugschatW #automaton #effectiveness #logic #using

Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata (SP, TW), pp. 135–149.

WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier

Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.

FM-2012-DormoyKL #component #configuration management #refinement

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.

CHI-2012-KarrerWB #named #navigation #video

DragLocks: handling temporal ambiguities in direct manipulation video navigation (TK, MW, JOB), pp. 623–626.

CHI-2012-SongQ #representation

Representing “too small to see” as “too small to see” with temporal representation (MS, CQ), pp. 1441–1450.

CSCW-2012-BarksdaleICHJRV #distributed #thread #video

Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.

CSCW-2012-PalMK #identification

Question temporality: identification and uses (AP, JM, JAK), pp. 257–260.

ICEIS-v1-2012-AndradeBS #retrieval

A Temporal Search Engine to Improve Geographic Data Retrieval in Spatial Data Infrastructures (FGdA, CdSB, US), pp. 56–65.

ICEIS-v1-2012-LouatiBDS #behaviour #database #modelling #realtime

Modeling Structural, Temporal and Behavioral Features of a Real-Time Database (NL, RB, CD, BS), pp. 119–125.

CIKM-2012-ChoiC #microblog #modelling

Temporal models for microblogs (JC, WBC), pp. 2491–2494.

CIKM-2012-EmrichKMRZ #nondeterminism

Indexing uncertain spatio-temporal data (TE, HPK, NM, MR, AZ), pp. 395–404.

CIKM-2012-HuHXLUZ #analysis #mining

Finding nuggets in IP portfolios: core patent mining through textual temporal analysis (PH, MH, PX, WL, AKU, XZ), pp. 1819–1823.

CIKM-2012-KanhabuaRSN #microblog

Supporting temporal analytics for health-related events in microblogs (NK, SR, AS, WN), pp. 2686–2688.

CIKM-2012-SiposSSJ #corpus #summary #using #word

Temporal corpus summarization using submodular word coverage (RS, AS, PS, TJ), pp. 754–763.

CIKM-2012-TalukdarWM #constraints

Acquiring temporal constraints between relations (PPT, DTW, TMM), pp. 992–1001.

CIKM-2012-TanLN #data analysis #named

CloST: a hadoop-based storage system for big spatio-temporal data analytics (HT, WL, LMN), pp. 2139–2143.

CIKM-2012-WangSE #correlation #retrieval #video

Improving bag-of-visual-words model with spatial-temporal correlation for video retrieval (LW, DS, EE), pp. 1303–1312.

ECIR-2012-PeetzMRW #adaptation #modelling #query

Adaptive Temporal Query Modeling (MHP, EM, MdR, WW), pp. 455–458.

ECIR-2012-WhitingKJ #feedback #microblog #pseudo #retrieval

Temporal Pseudo-relevance Feedback in Microblog Retrieval (SW, IAK, JMJ), pp. 522–526.

ICML-2012-Boulanger-LewandowskiBV #dependence #generative #modelling #music #sequence

Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.

ICML-2012-GeistSLG #approach #difference #learning

A Dantzig Selector Approach to Temporal Difference Learning (MG, BS, AL, MG), p. 49.

ICPR-2012-AyvaciJLCS #scalability #self #video

Video upscaling via spatio-temporal self-similarity (AA, HJ, ZL, SC, SS), pp. 2190–2193.

ICPR-2012-CaiZ #automation #summary #video

Automatic heterogeneous video summarization in temporal profile (HC, JYZ), pp. 2796–2800.

ICPR-2012-HidoM #feature model #predict

Temporal feature selection for time-series prediction (SH, TM), pp. 3557–3560.

ICPR-2012-JoshiDGBP #analysis #classification

Neural-net classification for spatio-temporal descriptor based depression analysis (JJ, AD, RG, MB, GP), pp. 2634–2638.

ICPR-2012-LeeLHL #re-engineering #sequence #video

Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.

ICPR-2012-MaLXS #detection #image #using

Anomaly detection with spatio-temporal context using depth images (XM, TL, FX, FS), pp. 2590–2593.

ICPR-2012-NgC #using #verification

Face verification using temporal affective cues (ESN, AYSC), pp. 1249–1252.

ICPR-2012-SchmeingJ #optimisation #using

Faithful Spatio-Temporal disocclusion filling using local optimization (MS, XJ), pp. 3799–3802.

ICPR-2012-ZhangLC #analysis #detection #multi #novel

A novel spatial-temporal multi-scale method for detection and analysis of infrared multiple moving objects (TZ, HL, JC), pp. 1884–1887.

ICPR-2012-ZhangZC #recognition

Action recognition based on spatial-temporal pyramid sparse coding (XZ, HZ, XC), pp. 1455–1458.

KDD-2012-0001LHSE #approach #towards

Towards heterogeneous temporal clinical event pattern discovery: a convolutional approach (FW, NL, JH, JS, SE), pp. 453–461.

KDD-2012-BatalFHMH #detection #mining #multi

Mining recent temporal patterns for event detection in multivariate time series data (IB, DF, JH, FM, MH), pp. 280–288.

KDD-2012-KawaleCOSLK #testing

Testing the significance of spatio-temporal teleconnection patterns (JK, SC, DO, KS, SL, VK), pp. 642–650.

KDD-2012-TangLS #dependence

Discovering lag intervals for temporal dependencies (LT, TL, LS), pp. 633–641.

KDD-2012-XieWLY #bibliography #detection

Review spam detection via temporal pattern discovery (SX, GW, SL, PSY), pp. 823–831.

KDIR-2012-dAciernoLSV #performance #retrieval

An Efficient Strategy for Spatio-temporal Data Indexing and Retrieval (Ad, ML, AS, MV), pp. 227–232.

KDIR-2012-DesarkarS #collaboration

User based Collaborative Filtering with Temporal Information for Purchase Data (MSD, SS), pp. 55–64.

KDIR-2012-HaanR #detection

Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.

KR-2012-DohertyKS #constraints

Temporal Composite Actions with Constraints (PD, JK, AS).

KR-2012-Huang #reasoning

Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning (JH).

KR-2012-Renz #constraints #reasoning

Implicit Constraints for Qualitative Spatial and Temporal Reasoning (JR).

SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.

SIGIR-2012-SvoreTDK #web

Creating temporally dynamic web search snippets (KMS, JT, STD, AK), pp. 1045–1046.

SIGIR-2012-Tran #modelling #retrieval #social #social media #topic

Exploiting temporal topic models in social media retrieval (TAT), p. 999.

SIGIR-2012-Whiting #problem #ranking

The essence of time: considering temporal relevance as an intent-aware ranking problem (SW), p. 1000.

SIGIR-2012-ZhaoLHC

Increasing temporal diversity with purchase intervals (GZ, MLL, WH, WC), pp. 165–174.

SAC-2012-CombiP #complexity #on the #workflow

On the complexity of temporal controllabilities for workflow schemata (CC, RP), pp. 60–66.

SAC-2012-CunhaSAP #summary #video

Rushes video summarization based on spatio-temporal features (TOC, FGHdS, AdAA, GLP), pp. 45–50.

SAC-2012-MakanjuZML #clustering #composition #detection #identification

Spatio-temporal decomposition, clustering and identification for alert detection in system logs (AM, ANZH, EEM, ML), pp. 621–628.

SAC-2012-PozzaniC #named #query #sql

ST4SQL: a spatio-temporal query language dealing with granularities (GP, CC), pp. 23–25.

ICSE-2012-UddinDR #analysis #api #concept

Temporal analysis of API usage concepts (GU, BD, MPR), pp. 804–814.

SLE-2012-KansoT #constraints #ocl

Temporal Constraint Support for OCL (BK, ST), pp. 83–103.

ICLP-2012-AguadoCDPV

Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.

ICLP-2012-Dieguez #programming #set

Temporal Answer Set Programming (MD), pp. 445–450.

ICTSS-2012-YangHF #embedded #logic #parametricity #query

Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.

IJCAR-2012-HeamHK #linear #logic

From Linear Temporal Logic Properties to Rewrite Propositions (PCH, VH, OK), pp. 316–331.

TAP-2012-SulzmannZ #analysis #finite #linear #logic

Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.

QoSA-ISARCS-2011-CostaM #logic

Elective temporal logic (GC, IM), pp. 143–152.

ASE-2011-Li #consistency #natural language #requirements #towards

Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.

ASE-2011-UddinDR #api

Analyzing temporal API usage patterns (GU, BD, MPR), pp. 456–459.

ASE-2011-Vakili #modelling

Analyzing temporal properties of abstract models (AV), pp. 656–659.

CASE-2011-MalkiM #approach #modelling

Boolean temporal model-based approach for the diagnosis of Discrete Event Systems (NM, MSM), pp. 175–180.

DAC-2011-BuiLLPR #architecture #multi

Temporal isolation on multiprocessing architectures (DNB, EAL, IL, HDP, JR), pp. 274–279.

DAC-2011-IqbalSH #dependence #fault #monte carlo #named #power management #probability #scheduling

SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.

DATE-2011-KimCSY #modelling #parallel #performance #simulation #using

Temporal parallel simulation: A fast gate-level HDL simulation using higher level models (DK, MJC, KS, SY), pp. 1584–1589.

PODS-2011-BojanczykF #documentation #evaluation #logic #performance #xml

Efficient evaluation for a temporal logic on changing XML documents (MB, DF), pp. 259–270.

SIGMOD-2011-DamaggioDZ #behaviour #contract #database #query

Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.

VLDB-2011-LiDMS

Linking Temporal Records (PL, XLD, AM, DS), pp. 956–967.

VLDB-2011-YangCLC #constraints #on the #query

On Social-Temporal Group Query with Acquaintance Constraint (DNY, YLC, WCL, MSC), pp. 397–408.

TACAS-2011-AnnpureddyLFS #hybrid #logic #named

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.

SEFM-2011-CastroKAA #branch #fault tolerance #logic #named #verification

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.

SEFM-2011-SoleimanifardGH #composition #named #safety #verification

ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.

SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.

ICFP-2011-DisneyFM #contract #higher-order

Temporal higher-order contracts (TD, CF, JM), pp. 176–188.

GT-VMT-2011-BottoniF #diagrams #specification #visual notation

A visual language for temporal specifications based on Spider diagrams (PB, AF).

GT-VMT-2011-VandinL #graph #maude #model checking #towards

Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).

CHI-2011-DragicevicBJEF

Temporal distortion for animated transitions (PD, AB, WJ, NE, JDF), pp. 2009–2018.

CHI-2011-LatulipeCL

Evaluating longitudinal projects combining technology with temporal arts (CL, EAC, DML), pp. 1835–1844.

CSCW-2011-JacksonRBB #collaboration

Collaborative rhythm: temporal dissonance and alignment in collaborative scientific work (SJJ, DR, AGB, GCB), pp. 245–254.

CSCW-2011-SchwandaBLSVH

Temporal patterns of cohesiveness in virtual groups (VS, KB, JL, GS, AV, JTH), pp. 709–712.

VISSOFT-2011-NovaisLCPM #approach #difference #evolution #interactive #visual notation

An interactive differential and temporal approach to visually analyze software evolution (RLN, CANL, GdFC, RMSP, MGM), pp. 1–4.

EDOC-2011-Halle #contract #logic #message passing

Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.

ICEIS-J-2011-TahamtanOTH11a #process

Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.

CIKM-2011-GaoDG #predict

Temporal link prediction by integrating content and structure information (SG, LD, PG), pp. 1169–1174.

CIKM-2011-KumarLB #modelling

Supervised language modeling for temporal resolution of texts (AK, ML, JB), pp. 2069–2072.

ECIR-2011-KeikhaGC #feedback #named

TEMPER: A Temporal Relevance Feedback Method (MK, SG, FC), pp. 436–447.

ECIR-2011-NaveedSS #comprehension #evolution #named #topic

ATTention: Understanding Authors and Topics in Context of Temporal Evolution (NN, SS, SS), pp. 733–737.

ICML-2011-Gomez-RodriguezBS #network

Uncovering the Temporal Dynamics of Diffusion Networks (MGR, DB, BS), pp. 561–568.

ICML-2011-SunGRS #difference #fault #incremental

Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.

KDD-2011-HongYGD #modelling #roadmap #topic

Tracking trends: incorporating term volume into temporal topic models (LH, DY, JG, BDD), pp. 484–492.

KDD-2011-KotaA #multi

Temporal multi-hierarchy smoothing for estimating rates of rare events (NK, DA), pp. 1361–1369.

KDD-2011-LiuZCYX #data type #interactive

Discovering spatio-temporal causal interactions in traffic data streams (WL, YZ, SC, JY, XX), pp. 1010–1018.

KDD-2011-PatnaikBRPKH #case study #challenge #experience #mining #sequence

Experiences with mining temporal event sequences from electronic medical records: initial successes and some challenges (DP, PB, NR, LP, BJK, DAH), pp. 360–368.

MLDM-2011-GunesCO #algorithm #classification #named #novel #relational #search-based #using

GA-TVRC: A Novel Relational Time Varying Classifier to Extract Temporal Information Using Genetic Algorithms (IG, ZÇ, SGÖ), pp. 568–583.

MLDM-2011-Hasan #behaviour #on the

On the Temporal Behavior of EEG Recorded during Real Finger Movement (BASH), pp. 335–347.

RecSys-2011-Karatzoglou #collaboration #modelling #order

Collaborative temporal order modeling (AK), pp. 313–316.

RecSys-2011-KoenigsteinDK #exclamation #modelling #music #recommendation #taxonomy

Yahoo! music recommendations: modeling music ratings with temporal dynamics and item taxonomy (NK, GD, YK), pp. 165–172.

SEKE-2011-KimLZKLS #approach #configuration management #modelling #privacy

A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC (SK, YTL, YZ, DKK, LL, VS), pp. 666–671.

SIGIR-2011-AnandBBS #performance

Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.

SIGIR-2011-HeS #performance #query #version control

Faster temporal range queries over versioned text (JH, TS), pp. 565–574.

SIGIR-2011-WangA #analysis #semantics

Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.

SIGIR-2011-WangSE #retrieval #video

Words-of-interest selection based on temporal motion coherence for video retrieval (LW, DS, EE), pp. 1197–1198.

SIGIR-2011-WhitingMJ #feedback #pseudo

Exploring term temporality for pseudo-relevance feedback (SW, YM, JMJ), pp. 1245–1246.

SIGIR-2011-YangYD #analysis #network #predict

Award prediction with temporal citation network analysis (ZY, DY, BDD), pp. 1203–1204.

SIGIR-2011-ZhouLM #named #sequence

OrientSTS: spatio-temporal sequence searching in flickr (CZ, DL, XM), pp. 1265–1266.

LOPSTR-2011-CabalarD #equilibrium #modelling

Automata-Based Computation of Temporal Equilibrium Models (PC, SD), pp. 57–72.

ESEC-FSE-2011-LumpeMG #logic #named #specification

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.

CAV-2011-CookKV #program analysis #verification

Temporal Property Verification as a Program Analysis Task (BC, EK, MYV), pp. 333–348.

ICLP-2011-MolinaroSS #abduction #logic #probability

Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.

LICS-2011-BokerCHK #cumulative #specification

Temporal Specifications with Accumulative Values (UB, KC, TAH, OK), pp. 43–52.

CASE-2010-FrohlichS #automation #constraints #matrix #modelling #problem #scheduling #using

Relation matrices for automated MILP modeling of scheduling problems using temporal constraints (RF, SCS), pp. 69–74.

DAC-2010-LiangM #reuse #using

Instruction cache locking using temporal reuse profile (YL, TM), pp. 344–349.

DATE-2010-GanapathyCGR #estimation #modelling #multi #variability

Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability (SG, RC, AG, AR), pp. 417–422.

DocEng-2010-JansenCB #documentation #editing #multi

A model for editing operations on active temporal multimedia documents (JJ, PC, DCAB), pp. 87–96.

SIGMOD-2010-ChenKWS

Leveraging spatio-temporal redundancy for RFID data cleansing (HC, WSK, HW, MTS), pp. 51–62.

VLDB-2010-LiDHK #clustering #mining #named

Swarm: Mining Relaxed Temporal Moving Object Clusters (ZL, BD, JH, RK), pp. 723–734.

VLDB-2010-StrotgenG #documentation #named

TimeTrails: A System for Exploring Spatio-Temporal Information in Documents (JS, MG), pp. 1569–1572.

WRLA-2010-BaeM #linear #logic #maude #model checking

The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.

SCAM-2010-SimpsonB #c #memory management #named #runtime #safety

MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.

ICALP-v2-2010-ColcombetKL #cost analysis

Regular Temporal Cost Functions (TC, DK, SL), pp. 563–574.

LATA-2010-GiampaoloTN #logic #metric #parametricity

Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.

SEFM-2010-HussainL #ml #named #runtime #specification

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.

SEFM-2010-WeitlNF #logic

Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.

CHI-2010-EngstromJPB #realtime

Temporal hybridity: footage with instant replay in real time (AE, OJ, MJP, MB), pp. 1495–1504.

ICEIS-HCI-2010-KisilevichKR #framework #named

GEO-SPADE — A Generic Google Earth-based Framework for Analyzing and Exploring Spatio-temporal Data (SK, DAK, LR), pp. 13–20.

CIKM-2010-AnandBBS #keyword #performance #version control

Efficient temporal keyword search over versioned text (AA, SJB, KB, RS), pp. 699–708.

CIKM-2010-Dumais #information retrieval

Temporal dynamics and information retrieval (STD), pp. 7–8.

CIKM-2010-KotovKDC #profiling #query #ranking #web

Temporal query log profiling to improve web search ranking (AK, PK, LD, YC), pp. 1149–1158.

CIKM-2010-WangML #constraints #ranking

Ranking under temporal constraints (LW, DM, JJL), pp. 79–88.

ECIR-2010-BerberichBAW #approach #modelling

A Language Modeling Approach for Temporal Information Needs (KB, SJB, OA, GW), pp. 13–25.

ECIR-2010-Schenkel #identification #web

Temporal Shingling for Version Identification in Web Archives (RS), pp. 508–519.

ICML-2010-DowneyS #adaptation #difference

Temporal Difference Bayesian Model Averaging: A Bayesian Perspective on Adapting λ (CD, SS), pp. 311–318.

ICML-2010-LiuNLL #analysis #graph #learning #relational

Learning Temporal Causal Graphs for Relational Time-Series Analysis (YL, ANM, ACL, YL), pp. 687–694.

ICML-2010-Scherrer #difference #fixpoint #perspective

Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.

ICML-2010-Yu #convergence #difference

Convergence of Least Squares Temporal Difference Methods Under General Conditions (HY), pp. 1207–1214.

ICPR-2010-BimboLMP #detection #geometry #using

Person Detection Using Temporal and Geometric Context with a Pan Tilt Zoom Camera (ADB, GL, IM, FP), pp. 3886–3889.

ICPR-2010-DengCLC #recognition #representation

A Global Spatio-Temporal Representation for Action Recognition (CD, XC, HL, JC), pp. 1816–1819.

ICPR-2010-FausserS #approximate #learning

Learning a Strategy with Neural Approximated Temporal-Difference Methods in English Draughts (SF, FS), pp. 2925–2928.

ICPR-2010-HuQHJT #recognition #using

Action Recognition Using Spatial-Temporal Context (QH, LQ, QH, SJ, QT), pp. 1521–1524.

ICPR-2010-HuWZW #classification #gender

Combining Spatial and Temporal Information for Gait Based Gender Classification (MH, YW, ZZ, YW), pp. 3679–3682.

ICPR-2010-KimCKA #image

Spatial and Temporal Enhancement of Depth Images Captured by a Time-of-Flight Depth Sensor (SYK, JHC, AK, MAA), pp. 2358–2361.

ICPR-2010-LewandowskiRMN #reduction

Temporal Extension of Laplacian Eigenmaps for Unsupervised Dimensionality Reduction of Time Series (ML, JMdR, DM, JCN), pp. 161–164.

ICPR-2010-LiN #robust

Robust ECG Biometrics by Fusing Temporal and Cepstral Information (ML, SN), pp. 1326–1329.

ICPR-2010-PutpuekCLS #approach #detection #identification

Unified Approach to Detection and Identification of Commercial Films by Temporal Occurrence Pattern (NP, NC, CL, SS), pp. 3288–3291.

ICPR-2010-RoyM #using #video

Crossmodal Matching of Speakers Using Lip and Voice Features in Temporally Non-overlapping Audio and Video Streams (AR, SM), pp. 4504–4507.

ICPR-2010-StottingerZKH #dataset #evaluation

FeEval A Dataset for Evaluation of Spatio-temporal Local Features (JS, SZ, RK, AH), pp. 499–502.

ICPR-2010-SunSHE #learning #locality #metric

Localized Supervised Metric Learning on Temporal Physiological Data (JS, DMS, JH, SE), pp. 4149–4152.

ICPR-2010-ZhaoWIZ #3d #recognition

Human 3D Motion Recognition Based on Spatial-Temporal Context of Joints (QZ, LW, HHSI, XZ), pp. 2740–2743.

KDD-2010-SundaravaradanHSSVHR #biology #modelling

Extracting temporal signatures for comprehending systems biology models (NS, KSMTH, VS, DJS, JPCV, LSH, NR), pp. 453–462.

KDD-2010-XiangYZCZYS #graph #recommendation

Temporal recommendation on graphs via long- and short-term preference fusion (LX, QY, SZ, LC, XZ, QY, JS), pp. 723–732.

KDIR-2010-Simac-LejeuneRL #video

Spatio-temporal Block Model for Video Indexation Assistance (ASL, MR, PL), pp. 475–480.

KEOD-2010-Akinkunmi

Temporal Entities — Types, Tokens and Qualifications (BOA), pp. 288–294.

KR-2010-KleinbergM #logic

The Temporal Logic of Token Causes (SK, BM).

RecSys-2010-CebrianPVA #music #recommendation

Music recommendations with temporal context awareness (TC, MP, PV, XA), pp. 349–352.

SEKE-2010-Wang10a

Temporal Filter: A Temporal Extension to Wireshark Display Filter (Short Paper) (SW), pp. 421–424.

SIGIR-2010-LathiaHCA #recommendation

Temporal diversity in recommender systems (NL, SH, LC, XA), pp. 210–217.

SIGIR-2010-SallesRPMMG #algorithm #classification #documentation

Temporally-aware algorithms for document classification (TS, LCdR, GLP, FM, WMJ, MAG), pp. 307–314.

SIGIR-2010-XuMC

Temporal click model for sponsored search (WX, EM, ECP), pp. 106–113.

ICMT-2010-BehrensP #generative #modelling

Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.

SAC-2010-MengleG #category theory #mining

Mining temporal relationships among categories (SSRM, NG), pp. 1107–1108.

SAC-2010-RyuCC #image #layout #named #using

PHOTOLAND: a new image layout system using spatio-temporal information in digital photos (DSR, WKC, HGC), pp. 1884–1891.

SAC-2010-ShieTY #data type #mining #online

Online mining of temporal maximal utility itemsets from data streams (BES, VST, PSY), pp. 1622–1626.

ICSE-2010-ClassenHSLR #model checking #performance #product line #verification

Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.

ICSE-2010-GabelS #online

Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.

ICSE-2010-Lewis #generative #invariant #named #realtime

Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.

ISMM-2010-NagarakatteZMZ #c #compilation #named #safety

CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.

CAV-2010-BasinKM #first-order #logic #monitoring #policy

Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.

VMCAI-2010-AlurC #reasoning #source code

Temporal Reasoning for Procedural Programs (RA, SC), pp. 45–60.

VMCAI-2010-SanchezL #linear #logic

Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.

ASE-2009-WasylkowskiZ #mining #specification

Mining Temporal Specifications from Object Usage (AW, AZ), pp. 295–306.

DATE-2009-LettninNBRGKRSR #hardware #verification

Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.

ICDAR-2009-ElbaatiKEA #order

Temporal Order Recovery of the Scanned Handwriting (AE, MK, AE, AMA), pp. 1116–1120.

ICDAR-2009-LiT #identification #independence #online #sequence

Online Text-independent Writer Identification Based on Temporal Sequence and Shape Codes (BL, TT), pp. 931–935.

ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.

FoSSaCS-2009-Alur #reasoning

Temporal Reasoning about Program Executions (RA), p. 15.

WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier

Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.

CIAA-2009-CourbisHK #approximate #model checking

TAGED Approximations for Temporal Properties Model-Checking (RC, PCH, OK), pp. 135–144.

DLT-2009-MogaveroM #logic #quantifier

Branching-Time Temporal Logics with Minimal Model Quantifiers (FM, AM), pp. 396–409.

ICALP-v2-2009-DaxKL #logic #on the

On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.

FM-2009-Boute #logic #unification

Making Temporal Logic Calculational: A Tool for Unification and Discovery (RTB), pp. 387–402.

SEFM-2009-AndresMN #protocol #testing

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.

HCD-2009-KobayashiN #guidelines #matrix #usability

Mapping of Usability Guidelines onto User’s Temporal Viewpoint Matrix (TK, HN), pp. 75–83.

HCD-2009-TavantiC #3d #student

Looking for the 3D Picture: The Spatio-temporal Realm of Student Controllers (MT, MC), pp. 1070–1079.

ICEIS-J-2009-LampertiZ #monitoring #nondeterminism

Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.

CIKM-2009-ChokG #framework #mining #network #realtime

Spatio-temporal association rule mining framework for real-time sensor network applications (HC, LG), pp. 1761–1764.

CIKM-2009-GuYGC #data type #probability #query

Probabilistic moving range query over RFID spatio-temporal data streams (YG, GY, NG, YC), pp. 1413–1416.

ICML-2009-KolterN09a #difference #feature model #learning

Regularization and feature selection in least-squares temporal difference learning (JZK, AYN), pp. 521–528.

ICML-2009-Makino #network #predict #representation

Proto-predictive representation of states with simple recurrent temporal-difference networks (TM), pp. 697–704.

ICML-2009-MobahiCW #learning #video

Deep learning from temporal coherence in video (HM, RC, JW), pp. 737–744.

ICML-2009-SuttonMPBSSW #approximate #learning #linear #performance

Fast gradient-descent methods for temporal-difference learning with linear function approximation (RSS, HRM, DP, SB, DS, CS, EW), pp. 993–1000.

KDD-2009-AndoS #clustering #detection

Detection of unique temporal segments by information theoretic meta-clustering (SA, ES), pp. 59–68.

KDD-2009-BerlingerioPNG #data analysis #interactive #mining #workflow

Temporal mining for interactive workflow data analysis (MB, FP, MN, FG), pp. 109–118.

KDD-2009-DuJDLT #approach #migration #mining

Migration motif: a spatial — temporal pattern mining approach for financial markets (XD, RJ, LD, VEL, JHTJ), pp. 1135–1144.

KDD-2009-Koren #collaboration

Collaborative filtering with temporal dynamics (YK), pp. 447–456.

KDD-2009-LiuKJ #graph #learning #monitoring

Learning dynamic temporal graphs for oil-production equipment monitoring system (YL, JRK, OJ), pp. 1225–1234.

KDD-2009-LozanoALR #modelling #visual notation

Grouped graphical Granger modeling methods for temporal causal modeling (ACL, NA, YL, SR), pp. 577–586.

KDD-2009-LozanoLNLPHA #modelling

Spatial-temporal causal modeling for climate change attribution (ACL, HL, ANM, YL, CP, JRMH, NA), pp. 587–596.

KDD-2009-PatnaikMSR #data mining #mining #using

Sustainable operation and management of data center chillers using temporal data mining (DP, MM, RKS, NR), pp. 1305–1314.

KDIR-2009-CamposDJ #clustering #topic #web

Disambiguating Web Search Results by Topic and Temporal Clustering — A Proposal (RC, GD, AMJ), pp. 292–296.

KEOD-2009-QiangRW #integration #ontology #towards

Towards a General Temporal Ontology for Knowledge Integration (YQ, FR, NVdW), pp. 275–280.

KEOD-2009-WalzerHK

Event Lifetime Calculation based on Temporal Relationships (KW, TH, AK), pp. 269–274.

RecSys-2009-LuAD #approach #collaboration

A spatio-temporal approach to collaborative filtering (ZL, DA, ISD), pp. 13–20.

SIGIR-2009-Kanhabua #documentation #retrieval

Exploiting temporal information in retrieval of archived documents (NK), p. 848.

SIGIR-2009-LathiaHC #adaptation #collaboration

Temporal collaborative filtering with adaptive neighbourhoods (NL, SH, LC), pp. 796–797.

SIGIR-2009-MetzlerJPZ #query

Improving search relevance for implicitly temporal queries (DM, RJ, FP, RZ), pp. 700–701.

SIGIR-2009-ZhangYYLC #query

Temporal query substitution for ad search (WZ, JY, SY, NL, ZC), pp. 798–799.

ECMDA-FA-2009-SodenE #ocl #revisited

Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.

POPL-2009-BrunelDHLM #logic #model checking #using

A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.

SAC-2009-LeonardiORRS

Frequent spatio-temporal patterns in trajectory data warehouses (LL, SO, AR, AR, CS), pp. 1433–1440.

SAC-2009-RyuKC #algorithm #detection #documentation #evolution #using

A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model (CKR, HJK, HGC), pp. 863–868.

HPCA-2009-WenischFAFM #memory management #metadata #streaming

Practical off-chip meta-data for temporal memory streaming (TFW, MF, AA, BF, AM), pp. 79–90.

CADE-2009-LudwigH #reasoning

Fair Derivations in Monodic Temporal Reasoning (ML, UH), pp. 261–276.

CSL-2009-GheerbrantC #linear

Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.

TAP-2009-FraserW #logic #testing

Complementary Criteria for Testing Temporal Logic Properties (GF, FW), pp. 58–73.

ASE-2008-WalkinshawB #constraints #finite #modelling

Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.

DATE-2008-LettninNRKRKSR #embedded #verification

Verification of Temporal Properties in Automotive Embedded Software (DL, PKN, JR, TK, WR, TK, VS, SR), pp. 164–169.

SIGMOD-2008-ChenOTN #named #self

ST2B-tree: a self-tunable spatio-temporal b+-tree index for moving objects (SC, BCO, KLT, MAN), pp. 29–42.

TACAS-2008-TsayCTCL #automaton #logic #research #towards

GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.

STOC-2008-BodirskyK #complexity #constraints #problem

The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.

CIAA-2008-EsikI #game studies #logic

Games for Temporal Logics on Trees (ZÉ, SI), pp. 191–200.

SEFM-2008-CimattiRST #constraints #modelling

Object Models with Temporal Constraints (AC, MR, AS, ST), pp. 249–258.

CHI-2008-BenfordG #interactive

Temporal trajectories in shared interactive narratives (SB, GG), pp. 73–82.

CHI-2008-WangPQSMS #health

Aligning temporal data by sentinel events: discovering patterns in electronic health records (TDW, CP, AJQ, RS, SNM, BS), pp. 457–466.

ICEIS-AIDSS-2008-LampertiVZ #on the #similarity

On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.

ICEIS-DISI-2008-BrahmiaB #approach #database #multi #version control #xml

An Approach for Schema Versioning in Multi-Temporal XML Databases (ZB, RB), pp. 290–297.

CIKM-2008-ChoudharyMB #dataset #evolution #on the

On quantifying changes in temporally evolving dataset (RC, SM, AB), pp. 1459–1460.

CIKM-2008-ChungLC #performance #probability #query

Efficient processing of probabilistic spatio-temporal range queries over moving objects (BSEC, WCL, ALPC), pp. 1399–1400.

CIKM-2008-RochaMPGM #classification

Exploiting temporal contexts in text classification (LCdR, FM, AMP, MAG, WMJ), pp. 243–252.

ECIR-2008-NunesRD #web

Use of Temporal Expressions in Web Search (SN, CR, GD), pp. 580–584.

ICML-2008-LebanonZ #modelling

Local likelihood modeling of temporal text streams (GL, YZ), pp. 552–559.

ICML-2008-Li #approximate #comparison #difference #linear #worst-case

A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.

ICML-2008-MakinoT #network #online

On-line discovery of temporal-difference networks (TM, TT), pp. 632–639.

ICML-2008-YaoL #difference #learning

Preconditioned temporal difference learning (HY, ZQL), pp. 1208–1215.

ICPR-2008-CaoBLLH #classification #word

Audio-visual event classification via spatial-temporal-audio words (YC, SB, SHL, ML, SH), pp. 1–5.

ICPR-2008-FilipH #performance #segmentation #sequence #video

Fast and reliablePCA-based temporal segmentation of video sequences (JF, MH), pp. 1–4.

ICPR-2008-GeorgeKK #classification #hybrid

Hybrid wavelet support vector classification of temporal bone abnormalities (JG, STK, RK), pp. 1–4.

ICPR-2008-HahnKW #3d #algorithm #estimation #using

Spatio-temporal 3D pose estimation and tracking of human body parts using the Shape Flow algorithm (MH, LK, CW), pp. 1–4.

ICPR-2008-HsiaoCC #recognition #using

Human action recognition using temporal-state shape contexts (PCH, CSC, LWC), pp. 1–4.

ICPR-2008-HuangST #detection #using #video

Detecting moving text in video using temporal information (WH, PS, CLT), pp. 1–4.

ICPR-2008-KaiserH #analysis #detection

Qualitative analysis of spatio-temporal event detectors (BK, GH), pp. 1–4.

ICPR-2008-MakiharaY #segmentation

Silhouette extraction based on iterative spatio-temporal local color transformation and graph-cut segmentation (YM, YY), pp. 1–4.

ICPR-2008-NingXZGH #detection #difference #learning

Temporal difference learning to detect unsafe system states (HN, WX, YZ, YG, TSH), pp. 1–4.

ICPR-2008-ZhaoGLJ #learning #modelling

Spatio-temporal patches for night background modeling by subspace learning (YZ, HG, LL, YJ), pp. 1–4.

KDD-2008-NorenBHSE #roadmap

Temporal pattern discovery for trends and transient effects: its application to patient records (GNN, AB, JH, KS, IRE), pp. 963–971.

KR-2008-ArtaleGK #constraints #formal method

Formalising Temporal Constraints on Part-Whole Relations (AA, NG, CMK), pp. 673–683.

KR-2008-Balbiani #analysis #reasoning #representation #standard

Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.

KR-2008-RenzL #automation #calculus #complexity #proving

Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi (JR, JJL), pp. 715–723.

RecSys-2008-LathiaHC #network #social

kNN CF: a temporal social network (NL, SH, LC), pp. 227–234.

SAC-2008-BartakC #network #recognition

Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.

SAC-2008-Pasca #towards #web

Towards temporal web search (MP), pp. 1117–1121.

FSE-2008-GabelS #automation #mining #named

Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.

ICSE-2008-ChenY #constraints #dependence #grid #verification #workflow

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.

ICSE-2008-GabelS #mining #specification

Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.

CSL-2008-CharatonikW #constraints #quantifier

Quantified Positive Temporal Constraints (WC, MW), pp. 94–108.

CSL-2008-HodkinsonMS #axiom #logic

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.

ICLP-2008-Montanari #logic

Back to Interval Temporal Logics (AM), pp. 11–13.

VMCAI-2008-SistlaS #monitoring #probability

Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.

CASE-2007-RugnoneVNDCPT #design #logic #named #visual notation

HomeTL: A visual formalism, based on temporal logic, for the design of home based care (AR, EV, CDN, MPD, DC, CP, ET), pp. 747–752.

FASE-2007-KleinG #diagrams #specification #using

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.

FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability

The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.

TACAS-2007-TsayCTWC #automaton #named #visual notation

GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.

SCAM-2007-LochbihlerS #dependence #graph #on the

On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.

WCRE-2007-FarahL #comprehension #modelling

Temporal Exploration of Software Models: A Tool Feature to Enhance Software Understanding (HF, TCL), pp. 41–49.

IFM-2007-AguirreRM #community #design #verification

Verifying Temporal Properties of CommUnity Designs (NA, GR, TSEM), pp. 1–20.

IFM-2007-GheorghiuGC #logic #query

Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.

DHM-2007-XiangZ #retrieval

Motion Retrieval Based on Temporal-Spatial Features by Decision Tree (JX, HZ), pp. 224–233.

HCI-IPT-2007-BeehareeS

Minimising Pedestrian Navigational Ambiguities Through Geoannotation and Temporal Tagging (AKB, AS), pp. 748–757.

AdaEurope-2007-PulidoUZP #ada #fault

Handling Temporal Faults in Ada 2005 (JAP, SU, JZ, JAdlP), pp. 15–28.

EDOC-2007-TilakR #component #contract #distributed #interactive

Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.

ICEIS-DISI-2007-AraqueSD #data flow #monitoring #using #web

Monitoring web data sources using temporal properties as an external resources of a data warehouse (FA, AS, CD), pp. 28–35.

ICEIS-DISI-2007-GorawskiF #hybrid #named

STAH-TREE: Hybrid index for spatio temporal aggregation (MG, MF), pp. 113–118.

ICEIS-EIS-2007-LongP #composition #grid #scheduling #workflow

Grid Workflow Scheduling with Temporal Decomposition (FL, HKP), pp. 440–446.

CIKM-2007-CombiMP #query #sql

The t4sql temporal query language (CC, AM, GP), pp. 193–202.

CIKM-2007-PraingS #database #modelling

Modeling historical and future movements of spatio-temporal objects in moving objects databases (RP, MS), pp. 183–192.

ICML-2007-GuoHFX #approach #modelling #network

Recovering temporally rewiring networks: a model-based approach (FG, SH, WF, EPX), pp. 321–328.

KDD-2007-ArnoldLA #modelling #visual notation

Temporal causal modeling with graphical granger methods (AA, YL, NA), pp. 66–75.

KDD-2007-ChiSZHT #clustering

Evolutionary spectral clustering by incorporating temporal smoothness (YC, XS, DZ, KH, BLT), pp. 153–162.

KDD-2007-ChiZSTT #analysis #community

Structural and temporal analysis of the blogosphere through community factorization (YC, SZ, XS, JT, BLT), pp. 163–172.

KDD-2007-CotofreiS #data mining #mining #probability #process

Stochastic processes and temporal data mining (PC, KS), pp. 183–190.

SEKE-2007-AmouiST #network #predict #using

Temporal Software Change Prediction Using Neural Networks (MA, MS, LT), pp. 380–385.

SEKE-2007-CordeiroGES #classification #constraints #database #design #version control

A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications (RLFC, RdMG, NE, CSdS), pp. 416–421.

SEKE-2007-SalamahKG #generative #linear #logic #specification

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.

SIGIR-2007-OlssonO #classification

Improving text classification for oral history archives with temporal domain knowledge (JSO, DWO), pp. 623–630.

SIGIR-2007-Schockaert #fuzzy #information retrieval #reasoning

Fuzzy temporal and spatial reasoning for intelligent information retrieval (SS), p. 921.

SIGIR-2007-Wan07a #multi #named #summary

TimedTextRank: adding the temporal dimension to multi-document summarization (XW), pp. 867–868.

SIGIR-2007-YangLLHKR #documentation

Utility-based information distillation over temporally sequenced documents (YY, AL, NL, AH, BK, MR), pp. 31–38.

SAC-2007-Al-NaymatCG #query #reduction

Dimensionality reduction for long duration and complex spatio-temporal queries (GAN, SC, JG), pp. 393–397.

SAC-2007-PigeauNG #approximate #image #performance

Fast tracking of hierarchical partitions with approximate kl-divergence for geo-temporal organization of personal images (AP, AN, MG), pp. 1088–1089.

SAC-2007-RegoBSSF #library #named #video

VideoLib: a video digital library with support to spatial and temporal dimensions (ASdCR, CdSB, ERdS, US, HFdF), pp. 1074–1078.

ESEC-FSE-2007-PradellaMP #symmetry #verification

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties (MP, AM, PSP), pp. 312–320.

CAV-2007-CimattiRST #abstraction #logic #satisfiability

Boolean Abstraction for Temporal Logic Satisfiability (AC, MR, VS, ST), pp. 532–546.

CSL-2007-BodirskyC #reasoning #revisited

Qualitative Temporal and Spatial Reasoning Revisited (MB, HC), pp. 194–207.

ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code

Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.

LICS-2007-AlurABEIL #first-order #logic #word

First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.

LICS-2007-Bojanczyk #logic

Two-way unary temporal logic over trees (MB), pp. 121–130.

CASE-2006-PotsaidWF #adaptation #automation

Automation of Challenging Spatial-Temporal Biomedical Observations with the Adaptive Scanning Optical Microscope (ASOM) (BP, JTW, FPF), pp. 39–44.

DATE-2006-NascimentoL #architecture #clustering #complexity #configuration management #image

Temporal partitioning for image processing based on time-space complexity in reconfigurable architectures (PSBdN, MEdL), pp. 375–380.

DATE-2006-PaulKKAR #design #estimation #performance #reliability

Temporal performance degradation under NBTI: estimation and design for improved reliability of nanoscale circuits (BCP, KK, HK, MAA, KR), pp. 780–785.

FASE-2006-GiorgettiG #generative #ml #named #verification

JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.

FoSSaCS-2006-OuaknineW #logic #metric #on the #turing machine

On Metric Temporal Logic and Faulty Turing Machines (JO, JW), pp. 217–230.

TACAS-2006-OuaknineW #decidability #logic #metric #safety

Safety Metric Temporal Logic Is Fully Decidable (JO, JW), pp. 411–425.

CIAA-2006-Fernando #finite

Finite-State Temporal Projection (TF), pp. 230–241.

DLT-2006-Kufleitner #logic

Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.

SEFM-2006-NareshC

A Model for Temporal relations between Object Roles (GN, BDC), pp. 100–107.

ICGT-2006-RotschkeS #evolution #graph #query

Temporal Graph Queries to Support Software Evolution (TR, AS), pp. 291–305.

CHI-2006-TuckerW #algorithm #evaluation

Time is of the essence: an evaluation of temporal compression algorithms (ST, SW), pp. 329–338.

CSCW-2006-BardramHS #interactive #named #social

AwareMedia: a shared interactive display supporting social, temporal, and spatial awareness in surgery (JEB, TRH, MS), pp. 109–118.

CAiSE-2006-MalinowskiZ #concept #representation

Object-Relational Representation of a Conceptual Model for Temporal Data Warehouses (EM, EZ), pp. 96–110.

ICEIS-AIDSS-2006-LampertiZ #incremental

Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.

ICEIS-DISI-2006-AraqueSDGS #algorithm

Algorithms for Integrating Temporal Properties of Data in Data Warehousing (FA, AS, CD, EG, JS), pp. 193–199.

ICEIS-DISI-2006-GascuenaCM #approach #multi #representation

A Multidimensional Approach to the Representation of the Spatio-Temporal Multi-Granularity (CMG, DC, PM), pp. 175–180.

ICEIS-DISI-2006-MalinowskiZ #metric

Inclusion of Time-Varying Measures in Temporal Data Warehouses (EM, EZ), pp. 181–186.

ICEIS-J-2006-LampertiZ06a #monitoring #on the

On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.

CIKM-2006-QamraTC #clustering #mining #using

Mining blog stories using community-based and temporal clustering (AQ, BLT, EYC), pp. 58–67.

CIKM-2006-Zeinalipour-YaztiLG #distributed #similarity

Distributed spatio-temporal similarity search (DZY, SL, DG), pp. 14–23.

ICML-2006-AsgharbeygiSL #difference #learning #relational

Relational temporal difference learning (NA, DJS, PL), pp. 49–56.

ICML-2006-GravesFGS #classification #network #sequence

Connectionist temporal classification: labelling unsegmented sequence data with recurrent neural networks (AG, SF, FJG, JS), pp. 369–376.

ICPR-v1-2006-TakeshimaIK #detection #self #using

Object Contour Detection Using Spatio-temporal Self-sim (HT, TI, TK), pp. 613–617.

ICPR-v1-2006-TongSS #estimation

Continuous-Discrete Filtering for Cardiac Kinematics Estimation under Spatio-Temporal Biomechanical Constrains (ST, AJS, PS), pp. 167–170.

ICPR-v2-2006-XuWH #algorithm #learning

A maximum margin discriminative learning algorithm for temporal signals (WX, JW, ZH), pp. 460–463.

ICPR-v3-2006-PeiLX #detection #information retrieval

A Method For IR Point Target Detection Based on Spatial-temporal Bilateral Filter (JP, ZL, WX), pp. 846–849.

ICPR-v3-2006-YoshimuraHM #comparison

Comparison of Structural Variables with Spatio-temporal Variables Concerning the Identifiability of Okuri Class and Player in Japanese Traditional Dancing (MY, KH, YM), pp. 308–311.

ICPR-v3-2006-ZhengS

Removing Temporal Stationary Blur in Route Panoramas (JYZ, MS), pp. 709–713.

ICPR-v4-2006-LienY #performance #predict #using

A Fast Mode Decision Method for H.264/AVC Using the Spatial-Temporal Prediction Scheme (CCL, CPY), pp. 334–337.

ICPR-v4-2006-WangC #detection #using #video

Detecting Video Texts Using Spatial-Temporal Wavelet Transform (YKW, JMC), pp. 754–757.

KDD-2006-MorchenMU #generative #modelling #music #statistics

Understandable models Of music collections based on exhaustive feature generation with temporal statistics (FM, IM, AU), pp. 882–891.

KR-2006-BienvenuFM

Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.

KR-2006-RagniW #constraints

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.

SIGIR-2006-AlonsoG #clustering #using

Clustering of search results using temporal attributes (OA, MG), pp. 597–598.

SIGIR-2006-Forman #concept #induction

Tackling concept drift by temporal inductive transfer (GF), pp. 252–259.

SIGIR-2006-LiLL #topic

Enhancing topic tracking with temporal information (BL, WL, QL), pp. 667–668.

LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.

SAC-2006-EliasEC #consistency #multi

Dynamic consistency checking for temporal and spatial relations in multimedia presentations (SE, KSE, RC), pp. 1380–1384.

SAC-2006-GiannottiNPP #mining #sequence

Mining sequences with temporal annotations (FG, MN, DP, FP), pp. 593–597.

SAC-2006-TsengCL #e-commerce #mining #navigation #personalisation #predict

Mining and prediction of temporal navigation patterns for personalized services in e-commerce (VST, JCC, KWL), pp. 867–871.

ICSE-2006-YangEBBD #api #mining #named

Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.

ASPLOS-2006-CrandallWOSWC #detection #virtual machine

Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.

CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis

Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.

FATES-RV-2006-FainekosP #logic #robust #specification

Robustness of Temporal Logic Specifications (GEF, GJP), pp. 178–192.

ICLP-2006-NogueiraA #logic programming #towards

Towards Temporal Contextual Logic Programming (VN, SA), pp. 439–441.

LICS-2006-VaraccaV #logic #model checking

Temporal Logics and Model Checking for Fairly Correct Systems (DV, HV), pp. 389–398.

VMCAI-2006-HristovaL #algorithm #automaton #linear #logic #model checking

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems (KH, YAL), pp. 190–206.

VMCAI-2006-RanzatoT #abstract interpretation

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.

ASE-2005-Tan #embedded #logic #modelling #self #source code #specification

Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.

ASE-2005-ZhangC #performance #query

Efficient temporal-logic query checking for presburger systems (DZ, RC), pp. 24–33.

DATE-2005-KempfDLAMKV #composition #framework #multi #simulation

A Modular Simulation Framework for Spatial and Temporal Task Mapping onto Multi-Processor SoC Platforms (TK, MD, RL, GA, HM, TK, BV), pp. 876–881.

SIGMOD-2005-LeeOH #database #graph #named #scalability #video

STRG-Index: Spatio-Temporal Region Graph Indexing for Large Video Databases (JL, JHO, SH), pp. 718–729.

VLDB-2005-HadjieleftheriouKBT #query

Complex Spatio-Temporal Pattern Queries (MH, GK, PB, VJT), pp. 877–888.

VLDB-2005-RaseticSEN #performance

A Trajectory Splitting Model for Efficient Spatio-Temporal Indexing (SR, JS, JE, MAN), pp. 934–945.

VLDB-2005-WangL

Temporal Management of RFID Data (FW, PL), pp. 1128–1139.

TACAS-2005-KuglerHPLB #logic #specification

Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.

TACAS-2005-WeimerN #detection #fault #mining #specification

Mining Temporal Specifications for Error Detection (WW, GCN), pp. 461–476.

ICSM-2005-SusaniD #contract #maintenance #specification #using

Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts (OvS, PD), pp. 230–239.

CIAA-2005-KleinB #automaton #linear #logic

Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (JK, CB), pp. 199–212.

CEFP-2005-TejfelHK #source code

Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.

CHI-2005-LeeWB #concept #gesture #modelling

Improving orchestral conducting systems in public spaces: examining the temporal characteristics and conceptual models of conducting gestures (EL, MW, JOB), pp. 731–740.

SIGAda-2005-NaeserLA #verification

Temporal skeletons for verifying time (GN, KL, LA), pp. 49–56.

CAiSE-2005-BertinoCM #approach #multi #representation

An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data (EB, DC, PM), pp. 119–134.

CIKM-2005-MekaS #distributed #named #network

DIST: a distributed spatio-temporal index structure for sensor networks (AM, AKS), pp. 139–146.

CIKM-2005-WangHL #database #framework #mining

A framework for mining topological patterns in spatio-temporal databases (JW, WH, MLL), pp. 429–436.

ECIR-2005-DingCZ #analysis #clustering #concept #detection #video

Temporal Shot Clustering Analysis for Video Concept Detection (DD, LC, BZ), pp. 558–560.

ICML-2005-TannerS #network

TD(λ) networks: temporal-difference networks with eligibility traces (BT, RSS), pp. 888–895.

KDD-2005-MeiZ #mining

Discovering evolutionary theme patterns from text: an exploration of temporal text mining (QM, CZ), pp. 198–207.

KDD-2005-YangPM #framework #mining

A generalized framework for mining spatio-temporal patterns in scientific data (HY, SP, SM), pp. 716–721.

MLDM-2005-PrayR #mining

Mining Expressive Temporal Associations from Complex Data (KAP, CR), pp. 384–394.

MLDM-2005-VermaVV #approach #mining #using

Temporal Approach to Association Rule Mining Using T-Tree and P-Tree (KV, OPV, RV), pp. 651–659.

SIGIR-2005-PerkioBT #adaptation #algorithm #ranking

A temporally adaptive content-based relevance ranking algorithm (JP, WLB, HT), pp. 647–648.

LOPSTR-2005-Fages #automaton #constraints #logic

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.

SAC-2005-AbbasMG #analysis

Temporal analysis of infectious diseases: influenza (KA, ARM, RG), pp. 267–271.

SAC-2005-EgidiT #approach #database #flexibility

A flexible approach to user-defined symbolic granularities in temporal databases (LE, PT), pp. 592–597.

ESEC-FSE-2005-LetierKMU #logic #modelling

Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.

CADE-2005-CastelliniS #first-order #logic #proving #theorem proving

Proof Planning for First-Order Temporal Logic (CC, AS), pp. 235–249.

CADE-2005-HustadtKS

Deciding Monodic Fragments by Temporal Resolution (UH, BK, RAS), pp. 204–218.

CADE-2005-KonevWZ #logic #transitive

Temporal Logics over Transitive States (BK, FW, MZ), pp. 182–203.

ICLP-2005-DuanYK #logic programming #semantics #source code

Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.

ICLP-2005-Nogueira #information management #programming language

A Temporal Programming Language for Heterogeneous Information Systems (VN), pp. 444–445.

LICS-2005-BarceloL #logic

Temporal Logics over Unranked Trees (PB, LL), pp. 31–40.

LICS-2005-GodefroidH #logic #model checking #semantics

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics (PG, MH), pp. 158–167.

LICS-2005-OuaknineW #decidability #logic #metric #on the

On the Decidability of Metric Temporal Logic (JO, JW), pp. 188–197.

DAC-2004-KwonKK #functional #graph #metric #synthesis

Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.

DATE-v1-2004-AlakarhuN #estimation #locality #metric #performance

Scalar Metric for Temporal Locality and Estimation of Cache Performance (JA, JN), pp. 730–731.

DATE-v1-2004-KwonK #functional #generative #graph #metric

Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.

DATE-v2-2004-MillbergNTJ #network #using

Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.

DATE-v2-2004-MondalCM #analysis #approach #logic #using

A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.

SIGMOD-2004-MokbelXA #database #incremental #named #query #scalability

SINA: Scalable Incremental Processing of Continuous Queries in Spatio-temporal Databases (MFM, XX, WGA), pp. 623–634.

SIGMOD-2004-NgC

Indexing Spatio-Temporal Trajectories with Chebyshev Polynomials (YC, RTN), pp. 599–610.

VLDB-2004-MendelzonRV #documentation #xml

Indexing Temporal XML Documents (AOM, FR, AAV), pp. 216–227.

VLDB-2004-MokbelXAHPH #data type #named #query #realtime

PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams (MFM, XX, WGA, SEH, SP, MAH), pp. 1377–1380.

TACAS-2004-AlfaroFHMS #model checking

Model Checking Discounted Temporal Properties (LdA, MF, TAH, RM, MS), pp. 77–92.

TACAS-2004-AlurEM #logic

A Temporal Logic of Nested Calls and Returns (RA, KE, PM), pp. 467–481.

PASTE-2004-YangE

Dynamically inferring temporal properties (JY, DE), pp. 23–28.

FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.

IFM-2004-ChenL #logic

Integrating Temporal Logics (YC, ZL), pp. 402–420.

SEFM-2004-ArbabBBR #component #logic #modelling

Models and Temporal Logics for Timed Component Connectors (FA, CB, FSdB, JJMMR), pp. 198–207.

SEFM-2004-FlakeM #bound #ocl

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL (SF, WM), pp. 154–163.

CHI-2004-FisherD #collaboration #social

Social and temporal structures in everyday collaboration (DF, PD), pp. 551–558.

CIKM-2004-GollapudiS #algorithm #analysis #framework #set

Framework and algorithms for trend analysis in massive temporal data sets (SG, DS), pp. 168–177.

ICML-2004-JenkinsM #reduction

A spatio-temporal extension to Isomap nonlinear dimension reduction (OCJ, MJM).

ICML-2004-RudarySP #adaptation #constraints #learning #reasoning

Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning (MRR, SPS, MEP).

ICML-2004-SimsekB #abstraction #identification #learning #using

Using relative novelty to identify useful temporal abstractions in reinforcement learning (ÖS, AGB).

ICPR-v1-2004-LindebergAL

Galilean-Diagonalized Spatio-Temporal Interest Operators (TL, AA, IL), pp. 57–62.

ICPR-v2-2004-BoutellL #image

Incorporating Temporal Context with Content for Classifying Image Collections (MRB, JL), pp. 947–950.

ICPR-v2-2004-ImiyaY #analysis

Principal Curve Analysis for Temporal Data (AI, NY), pp. 475–478.

ICPR-v2-2004-SageB #learning

Joint Spatial and Temporal Structure Learning for Task based Control (KS, HB), pp. 48–51.

ICPR-v3-2004-AlatasJS #retrieval #video

Compressed Spatio-temporal Descriptors for Video Matching and Retrieval (OA, OJ, MS), pp. 882–885.

ICPR-v3-2004-PigeauG #image #incremental #statistics

Incremental Statistical Geo-Temporal Structuring of a Personal Camera Phone Image Collection (AP, MG), pp. 878–881.

ICPR-v3-2004-RenS #constraints #sequence #video

Video Sequence Matching with Spatio-Temporal Constraints (WR, SS), pp. 834–837.

ICPR-v3-2004-ShanWQT #gesture #recognition #using

Gesture Recognition Using Temporal Template Based Trajectories (CS, YW, XQ, TT), pp. 954–957.

ICPR-v3-2004-TonniesPC #identification #image

Local Identification and Removal of Scatter Artefacts based on the Temporal Information in Dynamic SPECT images (KDT, CP, AC), pp. 762–765.

ICPR-v4-2004-HagaSY #analysis #detection #using

Human Detection in Outdoor Scene using Spatio-Temporal Motion Analysis (TH, KS, YY), pp. 331–334.

ICPR-v4-2004-HaritC #using #video

Video Shot Interpretation using Principles of Perceptual Prominence and Perceptual Grouping in Spatio-Temporal Domain (GH, SC), pp. 256–259.

ICPR-v4-2004-LeungALS #approach #energy #re-engineering

An Energy Minimisation Approach to Stereo-Temporal Dense Reconstruction (CL, BA, BCL, CS), pp. 72–75.

ICPR-v4-2004-PeternelL #learning #probability #recognition #visual notation

Visual Learning and Recognition of a Probabilistic Spatio-Temporal Model of Cyclic Human Locomotion (MP, AL), pp. 146–149.

ICPR-v4-2004-YangL #detection #multi

Multiple Pedestrian Detection and Tracking based on Weighted Temporal Texture Features (HDY, SWL), pp. 248–251.

ICPR-v4-2004-YazdiAB #analysis #process #segmentation

Morphological Analysis of Spatio-Temporal Patterns for the Segmentation of Cyclic Human Activities (MY, ABA, RB), pp. 240–243.

ICPR-v4-2004-ZengG #segmentation #semantics

Semantic Object Segmentation by a Spatio-Temporal MRF Model (WZ, WG), pp. 775–778.

ICPR-v4-2004-ZhangN04a

Improved Temporal Correspondences in Stereo-Vision by RANSAC (HZ, SN), pp. 52–55.

SIGIR-2004-DiazJ #precise #predict #query #using

Using temporal profiles of queries for precision prediction (FD, RJ), pp. 18–24.

PADL-2004-Hudak #algebra #polymorphism

An Algebraic Theory of Polymorphic Temporal Media (PH), pp. 1–15.

SAC-2004-AdamJA #dataset #detection

Neighborhood based detection of anomalies in high dimensional spatio-temporal sensor datasets (NRA, VPJ, VA), pp. 576–583.

SAC-2004-CombiOQ #approach #constraints #modelling #semistructured data #specification

Specifying temporal data models for semistructured data by a constraint-based approach (CC, BO, EQ), pp. 1103–1108.

SAC-2004-CombiP #architecture #workflow

Architectures for a temporal workflow management system (CC, GP), pp. 659–666.

IJCAR-2004-HustadtKRV #named #proving

TeMP: A Temporal Monodic Prover (UH, BK, AR, AV), pp. 326–330.

VMCAI-2004-XiaH #c #source code

Certifying Temporal Properties for Compiled C Programs (SX, JH), pp. 161–174.

ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using

On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.

DATE-2003-Ziv #functional #metric

Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.

SIGMOD-2003-Dyreson

Temporal Coalescing with Now, Granularity, and Incomplete Information (CED), pp. 169–180.

VLDB-2003-GaoS #evaluation #query #slicing #xml

Temporal Slicing in the Evaluation of XML Queries (DG, RTS), pp. 632–643.

VLDB-2003-PapadiasTS #predict #query

The TPR*-Tree: An Optimized Spatio-Temporal Access Method for Predictive Queries (YT, DP, JS), pp. 790–801.

VLDB-2003-TengCY #data type #mining

A Regression-Based Temporal Pattern Mining Scheme for Data Streams (WGT, MSC, PSY), pp. 93–104.

ESOP-2003-YahavRSW #evolution #logic #verification

Verifying Temporal Heap Properties Specified via Evolution Logic (EY, TWR, SS, RW), pp. 204–222.

FASE-2003-Kubica #approach #pointer #specification #verification

A Temporal Approach to Specification and Verification of Pointer Data-Structures (MK), pp. 231–245.

FASE-2003-MerzWZ #logic #mobile #refinement #specification

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.

TACAS-2003-ArmoniBKV #linear #logic

Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.

CSMR-2003-GibbsM #aspect-oriented #c++ #invariant #validation #weaving

Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.

PLDI-2003-AmmonsMBL #concept analysis #debugging #specification

Debugging temporal specifications with concept analysis (GA, DM, RB, JRL), pp. 182–195.

SAS-2003-ShahamYKS #memory management #safety

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (RS, EY, EKK, SS), pp. 483–503.

CIAA-2003-Fritz #automaton #linear #logic #simulation #using

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.

ICALP-2003-EisnerFHMC

The Definition of a Temporal Clock Operator (CE, DF, JH, AM, DVC), pp. 857–870.

FME-2003-TengT #specification

Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.

AdaEurope-2003-BurnsL #verification

Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.

SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification

Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.

ICEIS-v1-2003-AraqueS #consistency #maintenance

Data Warehouse Refreshment Maintaining Temporal Consistency (FA, JS), pp. 252–259.

ICEIS-v2-2003-MorenoJCR #fuzzy #induction

Induction of Temporal Fuzzy Chains (JMG, LJ, JJCS, LRB), pp. 308–315.

ICEIS-v3-2003-CaroGGCA #approach #communication #modelling #reasoning #workflow

A Temporal Reasoning Approach of Communication Based Workflow Modelling (JLC, AG, SG, AC, AA), pp. 245–250.

ECIR-2003-MakkonenAS #detection #topic

Topic Detection and Tracking with Spatio-Temporal Evidence (JM, HAM, MS), pp. 251–265.

ICML-2003-EngelMM #approach #difference #learning #process

Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning (YE, SM, RM), pp. 154–161.

ICML-2003-KotnikK #learning #self

The Significance of Temporal-Difference Learning in Self-Play Training TD-Rummy versus EVO-rummy (CK, JKK), pp. 369–375.

KDD-2003-HoNKLNYT #abstraction #mining

Mining hepatitis data with temporal abstraction (TBH, TDN, SK, SQL, DN, HY, KT), pp. 369–377.

KDD-2003-MaP #detection #online #sequence

Online novelty detection on temporal sequences (JM, SP), pp. 613–618.

MLDM-2003-ChiuX #mining #optimisation

Optimizing Financial Portfolios from the Perspective of Mining Temporal Structures of Stock Returns (KCC, LX), pp. 266–275.

SEKE-2003-BelliniGNR #c++ #implementation #logic #realtime

TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.

UML-2003-CabotOT #representation #uml

Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.

OOPSLA-2003-TanterNCC #behaviour

Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.

CADE-2003-DegtyarevFK

Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.

CADE-2003-HustadtK #proving

TRP++2.0: A Temporal Resolution Prover (UH, BK), pp. 274–278.

CAV-2003-ArmoniFFGPTV #detection #linear #logic

Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.

CAV-2003-ChechikG #logic #named #query

TLQSolver: A Temporal Logic Query Checker (MC, AG), pp. 210–214.

CAV-2003-Drusinsky #monitoring

Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.

CAV-2003-EisnerFHLMC #logic #reasoning

Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.

CAV-2003-Geilen #logic #on the fly #realtime

An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.

ICLP-2003-JungKCMK #ontology #semantics #web

Adding the Temporal Relations in Semantic Web Ontologies (KJ, HK, JC, YJM, PK), pp. 487–488.

LICS-2003-Drimmelen #logic #satisfiability

Satisfiability in Alternating-time Temporal Logic (GvD), pp. 208–217.

VMCAI-2003-Namjoshi #abstraction #proving

Lifting Temporal Proofs through Abstractions (KSN), pp. 174–188.

CBSE-2002-AguirreM #approach #component #logic #reasoning #specification

A Temporal Logic Approach to Component–Based System Specification and Reasoning (NA, TM), p. 11.

ASE-2002-AguirreM #approach #component #configuration management #logic #specification

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 271–274.

DATE-2002-CarmonaJDER #design #programmable

Bio-Inspired Analog VLSI Design Realizes Programmable Complex Spatio-Temporal Dynamics on a Single Chip (RCG, FJG, RDC, SEM, ÁRV), pp. 362–366.

SIGMOD-2002-ChoiC #estimation #query

Selectivity estimation for spatio-temporal queries to moving objects (YJC, CWC), pp. 440–451.

SIGMOD-2002-TaoP #database #query

Time-parameterized queries in spatio-temporal databases (YT, DP), pp. 334–345.

FoSSaCS-2002-SchoppS #process #using #verification

Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes (US, AKS), pp. 372–386.

TACAS-2002-ArmoniFFGGKLMSTVZ #logic

The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.

TACAS-2002-GunterP #concurrent #debugging

Temporal Debugging for Concurrent Systems (ELG, DP), pp. 431–444.

TACAS-2002-HongLSU #generative #logic #test coverage

A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.

SAS-2002-Masse #abstract interpretation #semantics

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.

DLT-2002-Esik #finite #generative #logic #monad #word

Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators (ZÉ), pp. 43–58.

ICALP-2002-AdsulS #linear #logic

Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.

ICALP-2002-GastinM #logic

An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.

CSCW-2002-ReddyD

A finger on the pulse: temporal rhythms and information seeking in medical work (MCR, PD), pp. 344–353.

CAiSE-2002-AdibaZ #multi #web

Building Spatio-Temporal Presentations Warehouses from Heterogeneous Multimedia Web Servers (MEA, JLZM), pp. 692–696.

CAiSE-2002-CombiM #multi #query

Querying Data with Multiple Temporal Dimensions (CC, AM), pp. 711–714.

CAiSE-2002-EderKM #metamodelling

The COMET Metamodel for Temporal Data Warehouses (JE, CK, TM), pp. 83–99.

ICEIS-2002-EderKK

Temporal Data Warehousing: Business Cases and Solutions (JE, CK, HK), pp. 81–88.

CIKM-2002-MotoyoshiMW #mining

Mining temporal classes from time series data (MM, TM, KW), pp. 493–498.

ICML-2002-PanangadanD #2d #correlation #learning #navigation

Learning Spatial and Temporal Correlation for Navigation in a 2-Dimensional Continuous World (AP, MGD), pp. 474–481.

ICPR-v1-2002-DuchesneBBC #classification #image #on the #using

On the Classification of Temporal Lobe Epilepsy Using MR Image Appearance (SD, NB, AB, DLC), pp. 520–523.

ICPR-v1-2002-Hayfron-AcquahNC #identification #symmetry

Human Identification by Spatio-Temporal Symmetry (JBHA, MSN, JNC), pp. 632–635.

ICPR-v1-2002-OkadaMTO

Temporally Evaluated Optical Flow: Study on Accuracy (RO, AM, YT, KO), pp. 343–347.

ICPR-v1-2002-RautiainenD #retrieval #video

Temporal Color Correlograms for Video Retrieval (MR, DSD), pp. 267–270.

ICPR-v2-2002-KamijoIS #image #invariant #markov #random #segmentation

Illumination Invariant Segmentation of Spatio-Temporal Images by Spatio-Temporal Markov Random Field Model (SK, KI, MS), pp. 617–622.

ICPR-v2-2002-TassoneWV #classification

Temporal PDMs for Gait Classification (ET, GAWW, SV), pp. 1065–1068.

ICPR-v2-2002-YangP02a #re-engineering

High-Resolution Reconstruction of Sparse Data from Dense Low-Resolution Spatio-Temporal Data (QY, BP), pp. 261–264.

ICPR-v3-2002-HongH #mining #multimodal

Multimodal Temporal Pattern Mining (PH, TSH), pp. 465–472.

ICPR-v4-2002-NgoPZ #analysis #retrieval #slicing

Motion Retrieval by Temporal Slices Analysis (CWN, TCP, HZ), pp. 64–67.

KR-2002-Bittner

Judgements about spatio-temporal relations (TB), pp. 521–532.

KR-2002-HazarikaC

Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.

KR-2002-HustadtS #benchmark #logic #metric

Scientific Benchmarking with Temporal Logic Decision Procedures (UH, RAS), pp. 533–546.

SEKE-2002-AugustoG #logic #modelling #paradigm

A temporal logic view of paradigm models (JCA, RG), pp. 497–503.

SIGIR-2002-Shalev-ShwartzDFS #modelling #query #robust

Robust temporal and spectral modeling for query By melody (SSS, SD, NF, YS), pp. 331–338.

PPDP-2002-NielsenPV #concurrent #constraints #on the #power of #programming language

On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.

POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving

Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.

SAC-2002-Leopold #locality #on the

On optimal temporal locality of stencil codes (CL), pp. 948–952.

SAC-2002-Norvag #database #query #xml

Temporal query operators in XML databases (KN), pp. 402–406.

SAC-2002-SeleznyovM #detection #learning

Learning temporal patterns for anomaly intrusion detection (AS, OM), pp. 209–213.

SAC-2002-Vimercati #documentation #xml

An authorization model for temporal XML documents (SDCdV), pp. 1088–1093.

FSE-2002-GurfinkelDC #logic #query

Model exploration with temporal logic query checking (AG, BD, MC), pp. 139–148.

ASPLOS-2002-LepakL

Temporally silent stores (KML, MHL), pp. 30–41.

CADE-2002-BernardL #logic

Temporal Logic for Proof-Carrying Code (AB, PL), pp. 31–46.

CAV-2002-HenzingerJMNSW #proving

Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.

LICS-2002-HodkinsonWZ #branch #decidability #first-order #logic

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (IMH, FW, MZ), pp. 393–402.

LICS-2002-LaroussinieMS #logic

Temporal Logic with Forgettable Past (FL, NM, PS), pp. 383–392.

RTA-2002-DeharbeMR #logic #model checking

Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae (DD, AMM, CR), pp. 207–221.

SAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability

SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.

ASE-2001-GiannakopoulouH #source code #verification

Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.

DAC-2001-KimJSLK #optimisation #using

Coupling Delay Optimization by Temporal Decorrelation using Dual Threshold Voltage Technique (KWK, SOJ, PS, CLL, SMK), pp. 732–737.

DATE-2001-FeketeKT #constraints #precedence

Optimal FPGA module placement with temporal precedence constraints (SPF, EK, JT), pp. 658–667.

PODS-2001-ZhangMTGS #performance

Efficient Computation of Temporal Aggregates with Range Predicates (DZ, AM, VJT, DG, BS).

VLDB-2001-AmbiteKKMST #integration #web

The WorlInfo Assistant: Spatio-Temporal Information Integration on the Web (JLA, CAK, MRK, MM, CS, ST), pp. 717–718.

VLDB-2001-JensenL #database #transaction

Transaction Timestamping in (Temporal) Databases (CSJ, DBL), pp. 441–450.

VLDB-2001-PapadiasT #named #query

MV3R-Tree: A Spatio-Temporal Access Method for Timestamp and Interval Queries (YT, DP), pp. 431–440.

VLDB-2001-SindoniTABFGMPPT #information management #named

SIT-IN: a Real-Life Spatio-Temporal Information System (GS, LT, AA, CB, SDF, OG, RM, MP, PP, PT), pp. 711–712.

TACAS-2001-ChocklerKV #logic #metric #model checking

Coverage Metrics for Temporal Logic Model Checking (HC, OK, MYV), pp. 528–542.

ICALP-2001-BilardiP #locality #memory management

A Characterization of Temporal Locality and Its Portability across Memory Hierarchies (GB, EP), pp. 128–139.

CAiSE-2001-CombiM #modelling #multi

Data Models with Multiple Temporal Dimensions: Completing the Picture (CC, AM), pp. 187–202.

ICEIS-v1-2001-ReisM #constraints #multi #scheduling

Multi-Agent Dynamic Scheduling and Re-Scheduling with Global Temporal Constraints (JR, NJM), pp. 315–321.

ICEIS-v1-2001-StojanovicDS #development #network

Exploiting Temporal GIS and Spatio-Temporal Data to Enhance Telecom Network Planning and Development (DS, SDK, ZS), pp. 88–95.

ICEIS-v2-2001-BarjisC #approach #aspect-oriented #modelling #petri net #process

Integrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling (JB, SC), pp. 745–752.

ICML-2001-ChoiR #approximate #difference #fixpoint #learning #performance

A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.

ICML-2001-PrecupSD #approximate #difference #learning

Off-Policy Temporal Difference Learning with Function Approximation (DP, RSS, SD), pp. 417–424.

ICML-2001-SchwabacherL

Discovering Communicable Scientific Knowledge from Spatio-Temporal Data (MS, PL), pp. 489–496.

MLDM-2001-SchmidtG #abstraction #reasoning

Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications (RS, LG), pp. 23–34.

MLDM-2001-SyG #analysis #approach #data mining #mining #statistics

Data Mining Approach Based on Information-Statistical Analysis: Application to Temporal-Spatial Data (BKS, AKG), pp. 128–140.

SEKE-2001-IosifS #java #logic

Temporal Logic Properties of Java Objects (RI, RS), pp. 120–127.

SEKE-2001-MoroSES #evolution #specification

A Temporal Versions Model for Time- Evolving Systems Specification (MMM, SMS, NE, CSdS), pp. 252–259.

SIGIR-2001-AllanGK #summary #topic

Temporal Summaries of News Topics (JA, RG, VK), pp. 10–18.

PADL-2001-RaffaetaF #constraints #logic programming

Spatio-temporal Annotated Constraint Logic Programming (AR, TWF), pp. 259–273.

CAV-2001-BeerBEFGR #logic

The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.

ICLP-2001-BanbaraKHT #linear #logic programming

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.

IJCAR-2001-LutzSWZ #constant #logic

Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.

LICS-2001-BrunsG #logic #query

Temporal Logic Query Checking (GB, PG), pp. 409–417.

LICS-2001-LangeS #game studies #logic #satisfiability

Focus Games for Satisfiability and Completeness of Temporal Logic (ML, CS), pp. 357–365.

DATE-2000-GanesanV00a #clustering #configuration management #design #latency

An Integrated Temporal Partitioning and Partial Reconfiguration Technique for Design Latency Improvement (SG, RV), pp. 320–325.

SIGMOD-2000-YangYW #named

TIP: A Temporal Extension to Informix (JY, HCY, JW), p. 596.

VLDB-2000-CowleyP #constraints #nondeterminism

Temporal Integrity Constraints with Indeterminacy (WC, DP), pp. 441–450.

VLDB-2000-JiangSLB

The BT-tree: A Branched and Temporal Access Method (LJ, BS, DBL, MBG), pp. 451–460.

VLDB-2000-MendelzonV #query

Temporal Queries in OLAP (AOM, AAV), pp. 242–253.

FoSSaCS-2000-Tsay #composition #linear #logic #verification

Compositional Verification in Linear-Time Temporal Logic (YKT), pp. 344–358.

STOC-2000-KempeKK #network #problem

Connectivity and inference problems for temporal networks (DK, JMK, AK), pp. 504–513.

ICALP-2000-MannaS #safety

Alternating the Temporal Picture for Safety (ZM, HS), pp. 429–450.

ICALP-2000-Moszkowski #logic #proving

An Automata-Theoretic Completeness Proof for Interval Temporal Logic (BCM), pp. 223–234.

CAiSE-2000-LopezO #concept #evolution #framework #information management

A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems (JRL, AO), pp. 369–386.

CAiSE-2000-ObermairS #execution #transaction

Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.

CIKM-2000-Norvag #case study #comparative #database

A Comparative Study of Log-Only and In-Place Update Based Temporal Object Database Systems (KN), pp. 496–503.

ICML-2000-FariasR #approximate #fixpoint #learning

Fixed Points of Approximate Value Iteration and Temporal-Difference Learning (DPdF, BVR), pp. 207–214.

ICML-2000-ForsterW #bound #learning

Relative Loss Bounds for Temporal-Difference Learning (JF, MKW), pp. 295–302.

ICML-2000-KatayamaKK #learning #using

A Universal Generalization for Temporal-Difference Learning Using Haar Basis Functions (SK, HK, SK), pp. 447–454.

ICML-2000-LiB #approach #clustering #markov #modelling #using

A Bayesian Approach to Temporal Data Clustering using Hidden Markov Models (CL, GB), pp. 543–550.

ICPR-v1-2000-KamijoMIS #markov #random #robust

Occlusion Robust Tracking Utilizing Spatio-Temporal Markov Random Field Model (SK, YM, KI, MS), pp. 1140–1144.

ICPR-v1-2000-OkutomiS #image #using

Shape Recovery of Rotating Object Using Weighted Voting of Spatio-Temporal Image (MO, SS), pp. 1790–1793.

ICPR-v1-2000-PalettaPP #analysis #learning #recognition #using

Learning Temporal Context in Active Object Recognition Using Bayesian Analysis (LP, MP, AP), pp. 1695–1699.

ICPR-v1-2000-SunFT #segmentation #video

Spatio-Temporal Segmentation for Video Surveillance (HS, TF, TT), pp. 1843–1846.

ICPR-v2-2000-ClarkO

A Temporal-Difference Model of Perceptual Stability in Color Vision (JJC, JKO), pp. 2503–2506.

ICPR-v2-2000-HongH #learning #sequence

Learning to Extract Temporal Signal Patterns from Temporal Signal Sequence (PH, TSH), pp. 2648–2651.

ICPR-v2-2000-PolickerG #algorithm #clustering #fuzzy #predict

A New Algorithm for Time Series Prediction by Temporal Fuzzy Clustering (SP, ABG), pp. 2728–2731.

ICPR-v2-2000-WohlerKA #classification #image #recognition #sequence

Pedestrian Recognition by Classification of Image Sequences — Global Approaches vs. Local Spatio-Temporal Processing (CW, UK, JKA), pp. 2540–2544.

ICPR-v3-2000-BadenasSP #integration #monitoring #sequence #using

Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.

ICPR-v3-2000-KorimilliS #segmentation

Motion Segmentation Based on Perceptual Organization of Spatio-Temporal Volumes (KK, SS), pp. 3852–3857.

ICPR-v3-2000-MajchrzakSSM #detection #image

Motion Detection from Temporally Integrated Images (DM, SS, BS, RRM), pp. 3844–3847.

ICPR-v3-2000-VincentCF #3d #segmentation #tool support #using

Spatio-Temporal Segmentation Using 3D Morphological Tools (VA, CR, FH), pp. 3885–3892.

ICPR-v3-2000-YamanaSA #detection #image #reliability #using

Edge Plane Detection in Spatio-Temporal Images by Using Edge Vector and Edge Reliability (FY, TS, KA), pp. 3664–3667.

ICPR-v4-2000-RohKL #modelling #multi #people #using

Multiple People Tracking Using an Appearance Model Based on Temporal Color (HKR, SK, SWL), pp. 4643–4646.

ICPR-v4-2000-SziranyiC #optimisation #parallel #segmentation #using

Spatio-Temporal Segmentation with Edge Relaxation and Optimization Using Fully Parallel Methods (TS, LC), pp. 4820–4823.

ICPR-v4-2000-Zheng #analysis #flexibility

A Flexible Laser Range Sensor Based on Spatial-temporal Analysis (JYZ), pp. 4740–4743.

KR-2000-Vidal #constraints #network

Controllability characterization and checking in Contingent Temporal Constraint Networks (TV), pp. 559–570.

KR-2000-WolterZ #reasoning #representation

Spatio-temporal representation and reasoning based on RCC-8 (FW, MZ), pp. 3–14.

POPL-2000-CousotC #abstract interpretation

Temporal Abstract Interpretation (PC, RC), pp. 12–25.

SAC-2000-AleR #approach

An Approach to Discovering Temporal Association Rules (JMA, GR), pp. 294–300.

SAC-2000-BodlaenderRS #analysis #design #named

TRAnD: Temporal Requirement Analysis and Design Tool (MPB, AHLR, PDVvdS), pp. 882–886.

SAC-2000-BodolayE #database

A Schema-less Spatio-Temporal Database System (MB, MEM), pp. 366–373.

SAC-2000-LimT00a

Tournament Selection for Browsing Temporal Signals (ISL, DT), pp. 570–573.

SAC-2000-TryfonaJ #abstraction #concept #modelling #using

Using Abstractions for Spatio-Temporal Conceptual Modeling (NT, CSJ), pp. 313–322.

CAV-2000-Chan #query

Temporal-Locig Queries (WC), pp. 450–463.

LICS-2000-Moszkowski #axiom #infinity #logic

A Complete Axiomatization of Interval Temporal Logic with Infinite Time (BCM), pp. 241–252.

DAC-1999-ChinosiZG #clustering #parallel #simulation

Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning (MC, RZ, CG), pp. 562–567.

DAC-1999-KaulVGO #approach #automation #clustering #configuration management #synthesis

An Automated Temporal Partitioning and Loop Fission Approach for FPGA Based Reconfigurable Synthesis of DSP Applications (MK, RV, SG, IO), pp. 616–622.

DATE-1999-KaulV #clustering #design #latency #runtime

Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs (MK, RV), pp. 202–209.

ICDAR-1999-ZhengDWL #online #recognition

Spatio-temporal Unified Model for On-line Handwritten Chinese Character Recognition (JZ, XD, YW, ZL), pp. 649–652.

VLDB-1999-BaumannDFRW #retrieval

Spatio-Temporal Retrieval with RasDaMan (PB, AD, PF, RR, NW), pp. 746–749.

VLDB-1999-Norvag #database #object-oriented #persistent

The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems (KN), pp. 66–77.

FoSSaCS-1999-NarasimhaCI #calculus #logic #probability #μ-calculus

Probabilistic Temporal Logics via the Modal μ-Calculus (MN, RC, SPI), pp. 288–305.

PLDI-1999-SongL #locality

New Tiling Techniques to Improve Cache Temporal Locality (YS, ZL), pp. 215–228.

SAS-1999-CansellM #specification

Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.

ICALP-1999-AlurTEP #logic #parametricity

Parametric Temporal Logic for “Model Measuring” (RA, KE, SLT, DP), pp. 159–168.

FM-v1-1999-Couvreur #linear #logic #on the fly #verification

On-the-Fly Verification of Linear Temporal Logic (JMC), pp. 253–271.

FM-v2-1999-KellomakiM #design #logic

Archived Design Steps in Temporal Logic (PK, TM), p. 1858.

IFM-1999-Mery #automaton #requirements

Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.

HCI-EI-1999-CarrerasE #empirical

The Temporal Structure of a Dynamic Environment in a Microworld Experiment (OC, HE), pp. 885–889.

HCI-EI-1999-Goppold

Spatio-Temporal Perspectives: A new way for cognitive enhancement (AG), pp. 476–480.

CAiSE-1999-Olive #perspective

Relationship Reification: A Temporal View (AO), pp. 396–410.

CAiSE-1999-SvinterikouT #information management #modelling #named

TUML: A Method for Modelling Temporal Information Systems (MS, BT), pp. 456–461.

CAiSE-1999-YiJ #process #reasoning #representation

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.

ICEIS-1999-Baptista #multi #on the

On Incorporating Multimedia into Spatio-Temporal Systems (CdSB), pp. 23–28.

ICML-1999-Boyan #difference #learning

Least-Squares Temporal Difference Learning (JAB), pp. 49–56.

ICML-1999-Zhang #approach #learning

An Region-Based Learning Approach to Discovering Temporal Structures in Data (WZ), pp. 484–492.

ICSE-1999-Jacob #development #framework #information management #object-oriented

Development of Object Oriented Frameworks for Spatio-Temporal Information systems (AJ), pp. 720–721.

CAV-1999-BrunsG #logic #model checking

Model Checking Partial State Spaces with 3-Valued Temporal Logics (GB, PG), pp. 274–287.

CAV-1999-DanieleGV #automaton #generative #linear #logic

Improved Automata Generation for Linear Temporal Logic (MD, FG, MYV), pp. 249–260.

CAV-1999-Etessami #automaton #invariant #logic

Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.

CSL-1999-DiekertG #logic

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces (VD, PG), pp. 188–203.

CSL-1999-HirshfeldR #logic

Quantitative Temporal Logic (YH, AMR), pp. 172–187.

ICLP-1999-DekhtyarDS #logic programming #probability #source code

Temporal Probabilistic Logic Programs (AD, MID, VSS), pp. 109–123.

LICS-1999-BaziramwaboMT #composition #logic

Modular Temporal Logic (AB, PM, DT), pp. 344–351.

LICS-1999-EmersonT #parametricity #reasoning

Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.

DATE-1998-KaulV #architecture #clustering #configuration management #synthesis

Optimal Temporal Partitioning and Synthesis for Reconfigurable Architectures (MK, RV), pp. 389–396.

HT-1998-HayashiNHTHG #documentation #thread

Temporally Threaded Workspace: A Model for Providing Activity-Based Perspectives on Document Spaces (KH, TN, TH, MT, SH, SG), pp. 87–96.

VLDB-1998-ChakrabartiSD #mining #using

Mining Surprising Patterns Using Temporal Description Length (SC, SS, BD), pp. 606–617.

TACAS-1998-AjamiHI #linear #logic #model checking #symmetry

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.

WRLA-1998-Denker #logic

From rewrite theories to temporal logic theories (GD), pp. 105–126.

ICALP-1998-KestenPR #algorithm #linear #logic #specification #verification

Algorithmic Verification of Linear Temporal Logic Specifications (YK, AP, LoR), pp. 1–16.

ICFP-1998-Ennals #finite #nondeterminism #reasoning

Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.

TAGT-1998-GadducciHK #logic

A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.

CIKM-1998-DumasFS #pattern matching #query

Handling Temporal Grouping and Pattern-Matching Queries in a Temporal Object Model (MD, MCF, PCS), pp. 424–431.

CIKM-1998-GoralwallaLOC

Temporal Granularity for Unanchored Temporal Data (IAG, YL, MTÖ, DS, CC), pp. 414–423.

ICML-1998-SuttonPS #learning

Intra-Option Learning about Temporally Abstract Actions (RSS, DP, SPS), pp. 556–564.

ICPR-1998-BouthemyF #metric #video

Motion characterization from temporal cooccurrences of local motion-based measures for video indexing (PB, RF), pp. 905–908.

ICPR-1998-HanKKL #network #probability #segmentation

Temporal segmentation and selective attention in the stochastic oscillator neural network (SKH, WSK, HK, SWL), pp. 259–261.

ICPR-1998-HuotHB #image #segmentation

Segmentation of temporal effects on phasimetric SAR images (EGH, IH, DB), pp. 1390–1392.

ICPR-1998-OtsukaHSF #feature model

Feature extraction of temporal texture based on spatiotemporal motion trajectory (KO, TH, SS, MF), pp. 1047–1051.

KR-1998-BalbianiCC #reasoning

A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.

KR-1998-Muller

A Qualitative Theory of Motion Based on Spatio-Temporal Primitives (PM), pp. 131–143.

KR-1998-MuscettolaMT #execution #performance

Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.

KR-1998-Reiter

Sequential, Temporal GOLOG (RR), pp. 547–556.

SAC-1998-BohlenJS #database #legacy

Spatio-temporal database support for legacy applications (MHB, CSJ, BS), pp. 226–234.

SAC-1998-LazanoM #query #using

Querying virtual videos using path and temporal expressions (RL, HM), pp. 248–252.

SAC-1998-SiLLL #database #modelling #video

Modeling video objects in 4DIS temporal database system (AS, RWHL, QL, HVL), pp. 525–531.

SAC-1998-SiLW #evolution #framework #metadata #named

4DIS: a temporal framework for unifying meta-data and data evolution (AS, HVL, PYW), pp. 203–210.

HPCA-1998-KalamatianosK #order #performance

Temporal-Based Procedure Reordering for Improved Instruction Cache Performance (JK, DRK), pp. 244–253.

CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.

CSL-1998-GiannottiMNP #database #effectiveness #logic #nondeterminism #on the #semantics

On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases (FG, GM, MN, DP), pp. 58–72.

IWTCS-1998-DietrichLKH #distributed #logic #testing

Testing Temporal Logic Properties in Distributed Systems (FD, XL, SK, JPH), pp. 247–258.

ASE-1997-CohenF #abstraction #automation #database #re-engineering #source code

Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction (YC, YAF), pp. 90–97.

EDTC-1997-UrsuGZ #automaton #design #logic #specification #using #verification

Design and verification of the sequential systems automata using temporal logic specifications (AU, GG, SZ), p. 623.

EDTC-1997-WalkerG97a #distributed #independence #simulation

Exploiting temporal independence in distributed preemptive circuit simulation (PW, SG), pp. 378–382.

ICDAR-1997-BunkeAKHSSE #online #recognition #word

Recovery of temporal information of cursively handwritten words for on-line recognition (HB, RA, GK, TMH, MS, RS, FE), pp. 931–935.

SIGMOD-1997-MotakisZ #database

Temporal Aggregation in Active Database Rules (IM, CZ), pp. 440–451.

TACAS-1997-SchmittG #linear #logic

A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.

CAiSE-1997-SteinerN #modelling

Temporal Object Role Modelling (AS, MCN), pp. 245–258.

CAiSE-1997-TagashiraAAK #concept #representation

Interval-Based Representation of Spatio-Temporal Concepts (TT, TA, MA, YK), pp. 231–244.

CIKM-1997-GoralwallaLOS #modelling

Modeling Temporal Primitives: Back to Basics (IAG, YL, MTÖ, DS), pp. 24–31.

TOOLS-ASIA-1997-WangWDR #framework #query

A Uniform Framework for Processing Temporal Object Queries (LW, MW, CD, NR), pp. 28–37.

TOOLS-USA-1997-OzsuGS #framework #modelling #object-oriented

A Framework for Temporal Data Models: Exploiting Object-Oriented Technology (MTÖ, IAG, DS), pp. 16–30.

RE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.

ICSE-1997-GrahamU #architecture #user interface #visual notation

Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces (TCNG, TU), pp. 172–182.

CADE-1997-Vardi #automaton #logic

Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics (MYV), pp. 191–206.

ILPS-1997-Clarke #logic #model checking

Temporal Logic Model Checking (Abstract) (EMC), p. 3.

LICS-1997-EtessamiVW #first-order #logic

First-Order Logic with Two Variables and Unary Temporal Logic (KE, MYV, TW), pp. 228–235.

LICS-1997-KanovichI #concurrent #linear #logic #process #specification

Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract) (MIK, TI), pp. 48–57.

LICS-1997-ThiagarajanW #linear #logic

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (PST, IW), pp. 183–194.

DAC-1996-ChandramouliS #modelling #proximity

Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time (VC, KAS), pp. 617–622.

PODS-1996-AbiteboulHB #database #first-order #logic #query

Temporal Versus First-Order Logic to Query Temporal Databases (SA, LH, JVdB), pp. 49–57.

PODS-1996-BettiniWJ #data mining #mining #multi #testing

Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining (CB, XSW, SJ), pp. 68–78.

PODS-1996-Toman #database #query

Point vs. Interval-based Query Languages for Temporal Databases (DT), pp. 58–67.

VLDB-1996-BertinoBFS #data access #database #reasoning

Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control (EB, CB, EF, PS), pp. 472–483.

VLDB-1996-BohlenSS #database

Coalescing in Temporal Databases (MHB, RTS, MDS), pp. 180–191.

CSCW-1996-Ramduny #architecture #interface

Temporal Interface Issues and Software Architecture for Remote Cooperative Work (doctoral colloquium) (DR), p. 447.

CAiSE-1996-GalES #execution #named

TALE: A Temporal Active Language and Execution Model (AG, OE, AS), pp. 60–81.

ICML-1996-PendrithR #difference #learning

Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.

ICPR-1996-AleksandrovskyWGLG #algorithm #sequence

An algorithm derived from thalamocortical circuitry stores and retrieves temporal sequences (BA, JW, AG, GL, RG), pp. 550–554.

ICPR-1996-HaddonB #image #sequence

Spatio-temporal relaxation labelling applied to segmented infrared image sequences (JFH, JFB), pp. 171–175.

ICPR-1996-HwangH #approach #using

Performing temporal action with a hand-eye system using the SHOSLIF approach (WSH, SJH), pp. 35–39.

ICPR-1996-PrantlGP #multi #network #using

Active fusion using Bayesian networks applied to multi-temporal remote sensing imagery (MP, HG, AP), pp. 890–894.

ICPR-1996-YahiaHV #image

Temporal tracking of oceanographic images by implicit functions (HMY, IH, LV), pp. 969–973.

KDD-1996-PadmanabhanT #approach #database #logic

Pattern Discovery in Temporal Databases: A Temporal Logic Approach (BP, AT), pp. 351–354.

FSE-1996-DillonR #generative #logic #specification

Generating Oracles from Your Favorite Temporal Logic Specifications (LKD, YSR), pp. 106–117.

CADE-1996-Dixon #logic

Search Strategies for Resolution in Temporal Logics (CD), pp. 673–687.

CADE-1996-Nonnengart #calculus #logic

Resolution-Based Calculi for Modal and Temporal Logics (AN), pp. 598–612.

CAV-1996-AlfaroM #diagrams #verification

Temporal Verification by Diagram Transformations (LdA, ZM), pp. 288–299.

LICS-1996-Davies #analysis #approach

A Temporal-Logic Approach to Binding-Time Analysis (RD), pp. 184–195.

LICS-1996-EtessamiW #logic

An Until Hierarchy for Temporal Logic (KE, TW), pp. 108–117.

LICS-1996-Ramanujam #linear #logic

Locally Linear Time Temporal Logic (RR), pp. 118–127.

SIGMOD-1995-BettiniWBJ #database #evaluation #query #semantics

Semantic Assumptions and Query Evaluation in Temporal Databases (CB, XSW, EB, SJ), pp. 257–268.

SIGMOD-1995-SistlaW #constraints #database

Temporal Conditions and Integrity Constraints in Active Database Systems (APS, OW), pp. 269–280.

DLT-1995-Nitsche #linear #logic #semantics

A Finitary-Language Semantics for Propositional Linear Temporal Logic (UN), pp. 482–489.

CIKM-1995-GoralwallaTO #database #relational

Experimenting with Temporal Relational Databases (IAG, AUT, MTÖ), pp. 296–303.

CIKM-1995-Wang #algebra #database #multi #query

Algebraic Query Languages on Temporal Databases with Multiple Time Granularities (XSW), pp. 304–311.

ICML-1995-CichoszM #difference #learning #performance

Fast and Efficient Reinforcement Learning with Truncated Temporal Differences (PC, JJM), pp. 99–107.

KDD-1995-StolorzNMMSSYNCMF #data mining #dataset #mining #performance #scalability

Fast Spatio-Temporal Data Mining of Large Geophysical Datasets (PES, HN, EM, RRM, ECS, JRS, JY, KWN, SYC, CRM, JDF), pp. 300–305.

SEKE-1995-SchwerKB #concept

The Temporal Dimension of Conceptual Dimension Objects (SRS, NK, JB), pp. 98–102.

ICSE-1995-KangK #named #realtime #specification #verification

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (KCK, KIK), pp. 169–176.

CAV-1995-AzizSB #logic #probability

It Usually Works: The Temporal Logic of Stochastic Systems (AA, VS, FB), pp. 155–165.

CAV-1995-Kupferman #branch #logic #quantifier

Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions (OK), pp. 325–338.

ICLP-1995-Sripada #calculus #database #implementation #performance

Efficient Implementation of the Event Calculus for Temporal Database Applications (SMS), pp. 99–113.

ILPS-1995-Brzoska #logic programming

Temporal Logic Programming in Dense Time (CB), pp. 303–317.

LICS-1995-Dutertre #first-order #logic #proving

Complete Proof Systems for First Order Interval Temporal Logic (BD), pp. 36–43.

HT-ECHT-1994-TaylorTB #concept #hypermedia #representation

Representation and Manipulation of Conceptual, Temporal and Geographical Knowledge in a Museum Hypermedia System (CT, DT, PBD), pp. 239–244.

SIGMOD-1994-TheodoulidisAACKS #database

The ORES Temporal Database Management System (BT, AAB, GA, JC, GK, SS), p. 511.

VLDB-1994-LuOT #on the

On Spatially Partitioned Temporal Join (HL, BCO, KLT), pp. 546–557.

CIKM-1994-ChengG #database #pattern matching

A Pattern Matching Language for Spatio-Temporal Databases (TSC, SKG), pp. 288–295.

CIKM-1994-KouramajianKEW #database #incremental

The Time Index+: An Incremental Access Structure for Temporal Databases (VK, IK, RE, SW), pp. 296–303.

CIKM-1994-PissinouMP #framework #modelling #multi #towards

Towards a Framework for Integrating Multilevel Secure Models and Temporal Data Models (NP, KM, EKP), pp. 280–287.

ICML-1994-SchapireW #algorithm #analysis #learning #on the #worst-case

On the Worst-Case Analysis of Temporal-Difference Learning Algorithms (RES, MKW), pp. 266–274.

KR-1994-GereviniS #performance #reasoning

An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning (AG, LKS), pp. 214–225.

KR-1994-Koubarakis #complexity #constraints #first-order

Complexity Results for First-Order Theories of Temporal Constraints (MK), pp. 379–390.

SEKE-1994-KrogstieS

Extending a temporal rule language with deontic operators (JK, GS), pp. 314–321.

SEKE-1994-MiyakawaY #logic

Temporal logic extended with object creation and destruction (SM, NY), pp. 156–163.

SEKE-1994-Pliuskevicius #deduction #specification

Saturated deductive systems for temporal specifications (RP), pp. 267–273.

SEKE-1994-Sakalauskaite #branch #calculus #first-order #logic

A complete sequent calculus for a first order branching temporal logic (JS), pp. 274–280.

LOPSTR-1994-HoekMT #semantics

Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.

LOPSTR-1994-Treur #architecture #reasoning #semantics

Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (JT), pp. 353–376.

PLILP-1994-Fruhwirth #constraints #logic programming #reasoning

Annotated Constraint Logic Programming Applied to Temporal Reasoning (TWF), pp. 230–243.

FSE-1994-DillonY #concurrent

Oracles for Checking Temporal Properties of Concurrent Systems (LKD, QY), pp. 140–153.

CAV-1994-CyrlukN #hardware #logic #verification

Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.

LICS-1994-Thiagarajan #linear #logic

A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.

PODS-1993-ChomickiN #constraints #on the

On the Feasibility of Checking Temporal Integrity Constraints (JC, DN), pp. 202–213.

SIGMOD-1993-WangJS #approach #database #towards

Temporal Modules: An Approach Toward Federated Temporal Databases (XSW, SJ, VSS), pp. 227–236.

VLDB-1993-ChandraS #database

Managing Temporal Financial Data in an Extensible Database (RC, AS), pp. 302–313.

VLDB-1993-Plexousakis #constraints #deduction #knowledge base #maintenance

Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases (DP), pp. 146–157.

ICALP-1993-BrownG #category theory #logic #petri net

Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.

ICALP-1993-LodayaT #decidability #logic #partial order

Decidability of a Partial Order Based Temporal Logic (KL, PST), pp. 582–592.

CAiSE-1993-AntonellisV #reuse #specification

Temporal Apsects in Reuse of Requirement Specifications (VDA, LV), pp. 504–520.

CAiSE-1993-EdelweissOP #object-oriented

An Object-Oriented Temporal Model (NE, JPMdO, BP), pp. 397–415.

CIKM-1993-ElmasriKF #approach #database #modelling #object-oriented

Temporal Database Modeling: An Object-Oriented Approach (RE, VK, SF), pp. 574–585.

CIKM-1993-PissinouM #database #representation #semantics

Separating Semantics from Representation in a Temporal Object Database Domain (NP, KM), pp. 295–304.

SEKE-1993-DojatS #reasoning

Temporal Reasoning in a Medical Expertise (MD, CS), pp. 134–141.

SEKE-1993-Paterno #logic #user interface #using

Definition of Properties of User Interfaces Using Action-Based Temporal Logic (FP), pp. 314–318.

SEKE-1993-YoshiuraY #logic #specification

More Expressive Temporal Logic for Specifications (NY, NY), pp. 363–366.

ECOOP-1993-RoseS #algebra #named #object-oriented

TOOA: A Temporal Object-Oriented Algebra (ER, AS), pp. 297–325.

RE-1993-KentMQ #constraints #fault #specification

Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.

CAV-1993-ClarkeFJ #logic #model checking #symmetry

Exploiting Symmetry In Temporal Logic Model Checking (EMC, TF, SJ), pp. 450–462.

CAV-1993-KestenMMP #algorithm #logic

A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.

ICLP-1993-Brzoska #bound #logic programming

Temporal Logic Programming with Bounded Universal Modality Goals (CB), pp. 239–256.

ICLP-1993-PintoR #calculus #logic programming #reasoning

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.

ILPS-1993-Orgun #logic programming

The Soundness and Completeness of a Temporal Extension of Logic Programming (MAO), p. 669.

ILPS-1993-RodriguesL #information retrieval #reasoning

Temporal Reasoning for Temporal Information Retrieval From Text (IPR, JGL), p. 675.

DAC-1992-ShenoySBS #equivalence #on the

On the Temporal Equivalence of Sequential Circuits (NVS, KJS, RKB, ALSV), pp. 405–409.

HT-ECHT-1992-BuchananZ #behaviour #documentation #hypermedia #specification

Specifying Temporal Behavior in Hypermedia Documents (MCB, PZ), pp. 262–271.

SIGMOD-1992-KaferS

Realizing a Temporal Complex-Object Data Model (WK, HS), pp. 266–275.

VLDB-1992-ChuITB #image #object-oriented #query

A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management (WWC, ITI, RKT, CMB), pp. 53–64.

VLDB-1992-DayalW #approach #query

A Uniform Approach to Processing Temporal Queries (UD, GTJW), pp. 407–418.

VLDB-1992-GadiaNP #database #relational

Incomplete Information in Relational Temporal Databases (SKG, SSN, YCP), pp. 395–406.

VLDB-1992-LeungM #database #multi #optimisation #query

Temporal Query Processing and Optimization in Multiprocessor Database Machines (TYCL, RRM), pp. 383–394.

ICALP-1992-ChangMP

Characterization of Temporal Property Classes (EYC, ZM, AP), pp. 474–486.

CIKM-1992-PissinouM #database #framework

A Framework for Temporal Object Databases (NP, KM), pp. 86–97.

KR-1992-CordierS #reasoning

A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.

KR-1992-Koubarakis #constraints #exclamation

Dense Time and Temporal Constraints with != (MK), pp. 24–35.

KR-1992-SchragBC #reasoning

Managing Disjunction for Practical Temporal Reasoning (RS, MB, JC), pp. 36–46.

ML-1992-Singh #algorithm #learning #modelling #scalability

Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models (SPS), pp. 406–415.

ML-1992-Tesauro #difference #learning

Temporal Difference Learning of Backgammon Strategy (GT), pp. 451–457.

SEKE-1992-Chen #information management #nondeterminism

Uncertain Temporal Knowledge Management (ZC), pp. 94–100.

TOOLS-EUROPE-1992-CervoniR #constraints #design #named #object-oriented #problem #reuse

C/O: A Tool Reusing OO Design for Temporal Constraints Satisfaction Problems (LC, FR), pp. 79–85.

CADE-1992-Bauer #logic #multi

An Interval-based Temporal Logic in a Multivalued Setting (MB), pp. 355–369.

CADE-1992-Fisher #first-order #normalisation

A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.

CAV-1992-HamaguchiHY #branch #design #logic #using #verification

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic (KH, HH, SY), pp. 206–219.

CAV-1992-Kaivola #composition #linear #logic #model checking

Compositional Model Checking for Linear-Time Temporal Logic (RK), pp. 248–259.

PODS-1991-BaudinetNW #infinity #on the #query #representation

On the Representation of Infinite Temporal Data and Queries (MB, MN, PW), pp. 280–290.

VDME-1991-1-HepingZ #prototype

Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.

AdaEurope-1991-CurtisS #ada #modelling #using

Modelling the Temporal Summation of Neural Membranes Using the Ada Language (MCC, VJDS), pp. 2–19.

CAiSE-1991-Oelmann #object-oriented #representation #specification

Representing a System Specification with a Temporal Dimension in an Object-Oriented Language (AO), pp. 540–560.

CAiSE-1991-WiederholdJL #database

Dealing with Granularity of Time in Temporal Databases (GW, SJ, WL), pp. 124–140.

KR-1991-Allen #reasoning

Planning as Temporal Reasoning (JFA), pp. 3–14.

KR-1991-Amsterdam #reasoning

Temporal Reasoning and Narrative Conventions (JA), pp. 15–21.

KR-1991-BarringerFGH #execution #logic

Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.

KR-1991-DavisC #clustering

Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.

KR-1991-Haddawy #logic #probability #representation

A Temporal Probability Logic for Representing Actions (PH), pp. 313–324.

ML-1991-Feng #fault

Inducing Temporal Fault Diagnostic Rules from a Qualitative Model (CF), pp. 403–406.

LOPSTR-1991-Noel #nondeterminism

A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.

POPL-1991-HenzingerMP #proving #realtime

Temporal Proof Methodologies for Real-time Systems (TAH, ZM, AP), pp. 353–366.

CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.

CAV-1991-Jong #approach #automaton #logic

An Automata Theoretic Approach to Temporal Logic (GGdJ), pp. 477–487.

CAV-1991-Sistla #automation #verification

Automatic Temporal Verification of Buffer Systems (APS, LDZ), pp. 59–69.

CAV-1991-VemuriS #design #verification

Temporal Precondition Verification of Design Transformations (RV, AS), pp. 125–135.

ISLP-1991-Brzoska #constraints #logic programming

Temporal Logic Programming and its Relation to Constraint Logic Programming (CB), pp. 661–677.

ISLP-1991-FeldmanS #animation #debugging #visual notation

Temporal Debugging and its Visual Animation (YF, EYS), pp. 3–17.

LICS-1991-PeledKP #logic #proving #specification

Specifying and Proving Serializability in Temporal Logic (DP, SK, AP), pp. 232–244.

PODS-1990-Chomicki #database #deduction #polynomial #query

Polynomial Time Query Processing in Temporal Deductive Databases (JC), pp. 379–391.

PODS-1990-KabanzaSW #infinity

Handling Infinite Temporal Data (FK, JMS, PW), pp. 392–403.

VLDB-1990-ElmasriWK

The Time Index: An Access Structure for Temporal Data (RE, GTJW, YJK), pp. 1–12.

VLDB-1990-KaferRS

Support for Temporal Data by Complex Objects (WK, NR, HS), pp. 24–35.

VLDB-1990-TuzhilinC #algebra #relational

A Temporal Relational Algebra as Basis for Temporal Relational Completeness (AT, JC), pp. 13–23.

CSCW-1990-RederS #process

The Temporal Structure of Cooperative Activity (SR, RGS), pp. 303–316.

CAV-1990-Clarke #explosion #logic #model checking #problem

Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem (EMC), p. 1.

CAV-1990-CoudertMB #diagrams #verification

Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.

CAV-1990-CourcoubetisVWY #algorithm #memory management #performance #verification

Memory Efficient Algorithms for the Verification of Temporal Properties (CC, MYV, PW, MY), pp. 233–242.

CAV-1990-EmersonMSS #reasoning

Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.

CAV-1990-HamaguchiHY #branch #complexity #linear #logic #model checking

Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity (KH, HH, SY), pp. 253–262.

CAV-1990-NakamuraKFT #logic #using #verification

A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio (HN, YK, MF, HT), pp. 76–85.

CAV-1990-Wong-ToiD #process #specification

Synthesizing Processes and Schedulers from Temporal Specifications (HWT, DLD), pp. 272–281.

LICS-1990-EmersonES #decidability #on the #performance

On the Limits of Efficient Temporal Decidability (Extended Abstract) (EAE, ME, JS), pp. 464–475.

LICS-1990-HarelLP #logic

Explicit Clock Temporal Logic (EH, OL, AP), pp. 402–413.

VLDB-1989-SegevG #database #optimisation #relational

Event-Join Optimization in Temporal Relational Databases (AS, HG), pp. 205–215.

STOC-1989-SafraV #automaton #logic #on the

On ω-Automata and Temporal Logic (Preliminary Report) (SS, MYV), pp. 127–137.

ICALP-1989-MannaP

Completing the Temporal Picture (ZM, AP), pp. 534–558.

KR-1989-BacchusTK #logic

A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.

KR-1989-DechterMP #constraints #network

Temporal Constraint Networks (RD, IM, JP), pp. 83–93.

KR-1989-Koomen #constraints

Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.

SEKE-1989-HeL #logic #petri net #specification

Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.

SEKE-1989-Tang #automation #concurrent #infinity #source code #verification

Temporal Theory for Automatic Verification of Infinite State Concurrent Programs (TGT), pp. 134–139.

POPL-1989-Baudinet #logic programming

Temporal Logic Programming is Complete and Expressive (MB), pp. 267–280.

POPL-1989-EmersonSS #performance #reasoning

Efficient Temporal Reasoning (EAE, TS, JS), pp. 166–178.

CSL-1989-PasztorS #theorem

A Streamlined Temporal Completeness Theorem (AP, IS), pp. 322–336.

CSL-1989-Penczek #branch #concurrent #logic

A Concurrent Branching Time Temporal Logic (WP), pp. 337–354.

PODS-1988-ChomickiI #database #deduction #infinity

Temporal Deductive Databases and Infinite Objects (JC, TI), pp. 61–73.

SIGMOD-1988-GadiaY #database #relational

A Generalized Model for a Relational Temporal Database (SKG, CSY), pp. 251–259.

VLDB-1988-Chaudhuri #database

Temporal Relationships in Databases (SC), pp. 160–170.

VLDB-1988-Sripada #database #deduction #framework #logic

A logical framework for temporal deductive databases (SMS), pp. 171–182.

ESOP-1988-GoughB #semantics #verification

A Semantics Driven Temporal Verification System (GG, HB), pp. 21–33.

POPL-1988-Vardi #calculus #fixpoint

A Temporal Fixpoint Calculus (MYV), pp. 250–259.

CADE-1988-AabyN #logic

Propositional Temporal Interval Logic is PSPACE Complete (AAA, KTN), pp. 218–237.

CSL-1988-DaneluttoM #approach #concurrent #finite #logic

A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems (MD, AM), pp. 63–79.

CSL-1988-Lippert #logic

Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.

CSL-1988-Paech #logic

Gentzen-Systems for Propositional Temporal Logics (BP), pp. 240–253.

CSL-1988-SaakeL #database #logic #specification #using

Using Finite-Linear Temporal Logic for Specifying Database Dynamics (GS, UWL), pp. 288–300.

LICS-1988-MullerSS #automaton #decidability #exponential #logic #why

Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.

SIGMOD-1987-SegevS #logic #modelling

Logical Modeling of Temporal Data (AS, AS), pp. 454–466.

VLDB-1987-MartinNA #database

Dealing with Temporal Schema Anomalies in History Databases (NGM, SBN, RA), pp. 177–184.

HCI-SES-1987-Saito #analysis #evaluation #eye tracking

Quantitative Evaluation of VDT Operations Through the Analysis of Spatio-Temporal Characteristics of Eye Movement (SS), pp. 197–202.

LICS-1987-Abadi #power of #proving

The Power of Temporal Proofs (MA), pp. 123–130.

LICS-1987-SistlaZ #logic #on the

On the Eventuality Operator in Temporal Logic (APS, LDZ), pp. 153–166.

SLP-1987-AbadiM87 #logic programming

Temporal Logic Programming (MA, ZM), pp. 4–16.

DAC-1986-BapatV #logic #reasoning #using

Reasoning about digital systems using temporal logic (SB, GV), pp. 215–219.

PODS-1986-Gadia

Weak Temporal Relations (SKG), pp. 70–77.

SIGMOD-1986-AhnS #database #evaluation #performance

Performance Evaluation of a Temporal Database Management System (IA, RTS), pp. 96–107.

VLDB-1986-ShoshaniK #data transformation

Temporal Data Management (AS, KK), pp. 79–88.

POPL-1986-BarringerKP #concurrent #logic

A Really Abstract Concurrent Model and its Temporal Logic (HB, RK, AP), pp. 173–183.

POPL-1986-Wolper #logic #source code

Expressing Interesting Properties of Programs in Propositional Temporal Logic (PW), pp. 184–193.

ICLP-1986-FujitaKTM86 #compilation #logic programming #named #programming language #prolog

Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.

LICS-1986-Browne #algorithm #automation #finite #logic #using #verification

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (MCB), pp. 260–266.

PODS-1985-GadiaV #database #query

A Query Language for a Homogeneous Temporal Database (SKG, JHV), pp. 51–56.

SIGMOD-1985-Kung #constraints #database #on the #verification

On Verification of Database Temporal Constraints (DCK), pp. 169–179.

ICALP-1985-SistlaVW #automaton #logic #problem

The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract) (APS, MYV, PW), pp. 465–474.

POPL-1985-NguyenGO #network #process #proving

A Model and Temporal Proof System for Networks of Processes (VN, DG, SSO), pp. 121–131.

PODS-1984-Snodgrass #query

The Temporal Query Language TQuel (RTS), pp. 204–213.

SIGMOD-1984-LumDEGPWWW #design

Designing DBMS Support for the Temporal Dimension (VYL, PD, RE, JG, PP, GW, HW, JW), pp. 115–130.

VLDB-1984-Kung #database #framework #specification #verification

A Temporal Framework for Database Specification and Verification (DCK), pp. 91–99.

STOC-1984-BarringerKP #logic #specification

Now You May Compose Temporal Logic Specifications (HB, RK, AP), pp. 51–63.

STOC-1984-Gerth #composition #how #logic

Transition Logic: How to Reason About Temporal Properties in a Compositional Way (RG), pp. 39–50.

STOC-1984-HartS #bound #finite #logic #modelling #probability

Probabilistic Temporal Logics for Finite and Bounded Models (SH, MS), pp. 1–13.

POPL-1984-ShashaPE #network #protocol #verification

Temporal Verification of Carrier-Sense Local Area Network Protocols (DS, AP, WE), pp. 54–65.

CADE-1984-CavalliC #linear #logic

A Decision Method for Linear Temporal Logic (ARC, LFdC), pp. 113–127.

ILPC-1984-BoscoGG84 #concurrent #logic #process #prolog #specification #verification

A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications (PGB, GG, EG), pp. 219–229.

VLDB-1983-Schiel

An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) (US), pp. 322–330.

ICALP-1983-AptD #axiom #logic #using

An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (KRA, CD), pp. 15–27.

ICALP-1983-HalpernMM #hardware #semantics

A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.

ICALP-1983-MannaP #precedence #proving

Proving Precedence Properties: The Temporal Way (ZM, AP), pp. 491–512.

ICALP-1983-ReifS #logic #multi #network

A Multiprocess Network Logic with Temporal and Spatial Modalities (JHR, APS), pp. 629–639.

POPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.

POPL-1983-MannaP #how #proving

How to Cook a Temporal Proof System for Your Pet Language (ZM, AP), pp. 141–154.

VLDB-1982-CastilhoCF #database #framework #specification

A Temporal Framework for Database Specifications (JMVdC, MAC, ALF), pp. 280–291.

STOC-1982-EmersonH #branch #logic

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.

STOC-1982-SistlaC #complexity #linear #logic

The Complexity of Propositional Linear Temporal Logics (APS, EMC), pp. 159–168.

POPL-1982-Wolper #communication #logic #process #specification #synthesis #using

Specification and Synthesis of Communicating Processes using an Extended Temporal Logic (PW), pp. 20–33.

POPL-1981-Ben-AriMP #branch #logic

The Temporal Logic of Branching Time (MBA, ZM, AP), pp. 164–176.

SOSP-1981-BernsteinH #logic #proving #realtime #source code

Proving Real-Time Properties of Programs with Temporal Logic (AJB, PKHJ), pp. 1–11.

POPL-1980-GabbayPSS #on the

On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.

POPL-1980-Lamport #logic #quote #source code

“Sometime” is Sometimes “Not Never” — On the Temporal Logic of Programs (LL), pp. 174–185.

DAC-1979-CarlsonPC #3d #data transformation #design

The use of color and 3-D temporal and spatial data management techniques in computer-aided design (WEC, REP, CC), pp. 32–38.