7106 search results - page 346 / 1422 » Restricted Complexity, General Complexity |
108
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
For an agent to intelligently use specifications of executable protocols, it is necessary that the agent can quickly and correctly assess the outcomes of that protocol if it is ex...
141
Voted
AI
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the problem of eliciting CP-nets in the well-known model of exact learning with equivalence and membership queries. The goal is to identify a preference ordering wi...
109
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
129
click to vote
ENTCS
2006
15 years 5 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...
136
Voted
FUIN
2006
15 years 5 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...