2713 search results - page 499 / 543 » Parameterized Tree Systems |
169
click to vote
BIB
2007
15 years 5 months ago
2007
Biological knowledge can be inferred from three major levels of information: molecules, organisms and ecologies. Bioinformatics is an established field that has made significant a...
167
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— The detection of features from Light Detection and Ranging (LIDAR) data is a fundamental component of featurebased mapping and SLAM systems. Existing detectors tend to exploit ...
181
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
153
click to vote
FPL
2010
Springer
15 years 3 months ago
2010
Springer
Heterogeneous or co-processor architectures are becoming an important component of high productivity computing systems (HPCS). In this work the performance of a GPU based HPCS is c...
173
click to vote
ICIP
2010
IEEE
2010
IEEE
Restoration of images and 3D data to higher resolution by deconvolution with sparsity regularization
15 years 3 months ago
Image convolution is conventionally approximated by the LTI discrete model. It is well recognized that the higher the sampling rate, the better is the approximation. However somet...