17049 search results - page 381 / 3410 » cans 2007 |
161
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
131
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we investigate the problem of validating, with constant memory, streaming XML documents with respect to a DTD. Such constant memory validations can only be performed ...
146
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we discuss the use of structured matrix methods for the numerical approximation of the zeros of a univariate polynomial. In particular, it is shown that root-findin...
155
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
An extension of Karr’s summation algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate diff...
186
click to vote
IWDW
2007
Springer
16 years 1 months ago
2007
Springer
The compositing of two or more people into a single image is a common form of manipulation. We describe how such composites can be detected by estimating a camera’s intrinsic par...