Sciweavers

1995 search results - page 10 / 399
» What's the Problem
Sort
View
BIRTHDAY
2009
Springer
14 years 2 months ago
Combinatorial Problems for Horn Clauses
Given a family of Horn clauses, what is the minimal number of Horn clauses implying all other clauses in the family? What is the maximal number of Horn clauses from the family wit...
Marina Langlois, Dhruv Mubayi, Robert H. Sloan, Gy...
AAAI
2000
13 years 8 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
VL
2006
IEEE
14 years 1 months ago
Gender Differences in End-User Debugging, Revisited: What the Miners Found
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
Valentina Grigoreanu, Laura Beckwith, Xiaoli Z. Fe...
ICCBR
2001
Springer
13 years 12 months ago
Helping a CBR Program Know What It Knows
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
Bruce M. McLaren, Kevin D. Ashley
ISCA
1998
IEEE
142views Hardware» more  ISCA 1998»
13 years 11 months ago
An Analysis of Correlation and Predictability: What Makes Two-Level Branch Predictors Work
Pipeline flushes due to branch mispredictions is one of the most serious problems facing the designer of a deeply pipelined, superscalar processor. Many branch predictors have bee...
Marius Evers, Sanjay J. Patel, Robert S. Chappell,...