9405 search results - page 1691 / 1881 » Computing a Model of Set Theory |
158
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
141
click to vote
MOBIHOC
2003
ACM
15 years 9 months ago
2003
ACM
Reliable storage of data with concurrent read/write accesses (or query/update) is an ever recurring issue in distributed settings. In mobile ad hoc networks, the problem becomes e...
131
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
We describe a method to accurately assess articular cartilage morphology using the three-dimensional laser scanning technology. Traditional methods to obtain ground truth for valid...
157
click to vote
DEBS
2009
ACM
15 years 7 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
158
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Protein-protein interaction (PPI) plays essential roles in cellular functions. The cost, time and other limitations associated with the current experimental methods ha...