1209 search results - page 103 / 242 » Universal Algebra and Computer Science |
160
click to vote
SAS
1991
Springer
15 years 6 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
152
click to vote
CASC
2006
Springer
15 years 6 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
230
click to vote
NPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
120
click to vote
RECSYS
2009
ACM
15 years 9 months ago
2009
ACM
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...
118
Voted
AMAI
2000
Springer
15 years 3 months ago
2000
Springer
An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical--i.e., modular and open-a...