4047 search results - page 669 / 810 » Some Properties and Some Problems on Set Functors |
169
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
169
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents Clusterfile, a parallel file system that provides parallel file access on a cluster of computers. Existing parallel file systems offer little control over matc...
146
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
186
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
172
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...