Sciweavers

4894 search results - page 734 / 979
» Choices
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 6 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
CSCW
2002
ACM
15 years 6 months ago
Instant messaging in teen life
Instant Messaging (IM) is being widely adopted by teenagers. In a study of 16 teenage IM users, we explore IM as an emerging feature of teen life, focusing our questions on its su...
Rebecca E. Grinter, Leysia Palen
ETT
2000
103views Education» more  ETT 2000»
15 years 6 months ago
Dynamic Rate Shaping on MPEG-2 Video Streams for Bandwidth Saving on a Faded Satellite Channel
In a previous work, we studied how to send a video stream over a noisy satellite channel using the scalability features of the MPEG-2 standard. The base and the enhancement flows w...
Nedo Celandroni, Erina Ferro, Francesco Potorti, A...
DPD
2002
125views more  DPD 2002»
15 years 6 months ago
Parallel Mining of Outliers in Large Database
Data mining is a new, important and fast growing database application. Outlier (exception) detection is one kind of data mining, which can be applied in a variety of areas like mon...
Edward Hung, David Wai-Lok Cheung
ENTCS
2002
120views more  ENTCS 2002»
15 years 6 months ago
Composition of Distributed Software with Algon - Concepts and Possibilities
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...
Judith Bishop, Karen Renaud, Basil Worrall