4218 search results - page 343 / 844 » Complete sets of cooperations |
200
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
206
Voted
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Wireless mesh systems offer several advantages for emerging high-bandwidth networks because of their cooperative routing capabilities. In this study, we consider the potential ben...
188
Voted
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper introduces a new stochastic surface model for deformable 3D surfaces and demonstrates its utility for the purpose of 3D sculpting. This is the problem of simple-touse a...
181
Voted
WWW
2005
ACM
16 years 8 months ago
2005
ACM
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...
207
Voted
CHI
2008
ACM
16 years 8 months ago
2008
ACM
Web search is often viewed as a solitary task; however, there are many situations in which groups of people gather around a single computer to jointly search for information onlin...