7 search results - page 2 / 2 » A Slice-Based Decision Procedure for Type-Based Partial Orde... |
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
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...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
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...