7049 search results - page 330 / 1410 » Data Abstraction for CSP-OZ |
192
Voted
CBMS
2003
IEEE
16 years 26 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...
186
Voted
ICEIS
2003
IEEE
16 years 26 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...
214
Voted
IFIP
2009
Springer
16 years 5 days 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...
154
click to vote
SIGGRAPH
2000
ACM
15 years 12 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...
196
click to vote
APLAS
2007
ACM
15 years 11 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...