Sciweavers

13791 search results - page 2322 / 2759
» Modeling Web Interactions
Sort
View
CONCUR
2001
Springer
15 years 11 months ago
Typing Mobility in the Seal Calculus
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
ECAL
2001
Springer
15 years 11 months ago
Evolution of Reinforcement Learning in Uncertain Environments: Emergence of Risk-Aversion and Matching
Reinforcement learning (RL) is a fundamental process by which organisms learn to achieve a goal from interactions with the environment. Using Artificial Life techniques we derive ...
Yael Niv, Daphna Joel, Isaac Meilijson, Eytan Rupp...
EMSOFT
2001
Springer
15 years 11 months ago
An Implementation of Scoped Memory for Real-Time Java
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
William S. Beebee, Martin C. Rinard
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 11 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
CA
2000
IEEE
15 years 11 months ago
Integrated System for Skin Deformation
In this paper, we present an integrated system for skin deformation that is able to handle deformations due to both the skeleton animation and collisions. This method is based on ...
Frederic Cordier, Nadia Magnenat-Thalmann
« Prev « First page 2322 / 2759 Last » Next »