Sciweavers

4498 search results - page 633 / 900
» How to Invent Functions
Sort
View
SAT
2004
Springer
73views Hardware» more  SAT 2004»
15 years 10 months ago
A SAT Based Scheduler for Tournament Schedules
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
Hantao Zhang, Dapeng Li, Haiou Shen
SBIA
2004
Springer
15 years 10 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
VLDB
2004
ACM
73views Database» more  VLDB 2004»
15 years 10 months ago
Multi-objective Query Processing for Database Systems
Query processing in database systems has developed beyond mere exact matching of attribute values. Scoring database objects and retrieving only the top k matches or Pareto-optimal...
Wolf-Tilo Balke, Ulrich Güntzer
127
Voted
VLDB
2004
ACM
119views Database» more  VLDB 2004»
15 years 10 months ago
Supporting Ontology-Based Semantic matching in RDBMS
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
Souripriya Das, Eugene Inseok Chong, George Eadon,...
WAC
2004
Springer
15 years 10 months ago
A Metabolic Approach to Protocol Resilience
The goal of this research is to create robust execution circuits for communication software which can distribute over a network and which continues to provide its service despite p...
Christian F. Tschudin, Lidia Yamamoto