5326 search results - page 286 / 1066 » On what we can ensure |
155
click to vote
JANCL
2007
15 years 6 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
194
click to vote
TVCG
2008
15 years 6 months ago
2008
We propose a novel approach to proportional derivative (PD) control exploiting the fact that these equations can be solved analytically for a single degree of freedom. The analytic...
172
click to vote
ALGORITHMICA
1999
15 years 6 months ago
1999
In this paper, we consider the following question: what is the maximum number of entries that can be added to a partially lled latin square? The decision version of this question ...
127
click to vote
FMSD
1998
15 years 6 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
167
click to vote
ICAI
2010
15 years 4 months ago
2010
A report on the experiments carried out with our robot in the Emotirob project is given in this paper, in which we show how we build emotion and personality in the robot. With chi...