Sciweavers

2485 search results - page 345 / 497
» Time Bounded Frequency Computations
Sort
View
AIED
2011
Springer
14 years 8 months ago
Self-assessment of Motivation: Explicit and Implicit Indicators in L2 Vocabulary Learning
Self-assessment motivation questionnaires have been used in classrooms yet many researchers find only a weak correlation between answers to these questions and learning. In this pa...
Kevin Dela Rosa, Maxine Eskenazi
DAC
2004
ACM
16 years 6 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
154
Voted
STOC
2005
ACM
112views Algorithms» more  STOC 2005»
16 years 5 months ago
The complexity of agreement
A celebrated 1976 theorem of Aumann asserts that honest, rational Bayesian agents with common priors will never "agree to disagree": if their opinions about any topic ar...
Scott Aaronson
159
Voted
PODS
2006
ACM
134views Database» more  PODS 2006»
16 years 5 months ago
Finding global icebergs over distributed data sets
Finding icebergs ? items whose frequency of occurrence is above a certain threshold ? is an important problem with a wide range of applications. Most of the existing work focuses ...
Qi Zhao, Mitsunori Ogihara, Haixun Wang, Jun Xu
BTW
2007
Springer
154views Database» more  BTW 2007»
15 years 11 months ago
Integrating Query-Feedback Based Statistics into Informix Dynamic Server
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
Alexander Behm, Volker Markl, Peter J. Haas, Kesha...