6456 search results - page 413 / 1292 » Constraint Solving on Terms |
169
click to vote
RSCTC
2004
Springer
16 years 6 days 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...
171
click to vote
ECMAST
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents the constraints involved by MPEG-4 to copyright protection systems based upon watermarking technology. It proposes also an assessment methodology in order to ev...
167
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost f...
211
click to vote
AIML
2000
15 years 8 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
159
click to vote
MOC
1998
15 years 6 months ago
1998
Integer lattices have numerous important applications, but some of them may have been overlooked because of the common assumption that a lattice basis is part of the problem instan...