236 search results - page 14 / 48 » el 2007 |
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
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...
JPDC
2007
13 years 8 months ago
2007
The solution of linear and nonlinear convection–diffusion problems via parallel subdomain methods is considered. MPI implementation of parallel Schwarz alternating methods on di...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
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...
COR
2007
13 years 8 months ago
2007
Column generation has proven to be efficient in solving the linear programming relaxation of large scale instances ofthemultiple-depotvehicleschedulingproblem(MDVSP).Howeverdif...
CATA
2006
13 years 10 months ago
2006
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...