It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
Alessandro Artale, Roman Kontchakov, Carsten Lutz,...
The solution of linear and nonlinear convection–diffusion problems via parallel subdomain methods is considered. MPI implementation of parallel Schwarz alternating methods on di...
Chau Ming, Didier El Baz, Ronan Guivarch, Pierre S...
This paper evaluates Ouda and El-Sakka scheme (OE for short) which is a tamper-localization watermarking. OE is a public block-wise scheme which enables everyone to identify the t...
Column generation has proven to be efficient in solving the linear programming relaxation of large scale instances ofthemultiple-depotvehicleschedulingproblem(MDVSP).Howeverdif...
Amar Oukil, Hatem Ben Amor, Jacques Desrosiers, Hi...
We present Shoechicken, an intelligent agentbased system for rating RSS and Atom news content based on user preferences. The system builds a user profile implicitly by observing a...