1948 search results - page 295 / 390 » Formalizing Mirror Theory |
166
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
158
click to vote
PRDC
2006
IEEE
15 years 11 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
148
click to vote
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
171
click to vote
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
172
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...