5550 search results - page 735 / 1110 » Different Approaches to Proof Systems |
184
click to vote
TABLETOP
2008
IEEE
16 years 1 months ago
2008
IEEE
To date, digital tabletop research has predominantly focused on resolving fundamental software and hardware challenges introduced by this new interactive platform. Understanding n...
204
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
208
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Block diagonalization is one approach for linear precoding in the multiple-input multiple-output broadcast channel that sends multiple interference free data streams to differe...
189
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
What role can social networking websites play in supporting large-scale group action and change? We are proposing to explore their use in supporting individual reduction in person...
157
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Imagery and picture sharing are an important and growing part of online communities. Many prior studies of online interaction and collaboration rely heavily on text. This study ta...