223 search results - page 28 / 45 » Types, Maps and Separation Logic |
136
click to vote
VISUALIZATION
1992
IEEE
15 years 7 months 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...
140
Voted
BIRTHDAY
2010
Springer
15 years 2 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...
138
Voted
SDM
2009
SIAM
16 years 19 days 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...
117
click to vote
UIST
2004
ACM
15 years 8 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...
127
click to vote
ICDM
2008
IEEE
15 years 10 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...