There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
We analyze and extend a recently proposed model of linguistic diffusion in social networks, to analytically derive time to convergence, and to account for the innovation phase of...
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
Michele Ceccarelli, Luigi Cerulo, Gerardo Canfora,...
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
As part of ITS technology, to achieve quick map updates, we propose a method for automatically detecting changes in streetscapes from images captured by car-mounted omnidirectiona...