Sciweavers

362 search results - page 34 / 73
» Making the Most of Cache Groups
Sort
View
CORR
2007
Springer
117views Education» more  CORR 2007»
14 years 9 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
SSD
2001
Springer
122views Database» more  SSD 2001»
15 years 2 months ago
Calendars, Time Granularities, and Automata
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
Ugo Dal Lago, Angelo Montanari
ICMCS
1994
IEEE
123views Multimedia» more  ICMCS 1994»
15 years 1 months ago
Casual Collaboration
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
Judith S. Donath
ACMIDC
2010
15 years 1 months ago
BeeSim: leveraging wearable computers in participatory simulations with young children
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
Kylie A. Peppler, Joshua A. Danish, Benjamin Zaitl...
SOCRATES
2008
112views Education» more  SOCRATES 2008»
14 years 11 months ago
Collaborative Strategies in On Line Communities of In-Service Teachers
The present paper analyzes a learning experience run at University of Macerata, during a post degree course for in service teachers and mature students. The course was delivered e...
Lorella Giannandrea, Teresa Magnaterra