5456 search results - page 278 / 1092 » General Equilibrium Theory |
166
click to vote
ISSAC
2005
Springer
16 years 4 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
147
click to vote
ICAISC
2004
Springer
16 years 15 hour ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
143
Voted
DPPI
2003
ACM
15 years 12 months ago
2003
ACM
In the context of design for experience this paper presents a review of existing models of user experience. In response to a prevalent view of experience as something individual, ...
199
click to vote
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
1 In this paper, the segmentation problem is formulated as a problem of segmenting a Riemannian manifold. The image domain is endowed with an anisotropic metric and its segmentatio...
222
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...