Sciweavers

4615 search results - page 15 / 923
» Virtual Classes and Their Implementation
Sort
View
FMICS
2009
Springer
14 years 14 days ago
A Certified Implementation on Top of the Java Virtual Machine
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
Javier de Dios, Ricardo Peña-Marí
JUCS
2008
113views more  JUCS 2008»
13 years 8 months ago
Using the Optical Flow to Implement a Relative Virtual Mouse Controlled by Head Movements
: The following paper introduces the work conducted to create a relative virtual mouse based on the interpretation of head movements and face gesture through a low cost camera and ...
Tomás Palleja, Edgar Rubión Soler, M...
WCE
2008
13 years 10 months ago
Design and Implementation of an E-Learning Model by Considering Learner's Personality and Emotions
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...
Somayeh Fatahi, M. Kazemifard, Nasser Ghasem-Aghae...
TPHOL
2008
IEEE
14 years 3 months ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
Matthieu Sozeau, Nicolas Oury
PADL
2012
Springer
12 years 4 months ago
Virtualizing Real-World Objects in FRP
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
Daniel Winograd-Cort, Hai Liu, Paul Hudak