504 search results - page 27 / 101 » Definitional Reflection and the Completion |
HERCMA
2001
13 years 10 months ago
2001
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
CVGIP
2008
13 years 8 months ago
2008
Volumetric data, such as output from CT scans or laser range scan processing methods, often have isosurfaces that contain topological noise--small handles and holes that are not p...
TCC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
AAAI
1990
13 years 10 months ago
1990
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...