455 search results - page 65 / 91 » Understanding Counterexamples with explain |
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
VISUALIZATION
1995
IEEE
15 years 2 months ago
1995
IEEE
There are many applications that can benefit from the simultaneous display of multiple layers of data. The objective in these cases is to render the layered surfaces in a such way...
EXACT
2007
15 years 1 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
AISB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...