Sciweavers

8582 search results - page 372 / 1717
» Here or There
Sort
View
NMR
2004
Springer
16 years 7 days ago
Logic programs with annotated disjunctions
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
Joost Vennekens, Sofie Verbaeten, Maurice Bruynoog...
OTM
2004
Springer
16 years 7 days ago
A Context-Based Awareness Mechanism for Mobile Cooperative Users
This paper presents a context-based awareness mechanism designed for users who access web-based collaborative systems using mobile devices. The limited capabilities of such devices...
Manuele Kirsch-Pinheiro, Marlène Villanova-...
PKC
2004
Springer
95views Cryptology» more  PKC 2004»
16 years 7 days ago
A Nonuniform Algorithm for the Hidden Number Problem in Subgroups
Boneh and Venkatesan have proposed a polynomial time algorithm in a non-uniform model for recovering a ”hidden” element α ∈ IFp, where p is prime, from very short strings of...
Igor Shparlinski, Arne Winterhof
POLICY
2004
Springer
16 years 7 days ago
A Framework for Contractual Resource Sharing in Coalitions
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
Babak Sadighi Firozabadi, Marek J. Sergot, Anna Ci...
PPSN
2004
Springer
16 years 7 days ago
Learning Probabilistic Tree Grammars for Genetic Programming
Genetic Programming (GP) provides evolutionary methods for problems with tree representations. A recent development in Genetic Algorithms (GAs) has led to principled algorithms cal...
Peter A. N. Bosman, Edwin D. de Jong