Sciweavers

7213 search results - page 274 / 1443
» Automated model grouping
Sort
View
LICS
2010
IEEE
15 years 5 months ago
On the Expressivity of Symmetry in Event Structures
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
Sam Staton, Glynn Winskel
ESSLLI
2009
Springer
15 years 4 months ago
Variable Selection in Logistic Regression: The British English Dative Alternation
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...
Daphne Theijssen
GROUP
2005
ACM
16 years 7 days ago
What ideal end users teach us about collaborative software
Many studies have evaluated different uses of collaborative software. Typically, the research has focused on the shortcomings and, sometimes, the ways end users succeed or fail to...
David F. Redmiles, Hiroko Wilensky, Kristie Kosaka...
KR
2004
Springer
16 years 1 days ago
On Merging Strategy-Proofness
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
Patricia Everaere, Sébastien Konieczny, Pie...
WASA
2009
Springer
186views Algorithms» more  WASA 2009»
15 years 11 months ago
Utopia Providing Trusted Social Network Relationships within an Un-trusted Environment
Abstract. This paper introduces an unobtrusive method and distributed solution set to aid users of on-line social networking sites, by creating a trusted environment in which every...
William Gauvin, Benyuan Liu, Xinwen Fu, Jie Wang