1220 search results - page 118 / 244 » Restricting grammatical complexity |
ENTCS
2006
13 years 7 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
FUIN
2006
13 years 7 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
IJMMS
2006
13 years 7 months ago
2006
For human operators supervising a complex system it is crucial to have a powerful and flexible information presentation system. In order to reduce the cognitive load operators oft...
JMLR
2008
13 years 7 months ago
2008
We introduce a computationally feasible, "constructive" active learning method for binary classification. The learning algorithm is initially formulated for separable cl...
JAR
2006
13 years 7 months ago
2006
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...