1546 search results - page 36 / 310 » Thoughts on solution concepts |
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
CP
2004
Springer
13 years 11 months ago
2004
Springer
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
ITP
2010
13 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
SYNTHESE
2008
13 years 7 months ago
2008
Quine introduced a famous distinction between the `notional' sense and the `relational' sense of certain attitude verbs. The distinction is both intuitive and sound but i...
COMCOM
2000
13 years 7 months ago
2000
In this paper, we describe a thread of research which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the bro...