Sciweavers

12015 search results - page 2181 / 2403
» Interactive Algorithms 2005
Sort
View
151
Voted
KBSE
2010
IEEE
15 years 23 days ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo
120
Voted
MATES
2010
Springer
15 years 23 days 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, ...
MICAI
2010
Springer
15 years 23 days ago
Teaching a Robot to Perform Tasks with Voice Commands
The full deployment of service robots in daily activities will require the robot to adapt to the needs of non-expert users, particularly, to learn how to perform new tasks from “...
Ana C. Tenorio-Gonzalez, Eduardo F. Morales, Luis ...
94
Voted
PROCEDIA
2010
119views more  PROCEDIA 2010»
15 years 22 days ago
Performance and accuracy of Lattice-Boltzmann kernels on multi- and manycore architectures
We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
Dirk Ribbrock, Markus Geveler, Dominik Göddek...
PVLDB
2010
131views more  PVLDB 2010»
15 years 22 days ago
XSACT: A Comparison Tool for Structured Search Results
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...
Ziyang Liu, Sivaramakrishnan Natarajan, Peng Sun, ...
« Prev « First page 2181 / 2403 Last » Next »