1036 search results - page 71 / 208 » Report on INEX 2009 |
151
click to vote
ISSAC
2009
Springer
16 years 26 days ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
131
click to vote
ISVC
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Having assessed the performance gains due to evidence fusion, previous works reported contradictory conclusions. For some, a consistent improvement is achieved, while oth...
142
click to vote
IWANN
2009
Springer
16 years 26 days ago
2009
Springer
Mobile agent technology has traditionally been recognized as a very useful approach to build applications for mobile computing and wireless environments. However, only a few studie...
155
click to vote
IWMM
2009
Springer
16 years 26 days ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
164
click to vote
KI
2009
Springer
16 years 26 days ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...