7167 search results - page 74 / 1434 » A Technique for Invariant Generation |
153
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
191
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task manage...
173
click to vote
APPML
2002
15 years 6 months ago
2002
Let V () be a shift invariant subspace of L2 (R) generated by a Riesz or frame generator (t) in L2 (R). We assume that (t) is suitably chosen so that the regular sampling expansio...
158
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
171
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method for protein structure comparison that is based on indexing. Unlike most methods using indexing, ours does not use invariants of the C atoms of th...