740 search results - page 104 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
119
click to vote
NDQA
2003
15 years 2 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
111
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
119
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
New input technologies (such as touch), recognition based input (such as pen gestures) and next-generation interactions (such as inexact interaction) all hold the promise of more ...
122
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
102
click to vote
ASWEC
2006
IEEE
15 years 7 months ago
2006
IEEE
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...