6978 search results - page 1113 / 1396 » On Proofs in System P |
162
click to vote
HICSS
2003
IEEE
16 years 1 days 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...
171
click to vote
WETICE
2003
IEEE
16 years 18 hour 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ļ¬...
189
click to vote
SI3D
2003
ACM
16 years 6 hour 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...
219
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...
215
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
It is envisaged that the grid infrastructure will be a large-scale distributed software system that will provide high-end computational and storage capabilities to differentiated ...