Sciweavers

1940 search results - page 172 / 388
» Graph Transformation with Variables
Sort
View
MICCAI
2001
Springer
15 years 11 months ago
A Binary Entropy Measure to Assess Nonrigid Registration Algorithms
Assessment of normal and abnormal anatomical variability requires a coordinate system enabling inter-subject comparison. We present a binary minimum entropy criterion to assess afï...
Simon K. Warfield, Jan Rexilius, Petra S. Huppi, T...
PPDP
1999
Springer
15 years 10 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
RTA
1998
Springer
15 years 10 months ago
Decidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
Jordi Levy
CVPR
2004
IEEE
15 years 10 months ago
Learning in Region-Based Image Retrieval with Generalized Support Vector Machines
Relevance feedback approaches based on support vector machine (SVM) learning have been applied to significantly improve retrieval performance in content-based image retrieval (CBI...
Iker Gondra, Douglas R. Heisterkamp
ACSW
2004
15 years 7 months ago
Application of self-organizing maps to clustering of high-frequency Financial data
This paper analyzes the clustering of trades on the Australian Stock Exchange (ASX) with respect to the trade direction variable. The ASX is a limit order market operating an elec...
Adam Blazejewski, Richard Coggins