4460 search results - page 762 / 892 » Formal methods for interactive systems |
158
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
141
Voted
FMLDO
1999
Springer
15 years 8 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
129
Voted
DAC
2007
ACM
15 years 7 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
154
Voted
WSCG
2003
15 years 5 months ago
2003
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
128
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Internet coordinate systems have emerged as an efficient method to estimate the latency between pairs of nodes without any communication between them. However, most coordinate sy...