223 search results - page 28 / 45 » Types, Maps and Separation Logic |
VISUALIZATION
1992
IEEE
14 years 26 days ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...