Sciweavers

1018 search results - page 49 / 204
» Generative unbinding of names
Sort
View
OHS
2001
Springer
14 years 1 months ago
INSPIRE: An INtelligent System for Personalized Instruction in a Remote Environment
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
Kyparisia A. Papanikolaou, Maria Grigoriadou, Harr...
WOWMOM
1998
ACM
127views Multimedia» more  WOWMOM 1998»
14 years 1 months ago
Agent Technology for the UMTS VHE Concept
This paper addresses how the new promising paradigm of Agent Technology can be applied to the provisioning of service ubiquity based on the concepts of the Virtual Home Environmen...
Jens Hartmann, Carmelita Görg, Peyman Farjami
CORR
2008
Springer
63views Education» more  CORR 2008»
13 years 9 months ago
Testing Statistical Hypotheses About Ergodic Processes
We propose a method for statistical analysis of time series, that allows us to obtain solutions to some classical problems of mathematical statistics under the only assumption tha...
Daniil Ryabko, Boris Ryabko
MEMBRANE
2004
Springer
14 years 2 months ago
Communicative P Systems with Minimal Cooperation
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
Artiom Alhazov, Maurice Margenstern, Vladimir Rogo...
PKC
2001
Springer
163views Cryptology» more  PKC 2001»
14 years 1 months ago
Fast Irreducibility and Subgroup Membership Testing in XTR
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...
Arjen K. Lenstra, Eric R. Verheul