4963 search results - page 718 / 993 » Implementing a Categorical Information System |
178
click to vote
CGF
2008
15 years 7 months ago
2008
We present an interface for 3D object manipulation in which standard transformation tools are replaced with transient 3D widgets invoked by sketching context-dependent strokes. Th...
182
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
190
Voted
CCE
2006
15 years 7 months ago
2006
This paper describes the development of a real-time monitoring system for a batch process operated by Aroma and Fine Chemicals Limited. The process shares many similarities with o...
203
Voted
DSS
2000
15 years 7 months ago
2000
Project portfolio selection is a crucial decision in many organizations, which must make informed decisions on investment, where the appropriate distribution of investment is comp...
210
click to vote
TVCG
1998
15 years 7 months ago
1998
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...