2067 search results - page 315 / 414 » Modeling and exploiting query interactions in database syste... |
157
click to vote
MVA
2006
15 years 4 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
259
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
The popularity of location-based services and the need to do real-time processing on them has led to an interest in performing queries on transportation networks, such as finding s...
133
click to vote
IJWBC
2006
15 years 4 months ago
2006
: Online communities are islands of people and topics that are not interlinked. Complementary discussions exist on disparate systems but it is currently difficult to exploit the av...
125
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
103
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...