501 search results - page 72 / 101 » Diagram Techniques for Confluence |
109
click to vote
ASPDAC
1998
ACM
15 years 6 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
128
click to vote
SODA
1993
ACM
15 years 3 months ago
1993
ACM
We introduce a new method for nding several types of optimal k-point sets, minimizing perimeter, diameter, circumradius, and related measures, by testing sets of the O(k) nearest ...
111
click to vote
ETS
2010
IEEE
15 years 3 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
114
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Interaction designers typically revise user interface prototypes by adding unstructured notes to storyboards and screen printouts. How might computational tools increase the effic...
115
click to vote
NAACL
2003
15 years 3 months ago
2003
e by placing terms in an abstract ‘information space’ based on their occurrences in text corpora, and then allowing a user to visualize local regions of this information space....