Sciweavers

29147 search results - page 143 / 5830
» System Modeling Resurrected
Sort
View
127
Voted
MFCS
2010
Springer
15 years 3 months ago
Proof Systems and Transformation Games
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
Yoram Bachrach, Michael Zuckerman, Michael Wooldri...
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
NAACL
2010
15 years 2 months ago
Learning about Voice Search for Spoken Dialogue Systems
In a Wizard-of-Oz experiment with multiple wizard subjects, each wizard viewed automated speech recognition (ASR) results for utterances whose interpretation is critical to task s...
Rebecca J. Passonneau, Susan L. Epstein, Tiziana L...
155
Voted
AAAI
2012
13 years 7 months ago
A Sequential Decision Approach to Ordinal Preferences in Recommender Systems
We propose a novel sequential decision approach to modeling ordinal ratings in collaborative filtering problems. The rating process is assumed to start from the lowest level, eva...
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh
TOG
2012
206views Communications» more  TOG 2012»
13 years 7 months ago
Beady: interactive beadwork design and construction
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
Yuki Igarashi, Takeo Igarashi, Jun Mitani