1463 search results - page 2 / 293 » An Implementation of CLIM Presentation Types |
SYNASC
2006
IEEE
13 years 11 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
FUIN
2010
13 years 3 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
ENTCS
2002
13 years 5 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
SG
2007
Springer
13 years 11 months ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
FPT
2005
IEEE
13 years 11 months ago
2005
IEEE
Although biological visual systems have been widely studied at the physiological, psychophysical and functional levels, our understanding of its signal processing mechanisms is st...