5863 search results - page 902 / 1173 » On Model-Checking of P Systems |
167
click to vote
IUI
2010
ACM
15 years 12 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
159
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Social factors, such as status differences, may prevent some members from participating in group decisions. Computerized group decision support systems (GDSSs) can reduce social i...
166
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Collaboration over the Internet depends on the ability of the members of a group to exchange data in a secure yet unobtrusive manner. WebDAVA is a system that allows users to deļ¬...
184
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
217
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
The ļ¬nite diļ¬erence discretization of the Poisson equation in three dimensions results in a large, sparse, and highly structured system of linear equations. This prototype prob...