Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Erik Zawadzki"'
Autor:
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, Andre Platzer
Publikováno v:
2015 International Conference on Embedded Software (EMSOFT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99732cbcf889074d3ea22cef8392ba3d
https://doi.org/10.1109/emsoft.2015.7318268
https://doi.org/10.1109/emsoft.2015.7318268
Autor:
Erik Zawadzki, Sebastien Lahaie
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence. 29
A scoring rule is a device for eliciting and assessing probabilistic forecasts from an agent. When dealing with continuous outcome spaces, and absent any prior insights into the structure of the agent's beliefs, the rule should allow for a flexible r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ab86e9c5c94e7aa7b14c56ec973afe2
https://doi.org/10.1609/aaai.v29i1.9696
https://doi.org/10.1609/aaai.v29i1.9696
Autor:
André Platzer, Yanni Kouskoulas, Erik Zawadzki, Khalil Ghorbal, Aurora Schmidt, Ryan W. Gardner, Jean-Baptiste Jeannin
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662466803
TACAS
TACAS
The Next-Generation Airborne Collision Avoidance System ACASi¾?X is intended to be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with other aircraft. It is currently being developed by the Federal Aviation A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61d1b3af22b253fa95a73dbf00bffce0
https://doi.org/10.1007/978-3-662-46681-0_2
https://doi.org/10.1007/978-3-662-46681-0_2
Autor:
David G. Andersen, Karsten Schwan, Erik Zawadzki, Athula Balachandran, Michael Kaminsky, Wolfgang Richter, Hrishikesh Amur
Publikováno v:
SoCC
The rapid growth of fast analytics systems, that require data processing in memory, makes memory capacity an increasingly-precious resource. This paper introduces a new compressed data structure called a Compressed Buffer Tree (CBT). Using a combinat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e96fdf6a9be7f0f0c5ed1f8b0a013c2
https://doi.org/10.1145/2523616.2523625
https://doi.org/10.1145/2523616.2523625
Autor:
Jean-Baptiste Jeannin, André Platzer, Khalil Ghorbal, Peter Capell, Erik Zawadzki, Geoffrey J. Gordon
DOI: 10.2514/1.I010178 Complex software systems are becoming increasingly prevalent in aerospace applications: in particular, to accomplish critical tasks. Ensuring the safety of these systems is crucial, as they can have subtly different behaviors u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d2392188dbd9a9e86d6b52c640eb10f
Publikováno v:
Scopus-Elsevier
ResearcherID
IJCAI
ResearcherID
IJCAI
Both SAT and #SAT can represent difficult problems in seemingly dissimilar areas such as planning, verification, and probabilistic inference. Here, we examine an expressive new language, #∃SAT, that generalizes both of these languages. #∃SAT prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a56e26d5d085b7bb3439135841f0d5c0
http://www.scopus.com/inward/record.url?eid=2-s2.0-84896063463&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84896063463&partnerID=MN8TOARS