1181 search results - page 72 / 237 » constraints 2004 |
CADE
2004
Springer
14 years 9 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
PAKDD
2004
ACM
14 years 2 months ago
2004
ACM
GRD is an algorithm for k-most interesting rule discovery. In contrast to association rule discovery, GRD does not require the use of a minimum support constraint. Rather, the user...
RSCTC
2004
Springer
14 years 2 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
DCC
2004
IEEE
14 years 15 days ago
2004
IEEE
A channel code allocation scheme is developed for transmission of video over error-prone channels. The system is designed to minimize the expected distortion of the video under a ...
FORMATS
2004
Springer
14 years 15 days ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...