Sciweavers

14084 search results - page 158 / 2817
» A Theory for Game Theories
Sort
View
CHI
2009
ACM
14 years 8 months ago
Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumpti
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
Dario D. Salvucci, Niels Taatgen, Jelmer P. Borst
ICAIL
2009
ACM
14 years 2 months ago
Creating an argumentation corpus: do theories apply to real arguments?: a case study on the legal argumentation of the ECHR
Argumentation annotation is a crucial step in applying machine learning techniques to the argumentation field. However, there exist few argumentation corpora and their developmen...
Raquel Mochales Palau, Aagje Ieven
FOCS
2005
IEEE
14 years 1 months ago
Algorithmic Graph Minor Theory: Decomposition, Approximation, and Coloring
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
Erik D. Demaine, Mohammad Taghi Hajiaghayi, Ken-ic...
BIRTHDAY
2005
Springer
14 years 1 months ago
Model Theory for Process Algebra
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
Jan A. Bergstra, C. A. Middelburg
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
14 years 1 months ago
Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
Bruce Knuteson, Ricardo Vilalta