Sciweavers

2045 search results - page 260 / 409
» Learning programming with Erlang
Sort
View
ESORICS
2008
Springer
15 years 8 months ago
Termination-Insensitive Noninterference Leaks More Than Just a Bit
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, D...
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
16 years 18 days ago
Genetically designed heuristics for the bin packing problem
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
Oana Muntean
AIED
2005
Springer
15 years 12 months ago
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
SI3D
1992
ACM
15 years 10 months ago
3DM: A Three Dimensional Modeler Using a Head-Mounted Display
3dm is a three dimensional (3D) surface modeling program that draws techniques of model manipulation from both CAD and drawing programs and applies them to modeling in an intuitiv...
Jeff Butterworth, Andrew Davidson, Stephen Hench, ...
ACMIDC
2009
15 years 10 months ago
Voices beyond walls: the role of digital storytelling for empowering marginalized youth in refugee camps
In this paper we consider the role of digital storytelling for creative empowerment of marginalized youth, through a threeyear program of workshops conducted in the context of Pal...
Nitin "Nick" Sawhney