1940 search results - page 307 / 388 » Graph Transformation with Variables |
141
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
162
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
Many applications of computer vision requires segmenting out of an object of interest from a given image. Motivated by unlevel-sets formulation of Raviv, Kiryati and Sochen [8] and...
117
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
A method for color indexing is proposed that is based upon nonparametric statistical techniques. Nonparametrics compare the ordinal rankings of sample populations, and maintain the...
150
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
145
click to vote
ILP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...