740 search results - page 118 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
112
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
In recent years, considerable advances have been made in the study of properties of metric spaces in terms of their doubling dimension. This line of research has not only enhanced...
127
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Interface designers normally strive for a design that minimises the user's effort. However, when the design's objective is to train users to interact with interfaces tha...
106
click to vote
ACISICIS
2007
IEEE
15 years 7 months ago
2007
IEEE
Haptic Collaboration Virtual Environment (HCVE) is an enhanced virtual reality space with haptic interface support. HCVE users are connected together over the network and are able...
IMSCCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that pl...