740 search results - page 126 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
114
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
132
click to vote
WOWMOM
2009
ACM
15 years 7 months ago
2009
ACM
—An increasing number of mobile devices, including smartphones, use WLAN for accessing the Internet. Existing WLAN authentication mechanisms are either disruptive, such as presen...
108
click to vote
ICAT
2006
IEEE
15 years 7 months ago
2006
IEEE
The use of Collaborative Virtual Geographic Environments (CVGE) is one of the most promising uses of virtual reality in geographic field. Data collaboration can support multi-direc...
103
click to vote
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
Spontaneous communication is common in the workplace but can be disruptive. Such communication usually benefits the initiator more than the target of an interruption. Previous res...