10910 search results - page 1793 / 2182 » Input modeling using a computer algebra system |
190
click to vote
ICFEM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
188
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
204
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
166
click to vote
INTERSENSE
2006
ACM
16 years 26 days ago
2006
ACM
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
150
click to vote
GBRPR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...