1528 search results - page 191 / 306 » Performance Assertion Checking |
108
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
The proper segmentation of the vascular system of the retina has a very important role in automatic screening systems. Its detection helps the localization of other anatomical par...
234
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
101
Voted
JUCS
2011
14 years 10 months ago
2011
: In this paper, we propose a novel dexterous technique for fast and accurate recognition of online handwritten Kannada and Tamil characters. Based on the primary classifier output...
164
Voted
KI
2010
Springer
14 years 10 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
116
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
For high-data-rate applications, turbo-like iterative decoders are implemented with parallel hardware architecture. However, to achieve high throughput, concurrent accesses to each...