Sciweavers

5122 search results - page 127 / 1025
» Comparing Consequence Relations
Sort
View
MFCS
2007
Springer
15 years 9 months ago
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...
Jaroslav Nesetril, Mark H. Siggers
CORR
2006
Springer
110views Education» more  CORR 2006»
15 years 3 months ago
Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous Clusters
The aim of the paper is to introduce general techniques in order to optimize the parallel execution time of sorting on a distributed architectures with processors of various speeds...
Christophe Cérin, Jean-Christophe Dubacq, J...
140
Voted
ICWE
2010
Springer
15 years 1 months ago
Quality in Use Model for Web Portals (QiUWeP)
Web Portals are increasingly being used for important tasks, at a work, personal or leisure related issues. Since Web Portals provide with applications, services and information, t...
Mayte Herrera, Maria Ángeles Moraga, Ismael...
WWW
2005
ACM
16 years 4 months ago
Migrating web application sessions in mobile computing
The capability to change user agent while working is starting to appear in state of the art mobile computing due to the proliferation of different kinds of devices, ranging from p...
Gerardo Canfora, Giuseppe Di Santo, Gabriele Ventu...
121
Voted
LANMR
2004
15 years 4 months ago
Some Key Notions in Non-monotonic Reasoning
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
Raymundo Morado