1300 search results - page 123 / 260 » Association Schemoids and Their Categories |
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
HT
2010
ACM
15 years 4 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
HT
2010
ACM
15 years 4 months ago
2010
ACM
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
126
click to vote
PODS
2010
ACM
15 years 4 months ago
2010
ACM
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...
132
click to vote
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we introduce a new and simple algorithm to compress isosurface data. This is the data extracted by isosurface algorithms from scalar functions defined on volume gri...