2095 search results - page 109 / 419 » Describing Groups |
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
191
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
171
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
This paper describes shape analysis of the caudate nucleus structure in a large schizophrenia study (30 controls, 60 schizophrenics). Although analysis of the caudate has not drawn...
173
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
168
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
User experience in social media involves rich interactions with the media content and other participants in the community. In order to support such communities, it is important to...