Sciweavers

4695 search results - page 269 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
ACIVS
2009
Springer
15 years 12 months ago
Vehicle Tracking Using Geometric Features
Applications such as traffic surveillance require a real-time and accurate method for object tracking. We propose to represent scene observations with parabola segments with an alg...
Francis Deboeverie, Kristof Teelen, Peter Veelaert...
DIMVA
2008
15 years 8 months ago
Expanding Malware Defense by Securing Software Installations
Software installation provides an attractive entry vector for malware: since installations are performed with administrator privileges, malware can easily get the enhanced level of...
Weiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkat...
CIKM
2010
Springer
15 years 5 months ago
Novel local features with hybrid sampling technique for image retrieval
In image retrieval, most existing approaches that incorporate local features produce high dimensional vectors, which lead to a high computational and data storage cost. Moreover, ...
Leszek Kaliciak, Dawei Song, Nirmalie Wiratunga, J...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
LISA
2008
15 years 9 months ago
Sysman: A Virtual File System for Managing Clusters
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
Mohammad Banikazemi, David Daly, Bülent Abali