Sciweavers

3724 search results - page 534 / 745
» Timed regular expressions
Sort
View
WWW
2008
ACM
16 years 5 months ago
A framework for fast community extraction of large-scale networks
Most of the faster community extraction algorithms are based on the Clauset, Newman and Moore (CNM), which is employed for networks with sizes up to 500,000 nodes. The modificatio...
Yutaka I. Leon-Suematsu, Kikuo Yuta
PODS
2009
ACM
122views Database» more  PODS 2009»
16 years 5 months ago
Satisfiability of downward XPath with data equality tests
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
Diego Figueira
CHI
2006
ACM
16 years 4 months ago
Increasing user decision accuracy using suggestions
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
Pearl Pu, Paolo Viappiani, Boi Faltings
140
Voted
CHI
2005
ACM
16 years 4 months ago
Breakaway: an ambient display designed to change human behavior
We present Breakaway, an ambient display that encourages people, whose job requires them to sit for long periods of time, to take breaks more frequently. Breakaway uses the inform...
Nassim Jafarinaimi, Jodi Forlizzi, Amy Hurst, John...
ICCAD
2004
IEEE
145views Hardware» more  ICCAD 2004»
16 years 1 months ago
Accurate estimation of global buffer delay within a floorplan
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
Charles J. Alpert, Jiang Hu, Sachin S. Sapatnekar,...