1432 search results - page 176 / 287 » A survey on context-aware systems |
149
click to vote
FCSC
2007
15 years 6 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
196
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have devel...
152
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
One of the most challenging problems facing builders and facilitators of community networks is to create and sustain social engagement among members. In this paper, we investigate...
182
click to vote
JSS
1998
15 years 6 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
164
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
As the complexity and variety of computer system hardware increases, its suitability as a pedagogical tool in computer organization/architecture courses diminishes. As a consequen...