Sciweavers

3443 search results - page 403 / 689
» More Algebras for Determiners
Sort
View
INFOCOM
2009
IEEE
16 years 1 months ago
Fit a Spread Estimator in Small Memory
—The spread of a source host is the number of distinct destinations that it has sent packets to during a measurement period. A spread estimator is a software/hardware module on a...
MyungKeun Yoon, Tao Li, Shigang Chen, Jih-Kwon Pei...
INFOCOM
2009
IEEE
16 years 1 months ago
Optimal and Scalable Distribution of Content Updates over a Mobile Social Network
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...
Stratis Ioannidis, Augustin Chaintreau, Laurent Ma...
ISMVL
2009
IEEE
124views Hardware» more  ISMVL 2009»
16 years 1 months ago
Equivalence Checking of Reversible Circuits
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
Robert Wille, Daniel Große, D. Michael Mille...
IV
2009
IEEE
185views Visualization» more  IV 2009»
16 years 1 months ago
Real-World User Evaluations of a Visual and Interactive Web Search Interface
Although laboratory user studies are the most common method for validating the utility of information visualization systems, it may be difficult to determine if such studies accu...
Orland Hoeber, Daniel Schroeder, Michael Brooks
ATAL
2009
Springer
16 years 1 months ago
Like an intuitive and courteous butler: a proactive personal agent for task management
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
Neil Yorke-Smith, Shahin Saadati, Karen L. Myers, ...