Sciweavers

1097 search results - page 1 / 220
» Partial evaluation of Maple
Sort
View
PEPM
2007
ACM
13 years 11 months ago
Partial evaluation of Maple
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
Jacques Carette, Michael Kucera
IJCAI
2003
13 years 6 months ago
Multiagent Planning with Partially Ordered Temporal Plans
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
Michael Brenner
ISSAC
2001
Springer
101views Mathematics» more  ISSAC 2001»
13 years 9 months ago
Maple's evaluation process as constraint contextual rewriting
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
Alessandro Armando, Clemens Ballarin
ICDE
2006
IEEE
192views Database» more  ICDE 2006»
14 years 6 months ago
MAPLE: A Mobile Scalable P2P Nearest Neighbor Query System for Location-based Services
In this demonstration we present MAPLE, a scalable peer-to-peer Nearest Neighbor (NN) query system for mobile environments. MAPLE is designed for the efficient sharing of query re...
Wei-Shinn Ku, Roger Zimmermann, Chi-Ngai Wan, Haoj...
OIR
2006
175views more  OIR 2006»
13 years 4 months ago
A checklist for evaluating open source digital library software
Purpose
Dion Hoe-Lian Goh, Alton Yeow-Kuan Chua, Davina An...