Sciweavers

6527 search results - page 947 / 1306
» On Typing Information Flow
Sort
View
FOIKS
2008
Springer
15 years 9 months ago
Visibly Pushdown Transducers for Approximate Validation of Streaming XML
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye
AAAI
2010
15 years 9 months ago
Computationally Feasible Automated Mechanism Design: General Approach and Case Studies
In many multiagent settings, a decision must be made based on the preferences of multiple agents, and agents may lie about their preferences if this is to their benefit. In mechan...
Mingyu Guo, Vincent Conitzer
BCSHCI
2007
15 years 9 months ago
Cueing retrospective verbal reports in usability testing through eye-movement replay
An experimental validation is presented of a novel method for usability testing that entails the playback of dynamic eyetracking data to cue the elicitation of retrospective verba...
Nicola Eger, Linden J. Ball, Robert Stevens, Jon D...
ESANN
2007
15 years 9 months ago
How to process uncertainty in machine learning?
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
Barbara Hammer, Thomas Villmann
AAAI
2006
15 years 9 months ago
Novel Relationship Discovery Using Opinions Mined from the Web
This paper proposes relationship discovery models using opinions mined from the Web instead of only conventional collocations. Web opinion mining extracts subjective information f...
Lun-Wei Ku, Hsiu-Wei Ho, Hsin-Hsi Chen