×

Found 23 Documents (Results 1–23)

100
MathJax

Learning specifications for labelled patterns. (English) Zbl 07317091

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI HAL

0-1 timed matching in bipartite temporal graphs. (English) Zbl 1453.68141

Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 331-346 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Multistage matchings. (English) Zbl 1477.68196

Eppstein, David (ed.), 16th Scandinavian symposium and workshops on algorithm theory. SWAT 2018, June 18–20, 2018, Malmö University, Malmö, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 101, Article 7, 13 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Specifying timed patterns using temporal logic. (English) Zbl 1409.68175

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 167-176 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI

Multiscale comparison of temporal patterns in time-series medical databases. (English) Zbl 1020.68669

Elomaa, Tapio (ed.) et al., Principles of data mining and knowledge discovery. 6th European conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2431, 188-199 (2002).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software