Sciweavers

4870 search results - page 232 / 974
» Construction of Wavelets and Applications
Sort
View
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
16 years 15 hour ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
ATAL
2004
Springer
16 years 13 hour ago
Towards the Application of Argumentation-Based Dialogues for Education
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
Elizabeth Sklar, Simon Parsons
HYBRID
2004
Springer
15 years 12 months ago
Stochastic Hybrid Systems: Application to Communication Networks
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
João P. Hespanha
ASIACRYPT
2003
Springer
15 years 12 months ago
Generalized Powering Functions and Their Application to Digital Signatures
This paper investigates some modular powering functions suitable for cryptography. It is well known that the Rabin encryption function is a 4-to-1 mapping and breaking its one-wayn...
Hisayoshi Sato, Tsuyoshi Takagi, Satoru Tezuka, Ka...
CAISE
2003
Springer
15 years 12 months ago
Building a Collaborative Information Agent in a HomeBot Application
Abstract Information agents are cooperative agents whose main goal is to collaborate and assist task agents like mobile agents in obtaining information from heterogeneous data sour...
Lito Perez Cruz, Arkady B. Zaslavsky, David Squire