In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...
Li-Peng Wang, Yang Yang, Hsiao-Hwa Chen, Yonghua S...
Through first-responder access to sensitive information for which they have not been pre-vetted, lives and property can be saved. We describe enhancements to a trusted emergency i...
Timothy E. Levin, Cynthia E. Irvine, Terry Benzel,...
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...
The discovery of emerging patterns (EPs) is a descriptive data mining task defined for pre-classified data. It aims at detecting patterns which contrast two classes and has been ...
Annalisa Appice, Michelangelo Ceci, Carlo Malgieri...