3819 search results - page 202 / 764 » Simple Easy Terms |
168
Voted
GLVLSI
2003
IEEE
16 years 11 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
201
click to vote
COMPGEOM
2003
ACM
16 years 10 days ago
2003
ACM
I discuss algorithms based on bistellar flips for inserting and deleting constraining (d − 1)-facets in d-dimensional constrained Delaunay triangulations (CDTs) and weighted CD...
208
click to vote
GROUP
2003
ACM
16 years 10 days ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
193
Voted
ISPD
2003
ACM
16 years 10 days ago
2003
ACM
We propose a method to capture crosstalk-induced noisy waveform for crosstalk-aware static timing analysis. The effects of capacitive coupling noise on timing are conventionally m...
207
click to vote
SIGIR
2003
ACM
16 years 10 days ago
2003
ACM
In this paper, we propose a novel document clustering method based on the non-negative factorization of the termdocument matrix of the given document corpus. In the latent semanti...