Sciweavers

845 search results - page 138 / 169
» Parallel Exact Inference
Sort
View
JAIR
2002
129views more  JAIR 2002»
15 years 2 months ago
A Unified Model of Structural Organization in Language and Music
Is there a general model that can predict the perceived phrase structure in language and music? While it is usually assumed that humans have separate faculties for language and mu...
Rens Bod
126
Voted
ICST
2010
IEEE
15 years 28 days ago
Precisely Detecting Runtime Change Interactions for Evolving Software
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
Raúl A. Santelices, Mary Jean Harrold, Ales...
144
Voted
FSTTCS
2010
Springer
15 years 13 days ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
169
Voted
ISAAC
2010
Springer
291views Algorithms» more  ISAAC 2010»
15 years 10 days ago
A Tighter Analysis of Work Stealing
Abstract. Classical list scheduling is a very popular and efficient technique for scheduling jobs in parallel platforms. However, with the increasing number of processors, the cost...
Marc Tchiboukdjian, Nicolas Gast, Denis Trystram, ...
122
Voted
JLP
2010
85views more  JLP 2010»
14 years 9 months ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu