Sciweavers

949 search results - page 168 / 190
» Relating Imperatives to Action
Sort
View
108
Voted
IANDC
2006
121views more  IANDC 2006»
15 years 1 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
95
Voted
JCNS
1998
65views more  JCNS 1998»
15 years 1 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
15 years 10 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
15 years 8 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
15 years 8 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