16883 search results - page 99 / 3377 » Generalized Non-Reducible Descriptors |
135
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
145
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
118
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
133
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Organizing the results of a search facilitates the user in overviewing the information returned. We regard the clustering task as the tasks of making labels for a list of items an...
112
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...