3443 search results - page 319 / 689 » More Algebras for Determiners |
185
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
303
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
149
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Large high-resolution screens are becoming increasingly available and less expensive. This creates potential advantages for data visualization in that more dense data and fine det...
177
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This experimental study looks at how relocation affected the collaboration patterns of partially-distributed work groups. Partially distributed teams have part of their membership...
193
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We introduce a simple network design game that models how independent selfish agents can build or maintain a large network. In our game every agent has a specific connectivity requ...