Sciweavers

6881 search results - page 57 / 1377
» Motivation
Sort
View
ECOOPW
2001
Springer
15 years 4 months ago
Formal Techniques for Java Programs
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb...
ECOOP
2006
Springer
15 years 3 months ago
Early Concurrent/Mobile Objects
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
Akinori Yonezawa
ARC
2007
Springer
95views Hardware» more  ARC 2007»
14 years 12 months ago
Time delay systems with distribution dependent dynamics
General delay dynamical systems in which uncertainty is present in the form of probability measure dependent dynamics are considered. Several motivating examples arising in biolog...
H. T. Banks, Sava Dediu, Hoan K. Nguyen
JOCN
2010
96views more  JOCN 2010»
14 years 10 months ago
Approaching the Bad and Avoiding the Good: Lateral Prefrontal Cortical Asymmetry Distinguishes between Action and Valence
■ Goal pursuit in humans sometimes involves approaching unpleasant and avoiding pleasant stimuli, such as when a dieter chooses to eat vegetables (although he does not like them...
Elliot T. Berkman, Matthew D. Lieberman
CHI
2006
ACM
15 years 5 months ago
Fitster: social fitness information visualizer
We present Fitster, a social visualization interface that supports fitness motivation among busy people struggling to exercise. Among our pilot group of busy graduate students, we...
Noor Ali-Hasan, Diana Gavales, Andrew Peterson, Ma...