Sciweavers

2719 search results - page 437 / 544
» Exposing Application Alternatives
Sort
View
ICCBR
2010
Springer
15 years 4 months ago
A General Introspective Reasoning Approach to Web Search for Case Adaptation
Abstract. Acquiring adaptation knowledge for case-based reasoning systems is a challenging problem. Such knowledge is typically elicited from domain experts or extracted from the c...
David B. Leake, Jay H. Powell
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 4 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
IPCAI
2010
15 years 4 months ago
Active Multispectral Illumination and Image Fusion for Retinal Microsurgery
It has been shown that white light exposure during retinal microsurgeries is detrimental to patients. To address this problem, we present a novel device and image processing tool, ...
Raphael Sznitman, Seth Billings, Diego Rother, Dan...
JMIV
2010
131views more  JMIV 2010»
15 years 4 months ago
An SL(2) Invariant Shape Median
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
Benjamin Berkels, Gina Linkmann, Martin Rumpf
ML
2010
ACM
210views Machine Learning» more  ML 2010»
15 years 4 months ago
Mining frequent closed rooted trees
Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There ...
José L. Balcázar, Albert Bifet, Anto...