Sciweavers

2436 search results - page 200 / 488
» Comonadic Notions of Computation
Sort
View
RTA
2010
Springer
15 years 8 months ago
Proving Productivity in Infinite Data Structures
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
Hans Zantema, Matthias Raffelsieper
GROUP
2007
ACM
15 years 8 months ago
Unpacking the social dimension of external interruptions
The paper systematically explores the social dimension of external interruptions of human activities. Interruptions and interruption handling are key issues in human-computer inte...
Rikard Harr, Victor Kaptelinin
ICCS
2007
Springer
15 years 8 months ago
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows
Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure applications. However, some tasks of a scientific w...
Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram
AMDO
2006
Springer
15 years 8 months ago
Action Recognition Using Motion Primitives and Probabilistic Edit Distance
In this paper we describe a recognition approach based on the notion of primitives. As opposed to recognizing actions based on temporal trajectories or temporal volumes, primitive-...
Preben Fihl, Michael B. Holte, Thomas B. Moeslund,...
BIRTHDAY
2006
Springer
15 years 8 months ago
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity
This essay draws on participant observation, ethnographic interviews, phenomenological inquiry, and recent insights from the study of swarm intelligence and complex networks to ill...
David Borgo