1948 search results - page 123 / 390 » Formalizing Mirror Theory |
167
click to vote
TAGT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
143
Voted
ITP
2010
15 years 9 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
157
click to vote
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
158
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
131
click to vote
IJCAI
2003
15 years 7 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...