Sciweavers

2860 search results - page 29 / 572
» The Greenfoot Programming Environment
Sort
View
DLS
2009
150views Languages» more  DLS 2009»
14 years 9 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
CSFW
2012
IEEE
13 years 2 months ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
IJCAI
2007
15 years 1 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup
CANDC
2005
ACM
14 years 11 months ago
Supporting reflective practice in creativity education
In this study, we design a learning environment to foster participants' creative attitude and evaluate its effectiveness in a university class. Our educational program consis...
Norio Ishii, Kazuhisa Miwa
FMOODS
2003
15 years 1 months ago
Managing the Evolution of .NET Programs
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
Susan Eisenbach, Vladimir Jurisic, Chris Sadler