5630 search results - page 321 / 1126 » Computability in Specification |
160
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We propose Markov random fields (MRFs) as a probabilistic mathematical model for unifying approaches to multi-robot coordination or, more specifically, distributed action selectio...
187
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
With an increasing amount of semi-structured data XML has become important. XML documents may contain private information that cannot be shared by all user communities. Therefore,...
263
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
199
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
162
click to vote
CG
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) of the breast has become an important image modality for early breast cancer detection. In comparison to conventiona...