Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Ciolek, Daniel"'
In the context of information systems, text sanitization techniques are used to identify and remove sensitive data to comply with security and regulatory requirements. Even though many methods for privacy preservation have been proposed, most of them
Externí odkaz:
http://arxiv.org/abs/2311.10785
A planning domain, as any model, is never complete and inevitably makes assumptions on the environment's dynamic. By allowing the specification of just one domain model, the knowledge engineer is only able to make one set of assumptions, and to speci
Externí odkaz:
http://arxiv.org/abs/2002.12445
Autor:
Ciolek, Daniel, Duran, Matias, Zanollo, Florencia, Pazos, Nicolas, Braier, Julián, Braberman, Victor, D’Ippolito, Nicolas, Uchitel, Sebastian
Publikováno v:
In Automatica January 2023 147
Autor:
Reddy, Ann, Resnik, Linda, Freburger, Janet, Ciolek, Daniel E., Gifford, David R., Whitten, Margarite J., Baier, Rosa R.
Publikováno v:
In Journal of the American Medical Directors Association November 2021 22(11):2240-2244
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient a
Externí odkaz:
http://arxiv.org/abs/1605.09772
Autor:
Ciolek, Daniel Alfredo
Publikováno v:
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
El problema de construir automáticamente un componente de software que al ser ejecutado en un ambiente dado satisfaga un objetivo, es recurrente en la ingeniería del software y en particular en el campo de los sistemas de eventos discretos. El cont
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::c82ae9d8353f5043af9d90dea33fa685
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we present an Eclipse plug-in fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3498::0e72a83cbeab6f69788a167cd555a388
Wiley Online Library
Wiley Online Library