Sciweavers

1363 search results - page 107 / 273
» Generating hypotheses from the web
Sort
View
CHI
2009
ACM
16 years 2 months ago
A user study on visualizing directed edges in graphs
Graphs are often visualized using node-link representations: vertices are depicted as dots, edges are depicted as (poly)lines connecting two vertices. A directed edge running from...
Danny Holten, Jarke J. van Wijk
ICSE
2007
IEEE-ACM
15 years 7 months ago
Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
Sarah Smith Heckman
IMR
2004
Springer
15 years 6 months ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
ILP
2003
Springer
15 years 6 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton
MATES
2010
Springer
14 years 12 months ago
Do You Get It? User-Evaluated Explainable BDI Agents
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
Joost Broekens, Maaike Harbers, Koen V. Hindriks, ...