18 search results - page 4 / 4 » Embedding a logical theory of constructions in Agda |
LOGCOM
2000
13 years 4 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
ICIP
2002
IEEE
14 years 6 months ago
2002
IEEE
Digital fingerprinting is an effective method to identify users who might try to redistribute multimedia content, such as images and video. These fingerprints are typically embedd...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...