4270 search results - page 108 / 854 » Implementation of interactive poster |
85
Voted
AICOM
2010
14 years 10 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
CG
2007
Springer
14 years 10 months ago
2007
Springer
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...
PSYCHNOLOGY
2008
14 years 9 months ago
2008
Recent technological developments have made it possible to apply experience design also in the field of highly interactive product design, an area where involvement of non-trivial...
107
Voted
GW
2009
Springer
14 years 8 months ago
2009
Springer
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
81
Voted
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...