Sciweavers

5962 search results - page 847 / 1193
» Efficient Clustering for Orders
Sort
View
IDEAS
2009
IEEE
129views Database» more  IDEAS 2009»
15 years 4 months ago
Speeding-up data-driven applications with program summaries
We consider the class of database programs and address the problem of minimizing the cost of their exchanges with the database server. This cost partly consists of query execution...
Sonia Guehis, Virginie Goasdoué-Thion, Phil...
AMI
2010
Springer
15 years 4 months ago
Geo-Social Interaction: Context-Aware Help in Large Scale Public Spaces
We present an approach to exploit social and spatio-temporal context in order to improve information dissemination in dynamic largescale public spaces. We illustrate it by applying...
Nasim Mahmud, Petr Aksenov, Ansar-Ul-Haque Yasar, ...
CLEIEJ
2010
15 years 4 months ago
Evaluation of a Fault-tolerant Model for Tactic Operations of Mobile Robotic Groups Using Genetic Algorithms
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...
Gustavo Pessin, Fernando Santos Osório
INFORMATICALT
2010
170views more  INFORMATICALT 2010»
15 years 4 months ago
A Provably Secure Proxy Signature Scheme in Certificateless Cryptography
A proxy signature scheme enables an original signer to delegate its signing capability to a proxy signer and then the proxy signer can sign a message on behalf of the original sign...
Hu Xiong, Fagen Li, Zhiguang Qin
AMAST
2010
Springer
15 years 1 months ago
Proving Termination Properties with mu-term
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
Beatriz Alarcón, Raúl Gutiérr...