740 search results - page 41 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CGF
2010
13 years 8 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
RTA
2004
Springer
14 years 1 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
JUCS
2008
13 years 8 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
AMI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. To better coordinate information displays with moving people and the environment, software must know the locations and three dimensional alignments of the display hardwar...
PCM
2009
Springer
14 years 3 months ago
2009
Springer
In this paper I will outline an augmented reality system based on high resolution omni-directional motion image capture, an immersive interactive projection environment, the iDome ...