4924 search results - page 145 / 985 » A Software System for Spatial Data Analysis and Modeling |
130
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
Large graph analysis has become increasingly important and is widely used in many applications such as web mining, social network analysis, biology, and information retrieval. The...
158
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...
119
Voted
ET
2002
15 years 3 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
131
Voted
ICHIT
2009
Springer
15 years 10 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
136
Voted
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...