696 search results - page 60 / 140 » Explaining abstract counterexamples |
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
131
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To handle signal processing algorithms such as the Fast Fourrier Transform (FFT) or the Discrete Cosine Transform (DCT) system designers have traditionally resorted to sp...
147
click to vote
AOSE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
116
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
177
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Many researchers have focused their efforts on developing collaborative recommender systems. It has been proved that the use of collaboration in such systems improves per...