4218 search results - page 455 / 844 » Complete sets of cooperations |
206
click to vote
FLAIRS
2007
15 years 10 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
237
click to vote
DLOG
2008
15 years 10 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
182
click to vote
EXACT
2008
15 years 10 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
212
click to vote
WSC
2007
15 years 10 months ago
2007
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
228
click to vote
ARCS
2008
Springer
15 years 9 months ago
2008
Springer
: Sorting large data sets has always been an important application, and hence has been one of the benchmark applications on new parallel architectures. We present a parallel sortin...