370 search results - page 15 / 74 » Mathematical Symbol Indexing |
ENDM
2010
14 years 9 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
118
click to vote
CIVR
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
ISSAC
2007
Springer
15 years 3 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...
AISC
2010
Springer
15 years 2 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
PKDD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...