352 search results - page 36 / 71 » User interface description languages for next generation use... |
JMM2
2006
13 years 8 months ago
2006
There are a few fundamental pointing-based user interface techniques for performing selections in 3D environments. One of these techniques is ray pointing, which makes selections b...
JAR
2010
13 years 6 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
CSMR
2000
IEEE
14 years 10 days ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
KI
2001
Springer
14 years 11 days ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
ACMACE
2006
ACM
14 years 1 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...