8838 search results - page 437 / 1768 » Generalizing Domain Theory |
154
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
197
click to vote
ECSQARU
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...
183
click to vote
ISSAC
2005
Springer
16 years 1 months 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...
181
click to vote
ICAISC
2004
Springer
16 years 1 months 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 ...
170
click to vote
DPPI
2003
ACM
16 years 27 days 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, ...