4117 search results - page 526 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
SIGECOM
2005
ACM
16 years 11 days ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
170
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
181
click to vote
CBSE
2005
Springer
16 years 10 days ago
2005
Springer
The grid has emerged as a novel paradigm that supports seamless cooperation of distributed, heterogeneous computing resources in addressing highly complex computing and data manage...
159
click to vote
CICLING
2005
Springer
16 years 10 days ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
199
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...