149 search results - page 9 / 30 » The Derivational Complexity Induced by the Dependency Pair M... |
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
KES
2010
Springer
13 years 5 months ago
2010
Springer
We develop a methodology to grasp temporal trend in a stock market that changes year to year, or sometimes within a year depending on numerous factors. For this purpose, we employ ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Nowadays a lot of effort is spent on developing OFDMbased inexpensive wireless transceivers. Direct-conversion radio frequency transceivers are appealing because they a...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
The motion of a planar surface between two camera views induces a homography. The homography depends on the cameraintrinsic and extrinsic parameters, as well as on the 3D plane pa...
ICTAI
2009
IEEE
13 years 5 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...