Sciweavers

4930 search results - page 538 / 986
» Testing a Safety-Critical Application
Sort
View
PDIS
1991
IEEE
15 years 11 months ago
Practical Prefetching Techniques for Parallel File Systems
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
David Kotz, Carla Schlatter Ellis
ICPR
2010
IEEE
15 years 11 months ago
Perceptual Image Retrieval by Adding Color Information to the Shape Context Descriptor
In this paper we present a method for the retrieval of images in terms of perceptual similarity. Local color information is added to the shape context descriptor in order to obtain...
Marçal Rusiñol, Farshad Nourbakhsh, Dimosthenis ...
AAAI
2008
15 years 10 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
FLAIRS
2010
15 years 10 months ago
Correlating Shape and Functional Properties Using Decomposition Approaches
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...
Daniel Dornbusch, Robert Haschke, Stefan Menzel, H...
AAAI
2007
15 years 10 months ago
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
Russell Bent, Pascal Van Hentenryck