162 search results - page 5 / 33 » Algebraic change-point detection |
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
MOC
2002
13 years 7 months ago
2002
Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
EUROCRYPT
2008
Springer
13 years 9 months ago
2008
Springer
Consider an abstract storage device (G) that can hold a single element x from a fixed, publicly known finite group G. Storage is private in the sense that an adversary does not hav...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes a new collision detection algorithm designed for interactive manipulation in virtual environments. Making some assumptions on objects motion, the collision ti...
ISMVL
2007
IEEE
14 years 1 months ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...