Sciweavers

2357 search results - page 215 / 472
» Computing Refactorings of Behavior Models
Sort
View
CIKM
2008
Springer
15 years 6 months ago
Towards a model of understanding social search
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
Brynn M. Evans, Ed H. Chi
DIALM
2008
ACM
168views Algorithms» more  DIALM 2008»
15 years 5 months ago
Local broadcasting in the physical interference model
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...
Olga Goussevskaia, Thomas Moscibroda, Roger Watten...
DIMACS
1996
15 years 5 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
ADHOC
2010
97views more  ADHOC 2010»
15 years 4 months ago
Modeling and analysis of two-flow interactions in wireless networks
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
Saquib Razak, Vinay Kolar, Nael B. Abu-Ghazaleh
TOG
2008
100views more  TOG 2008»
15 years 4 months ago
Laughing out loud: control for modeling anatomically inspired laughter using audio
We present a novel technique for generating animation of laughter for a character. Our approach utilizes an anatomically inspired, physics-based model of a human torso that includ...
Paul C. DiLorenzo, Victor B. Zordan, Benjamin L. S...