Sciweavers

6368 search results - page 933 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
ISAAC
2001
Springer
104views Algorithms» more  ISAAC 2001»
15 years 11 months ago
Algorithms for Pattern Involvement in Permutations
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...
Michael H. Albert, Robert E. L. Aldred, Mike D. At...
ASSETS
2007
ACM
15 years 11 months ago
SADIe: exposing implicit information to improve accessibility
The World Wide Web (Web) is a visually complex, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semantic Web te...
Darren Lunn
152
Voted
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
NAACL
2007
15 years 8 months ago
Automatic Acquisition of Grammatical Types for Nouns
The work1 we present here is concerned with the acquisition of deep grammatical information for nouns in Spanish. The aim is to build a learner that can handle noise, but, more in...
Núria Bel, Sergio Espeja, Montserrat Marimo...
USENIX
1994
15 years 8 months ago
The Slab Allocator: An Object-Caching Kernel Memory Allocator
This paper presents a comprehensive design overview of the SunOS 5.4 kernel memory allocator. This allocator is based on a set of object-caching primitives that reduce the cost of...
Jeff Bonwick