4163 search results - page 263 / 833 » A comprehensive combination framework |
242
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
150
click to vote
ER
2005
Springer
16 years 3 days ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
177
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
Summarization of query results is an important problem for many OLAP applications. The Minimum Description Length principle has been applied in various studies to provide summarie...
204
click to vote
GCC
2004
Springer
15 years 12 months ago
2004
Springer
This paper addresses the dynamic scheduling of moldable jobs with QoS demands (soft-deadlines) in multiclusters. A moldable job can be run on a variable number of resources. Three ...
173
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...