Sciweavers

162 search results - page 6 / 33
» Algebraic change-point detection
Sort
View
CAD
2008
Springer
13 years 7 months ago
Self-intersection detection and elimination in freeform curves and surfaces
We present several algorithms for self-intersection detection, and possible elimination, in freeform planar curves and surfaces. Both local and global self-intersections are elimi...
Diana Pekerman, Gershon Elber, Myung-Soo Kim
EDO
2000
Springer
13 years 11 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
14 years 7 months ago
XML query optimization in the presence of side effects
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
IEEEARES
2010
IEEE
14 years 2 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
SIMPRA
2011
13 years 2 months ago
Estimation of linear trend onset in time series
We propose a method to detect the onset of linear trend in a time series and estimate the change point T from the profile of a linear trend test statistic, computed on consecutive...
Vafeiadis Thanasis, Bora-Senta Efthimia, Kugiumtzi...