3909 search results - page 434 / 782 » Extreme Model Checking |
153
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
138
click to vote
NIPS
2007
15 years 6 months ago
2007
We describe a neurobiologically plausible model to implement dynamic routing using the concept of neuronal communication through neuronal coherence. The model has a three-tier arc...
158
click to vote
IJCV
2008
15 years 4 months ago
2008
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
187
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...
146
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...