3370 search results - page 192 / 674 » Correlation Embedding Analysis |
133
Voted
DIAL
2006
IEEE
15 years 7 months ago
2006
IEEE
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
140
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
141
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...
160
Voted
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
144
Voted
TON
2008
15 years 3 months ago
2008
This paper proposes a traffic anomaly detector, operated in postmortem and in real-time, by passively monitoring packet headers of traffic. The frequent attacks on network infrastr...