COMIN, CARLO
COMIN, CARLO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.013 secondi).
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication
2018-01-01 Comin, Carlo; Rizzi, Romeo
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games
2018-01-01 Comin, Carlo; Rizzi, Romeo
Hyper Temporal Networks
2017-01-01 Comin, Carlo; Posenato, Roberto; Rizzi, Romeo
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017-01-01 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks
2016-01-01 Cairo, Massimo; Comin, Carlo; Rizzi, Romeo
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier
2018-01-01 Comin, Carlo; Rizzi, Romeo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication | 1-gen-2018 | Comin, Carlo; Rizzi, Romeo | |
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games | 1-gen-2018 | Comin, Carlo; Rizzi, Romeo | |
Hyper Temporal Networks | 1-gen-2017 | Comin, Carlo; Posenato, Roberto; Rizzi, Romeo | |
Incorporating Decision Nodes into Conditional Simple Temporal Networks | 1-gen-2017 | Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo | |
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks | 1-gen-2016 | Cairo, Massimo; Comin, Carlo; Rizzi, Romeo | |
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier | 1-gen-2018 | Comin, Carlo; Rizzi, Romeo |