295 search results - page 38 / 59 » Utility-Based Abstraction and Categorization |
143
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
136
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
133
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper consists of a review of contemporary that map and materialize abstract data as physical artifacts. With computing technology and the access of information influencing e...
145
Voted
WISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
121
Voted
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...