3742 search results - page 281 / 749 » On the Use of Formal Techniques for Validation |
166
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Registration based on B-spline transformations has attracted much attention in medical image processing recently. Non-rigid registration provides the basis for many important techn...
180
click to vote
ALT
2007
Springer
16 years 3 months ago
2007
Springer
In this paper, we address the issue of learning nonlinearly separable concepts with a kernel classifier in the situation where the data at hand are altered by a uniform classific...
475
click to vote
ICCV
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation. We have...
160
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a novel power reduction method for chip multi-processors (CMPs) under real-time constraints. While the power consumption of processing units (PUs) on CMPs can ...
152
click to vote
ISMB
1994
15 years 8 months ago
1994
Adaptive resonance theory (ART)describes a class of artificial neural networkarchitectures that act as classification tools whichself-organize, workin realtime, and require no ret...