Sciweavers

785 search results - page 113 / 157
» The Dynamic Bloom Filters
Sort
View
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 3 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
CEAS
2008
Springer
14 years 11 months ago
Improved Phishing Detection using Model-Based Features
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
André Bergholz, Jeong Ho Chang, Gerhard Paa...
AUTOMATICA
2006
80views more  AUTOMATICA 2006»
14 years 9 months ago
State estimation over packet dropping networks using multiple description coding
For state estimation over a communication network, efficiency and reliability of the network are critical issues. The presence of packet dropping and communication delay can great...
Zhipu Jin, Vijay Gupta, Richard M. Murray
IVS
2008
139views more  IVS 2008»
14 years 9 months ago
DataMeadow: a visual canvas for analysis of large-scale multivariate data
Supporting visual analytics of multiple large-scale multidimensional datasets requires a high degree of interactivity and user control beyond the conventional challenges of visual...
Niklas Elmqvist, John T. Stasko, Philippas Tsigas
PR
2006
229views more  PR 2006»
14 years 9 months ago
FS_SFS: A novel feature selection method for support vector machines
In many pattern recognition applications, high-dimensional feature vectors impose a high computational cost as well as the risk of "overfitting". Feature Selection addre...
Yi Liu, Yuan F. Zheng