883 search results - page 78 / 177 » Communities of Interest |
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
JAIR
2006
13 years 7 months ago
2006
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...
ICDE
2003
IEEE
14 years 9 months ago
2003
IEEE
We consider the problem of mapping data in peerto-peer systems. Such systems rely on simple value searches to locate data of interest. However, different peers may use different v...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
In recent years, the CHI community has seen growth in projects that involve tangible user interfaces and tangible interaction. But, many researchers feel that this emerging field ...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...