1284 search results - page 29 / 257 » On Helping and Interactive Proof Systems |
ACMDIS
2000
ACM
13 years 12 months ago
2000
ACM
This paper introduces a Dimension Space describing the entities making up richly interactive systems. The Dimension Space is intended to help designers understand both the physica...
JUCS
2008
13 years 7 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
HCI
2009
13 years 5 months ago
2009
In this paper, we present an interactive object segmentation system form video, such as TV products and films, for converting 2D to 3D contents. It is focused on reducing the proce...
INTERACT
2003
13 years 9 months ago
2003
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper considers the current efforts to describe the effect of Internet-based technology on interactivity between citizens and public organizations to be incomplete and poorly...