Sciweavers

3528 search results - page 544 / 706
» A New Approach to Planning in Networks
Sort
View
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 10 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
KDD
1995
ACM
148views Data Mining» more  KDD 1995»
15 years 10 months ago
Learning Arbiter and Combiner Trees from Partitioned Data for Scaling Machine Learning
Knowledge discovery in databases has become an increasingly important research topic with the advent of wide area network computing. One of the crucial problems we study in this p...
Philip K. Chan, Salvatore J. Stolfo
IJCV
2010
574views more  IJCV 2010»
15 years 5 months ago
Time-Delayed Correlation Analysis for Multi-Camera Activity Understanding
We propose a novel approach to understanding activities from their partial observations monitored through multiple non-overlapping cameras separated by unknown time gaps. In our...
Chen Change Loy, Tao Xiang, Shaogang Gong
ICPR
2002
IEEE
16 years 7 months ago
QuickStroke: An Incremental On-Line Chinese Handwriting Recognition System
This paper presents QuickStroke: a system for the incremental recognition of handwritten Chinese characters. Only a few strokes of an ideogram need to be entered in order for a ch...
Nada P. Matic, John C. Platt, Tony Wang
ICC
2007
IEEE
111views Communications» more  ICC 2007»
16 years 26 days ago
SecureRank: A Risk-Based Vulnerability Management Scheme for Computing Infrastructures
— In this paper, we introduce a new scheme called SecureRank for prioritizing vulnerabilities to patch in computing systems/networks. This has become a key issue for IT infrastru...
Reiko Ann Miura-Ko, Nicholas Bambos