740 search results - page 140 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
HUC
2003
Springer
14 years 16 days ago
2003
Springer
The movement of design out of the workplace and into the home brings with it the need to develop new analytic concepts to consider how ubiquitous computing might relate to and supp...
NOMS
2008
IEEE
14 years 1 months ago
2008
IEEE
— Wireless networks have become a ubiquitous reality and ever more surround our everyday activities. They form and disappear around us spontaneously and have become new means for...
VLDB
2004
ACM
14 years 20 days ago
2004
ACM
Cost-based XML query optimization calls for accurate estimation of the selectivity of path expressions. Some other interactive and internet applications can also benefit from suc...
BMCBI
2007
13 years 7 months ago
2007
Background: The SYMBIOmatics Specific Support Action (SSA) is "an information gathering and dissemination activity" that seeks "to identify synergies between the bi...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
This paper discusses the functionality of GraphicsMentor. GraphicsMentor permits a student to modify many parameters of the camera, objects, and light sources interactively, and t...