Sciweavers

7991 search results - page 671 / 1599
» Using More Reasoning to Improve
Sort
View
AAAI
1990
15 years 8 months ago
Operationality Criteria for Recursive Predicates
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
Stanley Letovsky
CAL
2006
15 years 7 months ago
A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
Wentong Li, Saraju P. Mohanty, Krishna M. Kavi
STTT
2010
115views more  STTT 2010»
15 years 5 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ICASSP
2010
IEEE
15 years 5 months ago
Restoration-based iron oxide particles quantification in MR images
Magnetic Resonance Imaging (MRI) is a medical imaging modality that provides structural and functional information. To improve the contrast of MR images, contrast agents, such as ...
Delphine Charpigny, Thomas Grenier, Christophe Ode...
ICIP
2010
IEEE
15 years 5 months ago
A two-pass random forests classification of airborne lidar and image data on urban scenes
Random forests ensemble classifier showed to be suitable for classifying mutlisource data such as lidar and RGB image for urban scene mapping. However, two major problems remain :...
Li Guo, Nesrine Chehata, Samia Boukir