Sciweavers

Share
7 search results - page 2 / 2
» A Slice-Based Decision Procedure for Type-Based Partial Orde...
Sort
View
FSTTCS
2010
Springer
10 years 11 months 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ý
ATAL
2010
Springer
11 years 2 months ago
Enumeration and exact design of weighted voting games
In many multiagent settings, situations arise in which agents must collectively make decisions while not every agent is supposed to have an equal amount of influence in the outcom...
Bart de Keijzer, Tomas Klos, Yingqian Zhang
books