740 search results - page 136 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
BMCBI
2010
13 years 7 months ago
2010
Background: In biological and medical domain, the use of web services made the data and computation functionality accessible in a unified manner, which helped automate the data pi...
MHCI
2005
Springer
14 years 25 days ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
When users combine data from multiple sources into a spreadsheet or dataset, the result is often a mishmash of different formats, since phone numbers, dates, course numbers and ot...
ICDCS
2012
IEEE
11 years 9 months ago
2012
IEEE
—With users increasingly focused on an online world, an emerging challenge for the network infrastructure is the need to support Massively Multiplayer Online Role Playing Games (...
IMC
2009
ACM
14 years 1 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...