868 search results - page 111 / 174 » On Analog Signature Analysis |
ENTCS
2006
14 years 9 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
EOR
2007
14 years 9 months ago
2007
Newton’s method is a basic tool in numerical analysis and numerous applications, including operations research and data mining. We survey the history of the method, its main ide...
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
APAL
2005
14 years 9 months ago
2005
Abstract. Let n be a positive integer and FA (n) be the free abelian latticeordered group on n generators. We prove that FA (m) and FA (n) do not satisfy the same first-order sente...
JSC
2007
14 years 9 months ago
2007
Triangular decompositions for systems of polynomial equations with n variables, with exact coefficients, are well developed theoretically and in terms of implemented algorithms i...