Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning over stochastic, or uncontrollable, actions and their corresponding durati...

书目详细资料
Main Authors:	Bhargava, Nikhil, Williams, Brian C.
格式:	文件
语言:	en_US
出版:	International Joint Conference in Artificial Intelligence 2019
主题:	temporal reasoning scheduling
在线阅读:	https://hdl.handle.net/1721.1/121993

相似书籍

Delay Controllability: Multi-Agent Coordination under Communication Delay
由: Bhargava, Nikhil, et al.
出版: (2018)

Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty
由: Zhang, Yuening
出版: (2021)

Coordinating Agile Systems through the Model-based Execution of Temporal Plans
由: Leaute, Thomas
出版: (2006)

Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
由: Bhargava, Nikhil, et al.
出版: (2020)

The Mozart Sonata and Spatial-Temporal Reasoning
由: J Gordon Millichap
出版: (1998-04-01)

Flexible Execution of Plans with Choice and Uncertainty
由: Conrad, Patrick R, et al.
出版: (2011)

A temporal knowledge graph reasoning model based on recurrent encoding and contrastive learning
由: Weitong Liu, et al.
出版: (2025-01-01)

Detection of dynamic communities in temporal networks with sparse data
由: Nataša Djurdjevac Conrad, et al.
出版: (2025-01-01)

A temporal reasoning expert system for job shop scheduling /
由: Mohamed Khalil Mohd. Hani 608642, et al.

Mixed integer programming (MIP) model for production scheduling in an automotive part company /
由: Aisyah Nabilah Kamaruddin, 1987-, et al.
出版: (2010)

Mixed integer programming (MIP) model for production scheduling in an automotive part company [electronic resource] /
由: Aisyah Nabilah Kamaruddin, 1987-, et al.
出版: (2011)

Spatio-Temporal and Semantic Enhanced Context-Aware Navigation for Indoor Robots
由: R. Gayathri, et al.
出版: (2025-01-01)

Faster construction projects with CPM scheduling /
由: 341438 Woolf, Murray B.
出版: (2007)

tBurton: A Divide and Conquer Temporal Planner
由: Wang, David, et al.
出版: (2014)

Functional Abstraction From Structure in VLSI Simulation Models
由: Lathrop, Richard H., et al.
出版: (2004)

Temporal bone imaging /
由: Hoeffner, Ellen G.
出版: (2008)

Temporal bone dissection guide /
由: Francis, Howard W., et al.
出版: (♭201)

Temporal pattern mining in dynamic environments /
由: 348003 Lattner, Andreas D.
出版: (2007)

Faster linearizability checking via P-compositionality
由: Horn, A, et al.
出版: (2015)

Faster linearizability checking via P-compositionality
由: Horn, A, et al.
出版: (2015)

A novel controllability method on temporal networks based on tree model
由: Peyman Arebi
出版: (2024-11-01)

A branch and bound and simulated annealing approach for job shop scheduling /
由: 260551 Tan, Hui Woon
出版: (2004)

Dual-Path Beat Tracking: Combining Temporal Convolutional Networks and Transformers in Parallel
由: Nikhil Thapa, et al.
出版: (2024-12-01)

Maintaining knowledge about temporal intervals /
由: 299782 Allen, James F.

Temporal databases : theory, design, and implementation /
由: Tansel, Abdullah Uz
出版: (1993)

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
由: Anton Romanovich Gnatenko, et al.
出版: (2021-12-01)

Electric power unit commitment scheduling using a dynamically evolving mixed integer program
由: Gruhl, Jim
出版: (2005)

Faster and easier: cross-validation and model robustness checks
由: Stephenson, William T.
出版: (2022)

Les temporalités sociales des cuisiniers de la restauration
由: Cyrille Laporte
出版: (2013-07-01)

Temporal and spatio-temporal data mining /
由: 252721 Hsu, Wynne, et al.
出版: (2008)

TempoGRAPHer: Aggregation-Based Temporal Graph Exploration
由: Evangelia Tsoukanara, et al.
出版: (2025-01-01)

Animacy processing by distributed and interconnected networks in the temporal cortex of monkeys
由: Rizal Ichwansyah, et al.
出版: (2024-12-01)

Temporal Lobe Malformations and Epilepsy
由: J Gordon Millichap
出版: (1998-04-01)

Temporal aneurysms and migraine surgery
由: Giorgio Raposio, et al.
出版: (2024-09-01)

Temporal Lobe Surgery in Pediatric Patients: From Temporal Lobe Epilepsy to Temporal Plus Epilepsy
由: Jun Chul Byun, et al.
出版: (2024-10-01)

Faster Convergence With Less Communication: Broadcast-Based Subgraph Sampling for Decentralized Learning Over Wireless Networks
由: Daniel Perez Herrera, et al.
出版: (2025-01-01)

Lightweight multi-stage temporal inference network for video crowd counting
由: Wei Gao, et al.
出版: (2024-11-01)

How do animals weigh conflicting information about reward sources over time? Comparing dynamic averaging models
由: Jack Van Allsburg, et al.
出版: (2024-03-01)

Temporal aspects of info-serendipity
由: Yosef Solomon
出版: (2017-03-01)

Improving temporal behavior based on students’ traces in online-based learning environments
由: Houda Tadjer, et al.
出版: (2024-09-01)