Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jaeger, Manfred
158  Ergebnisse:
Personensuche X
?
1

Learning and reasoning with graph data:

Jaeger, Manfred
Frontiers in Artificial Intelligence.  6 (2023)  - p. , 2023
Link: https://doi.org/10.3389/..
 
?
2

Joint Link Prediction Via Inference from a Model:

, In: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management,
Naddaf, Parmis ; Mahmoudzaheh Ahmadi Nejad, Erfaneh ; Zahirnia, Kiarash.. - p. 1877-1886 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Middle and Late Jurassic tube-dwelling polychaetes from the..:

Słowiński, Jakub ; Vinn, Olev ; Jaeger, Manfred.
Acta Palaeontologica Polonica.  67 (2022)  - p. , 2022
Link: https://doi.org/10.4202/..
 
?
4

Approximating Euclidean by Imprecise Markov Decision Proces..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Jaeger, Manfred ; Bacci, Giorgio ; Bacci, Giovanni.. - p. 275-289 , 2020
Link: https://doi.org/10.1007/..
 
?
5

From Statistical Model Checking to Run-Time Monitoring Usin..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Jaeger, Manfred ; Larsen, Kim G. ; Tibo, Alessandro - p. 517-535 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Counts-of-counts similarity for prediction and search in re..:

Jaeger, Manfred ; Lippi, Marco ; Pellegrini, Giovanni.
Data Mining and Knowledge Discovery.  33 (2019)  5 - p. 1254-1297 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Teaching Stratego to Play Ball: Optimal Synthesis for Conti..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Jaeger, Manfred ; Jensen, Peter Gjøl ; Guldstrand Larsen, Kim... - p. 81-97 , 2019
Link: https://doi.org/10.1007/..
 
?
8

NetSlicer : Automated and Traffic-Pattern Based Applicat..:

, In: Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks,
Schiff, Liron ; Ziv, Ofri ; Jaeger, Manfred. - p. 21-26 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Cleansing indoor RFID tracking data:

Baba, Asif Iqbal ; Lu, Hua ; Pedersen, Torben Bach.
SIGSPATIAL Special.  9 (2017)  1 - p. 11-18 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Cleansing indoor RFID tracking data:

Baba, Asif Iqbal ; Lu, Hua ; Pedersen, Torben Bach.
SIGSPATIAL Special.  9 (2017)  1 - p. 11-18 , 2017
Link: https://doi.org/10.1145/..
 
?
11

Learning-Based Cleansing for Indoor RFID Data:

, In: Proceedings of the 2016 International Conference on Management of Data,
Baba, Asif Iqbal ; Jaeger, Manfred ; Lu, Hua... - p. 925-936 , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

Learning deterministic probabilistic automata from a model ..:

Mao, Hua ; Chen, Yingke ; Jaeger, Manfred...
Machine Learning.  105 (2016)  2 - p. 255-299 , 2016
Link: https://doi.org/10.1007/..
 
?
13

Lower complexity bounds for lifted inference:

JAEGER, MANFRED
Theory and Practice of Logic Programming.  15 (2014)  2 - p. 246-263 , 2014
Link: https://doi.org/10.1017/..
 
?
14

Twelfth Scandinavian Conference on Artificial Intelligence:.. 

Frontiers in Artificial Intelligence and Applications, v. 257
Jaeger, Manfred ; Neilsen, Thomas Dyhre ; Viappiani, Paolo , 2013
Link: https://search.ebscohost..
 
?
15

Type Extension Trees for feature construction and learning ..:

Jaeger, Manfred ; Lippi, Marco ; Passerini, Andrea.
Artificial Intelligence.  204 (2013)  - p. 30-55 , 2013
Link: https://doi.org/10.1016/..
 
1-15