Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
Abstract. Certain types of database-backed web sites heavily utilize userdefined functions in SQL queries. Unfortunately, existing web proxy caching schemes can not handle these fu...
—Hand interface is well known for its intuition and convenience. User can use their real hands to interact with the system without any assistant device. In this paper, we propose...
k-Anonymity protects privacy by ensuring that data cannot be linked to a single individual. In a k-anonymous dataset, any identifying information occurs in at least k tuples. Much...
Mehmet Ercan Nergiz, Chris Clifton, A. Erhan Nergi...
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...