Sciweavers

949 search results - page 168 / 190
» Relating Imperatives to Action
Sort
View
IANDC
2006
121views more  IANDC 2006»
13 years 7 months ago
Comparing operational models of name-passing process calculi
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
Marcelo P. Fiore, Sam Staton
JCNS
1998
65views more  JCNS 1998»
13 years 7 months ago
Synchronization and Oscillatory Dynamics in Heterogeneous, Mutually Inhibited Neurons
Abstract. We study some mechanisms responsible for synchronous oscillations and loss of synchrony at physiologically relevant frequencies 10-200 Hz in a network of heterogeneous ...
John A. White, Carson C. Chow, Jason Ritt, Cristin...
SOFSEM
2010
Springer
14 years 4 months ago
Regret Minimization and Job Scheduling
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...
Yishay Mansour
ESORICS
2009
Springer
14 years 2 months ago
Privacy Preserving Publication of Moving Object Data
The increasing availability of space-time trajectories left by location-aware devices is expected to enable novel classes of applications where the discovery of consumable, concise...
Francesco Bonchi
AIED
2009
Springer
14 years 2 months ago
Scaffolding Motivation and Metacognition in Learning Programming
This paper explores the role that feedback based on past actions and motivational states of the learner can have in a motivationally and metacognitively aware Intelligent Tutoring ...
Alison Hull, Benedict du Boulay