1413 search results - page 176 / 283 » Bisimilarity of Open Terms |
167
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
172
click to vote
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
275
click to vote
WWCA
1998
Springer
15 years 10 months ago
1998
Springer
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
181
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
159
click to vote
ICIP
1994
IEEE
15 years 10 months ago
1994
IEEE
We develop a general theory of spatially-variant (SV) mathematical morphology for binary images in the Euclidean space. The basic SV morphological operators (that is, SV erosion, S...