Sciweavers

6650 search results - page 1027 / 1330
» models 2009
Sort
View
KDD
2009
ACM
183views Data Mining» more  KDD 2009»
16 years 1 months ago
Financial incentives and the "performance of crowds"
The relationship between financial incentives and performance, long of interest to social scientists, has gained new relevance with the advent of web-based “crowd-sourcing” mo...
Winter A. Mason, Duncan J. Watts
183
Voted
LATA
2009
Springer
16 years 1 months ago
Rigid Tree Automata
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
Florent Jacquemard, Francis Klay, Camille Vacher
LATA
2009
Springer
16 years 1 months ago
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata
We show that fixed membership testing for many interesting subclasses of multi-pushdown machines is no harder than for pushdowns with single stack. The models we consider are MVPA...
Nutan Limaye, Meena Mahajan
180
Voted
LATA
2009
Springer
16 years 1 months ago
Termination of Priority Rewriting
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
Isabelle Gnaedig
LCTRTS
2009
Springer
16 years 1 months ago
Software transactional memory for multicore embedded systems
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
Jennifer Mankin, David R. Kaeli, John Ardini
« Prev « First page 1027 / 1330 Last » Next »