Sciweavers

4959 search results - page 357 / 992
» Evolution maps and applications
Sort
View
CGI
2006
IEEE
16 years 1 months ago
Dynamic Medial Axes of Planar Shapes
In this paper a computational model called dynamic medial axis (DMA) is proposed to describe the internal evolution of planar shapes. To define the DMA, a symbolic representation ...
Kai Tang, Yong-Jin Liu
ADBIS
2006
Springer
200views Database» more  ADBIS 2006»
16 years 28 days ago
Anomaly Detection Using Unsupervised Profiling Method in Time Series Data
The anomaly detection problem has important applications in the field of fraud detection, network robustness analysis and intrusion detection. This paper is concerned with the prob...
Zakia Ferdousi, Akira Maeda
HICSS
2005
IEEE
183views Biometrics» more  HICSS 2005»
16 years 17 days ago
A Disruption Analysis in the Mobile Payment Market
Mobile payments are predicted to have a bright future as m-commerce becomes more popular. However, this promising application has not been as successful as anticipated. This can b...
Jan Ondrus, Yves Pigneur
APN
2005
Springer
16 years 15 days ago
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
Charles Lesire, Catherine Tessier
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
16 years 15 days ago
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
João P. Marques Silva