7049 search results - page 330 / 1410 » Data Abstraction for CSP-OZ |
162
click to vote
CBMS
2003
IEEE
16 years 1 days ago
2003
IEEE
An interactive tool for the segmentation, visualization and navigation of magnetic resonance (MR) images is presented. Previous work has shown the hierarchical self-organizing map...
169
Voted
ICEIS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract: The work described in this article arises from two needs. First, there is still a need for providing more sophisticated database systems than just relational ones. Second...
181
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
135
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We present a method for automatically rendering pen-and-ink illustrations of trees. A given 3-d tree model is illustrated by the tree and a visual representation of the foliage us...
178
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...