Sciweavers

1940 search results - page 172 / 388
» Graph Transformation with Variables
Sort
View
128
Voted
MICCAI
2001
Springer
15 years 8 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...
143
Voted
PPDP
1999
Springer
15 years 8 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
124
Voted
RTA
1998
Springer
15 years 8 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
145
Voted
CVPR
2004
IEEE
15 years 7 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
112
Voted
ACSW
2004
15 years 5 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