Sciweavers

4924 search results - page 145 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
130
Voted
SC
2009
ACM
15 years 10 months ago
Evaluating use of data flow systems for large graph analysis
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...
Andy Yoo, Ian Kaplan
158
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Video thumbnail extraction using video time density function and independent component analysis mixture model
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...
Junfeng Jiang, Xiao-Ping Zhang
119
Voted
ET
2002
108views more  ET 2002»
15 years 3 months ago
Diagnosis Strategies for Hardware or Software Systems
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 ...
Maisaa Khalil, Chantal Robach, Franc Novak
131
Voted
ICHIT
2009
Springer
15 years 10 months ago
Middleware-based distributed systems software process
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
136
Voted
SIGSOFT
1996
ACM
15 years 8 months ago
Model Checking Large Software Specifications
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 ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...