Sciweavers

114 search results - page 10 / 23
» Exploring Multi-Level Modeling Relations Using Variability M...
Sort
View
MASCOTS
2001
13 years 8 months ago
How Does TCP Generate Pseudo-Self-Similarity?
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
Liang Guo, Mark Crovella, Ibrahim Matta
ICCAD
2003
IEEE
148views Hardware» more  ICCAD 2003»
14 years 3 months ago
The Compositional Far Side of Image Computation
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
Chao Wang, Gary D. Hachtel, Fabio Somenzi
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
13 years 11 months ago
PODS: a new model and processing algorithms for uncertain data streams
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
Thanh T. L. Tran, Liping Peng, Boduo Li, Yanlei Di...
ACII
2007
Springer
14 years 28 days ago
Explanatory Style for Socially Interactive Agents
Recent years have seen an explosion of interest in computational models of socio-emotional processes, both as a mean to deepen understanding of human behavior and as a mechanism to...
Sejin Oh, Jonathan Gratch, Woontack Woo
CHI
2008
ACM
14 years 7 months ago
The design of gaze behavior for embodied social interfaces
Non-verbal behavior, particularly gaze, is a crucial part of human communication. To interact with humans in a rich, natural way, social interfaces need to use this communicative ...
Bilge Mutlu