713 search results - page 55 / 143 » Reasoning with Projected Contours |
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
HCI
2007
13 years 10 months ago
2007
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
ESWS
2007
Springer
14 years 26 days ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
SOCRATES
2008
13 years 10 months ago
2008
This paper describes briefly an attempt to evaluate the cost-effectiveness of the blended-learning-model characterizing the project OpenCampus. It was not possible to follow the m...
SIGOPS
2010
13 years 7 months ago
2010
—Cloud computing provides us with general purpose storage and server hosting platforms at a reasonable price. We explore the possibility of tapping these resources for the purpos...