1650 search results - page 268 / 330 » The HOM problem is decidable |
CAEPIA
2009
Springer
14 years 9 days ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
CAEPIA
2009
Springer
14 years 9 days ago
2009
Springer
In this paper we propose the design of an agent for the ART Testbed, a tool created with the goal of objectively evaluate different trust strategies. The agent design includes a tr...
CCGRID
2010
IEEE
14 years 9 days ago
2010
IEEE
In a desktop grid model, the job (computational task) is submitted for execution in the resource only when the resource is idle. There is no guarantee that the job which has starte...
CEC
2010
IEEE
14 years 9 days ago
2010
IEEE
Image processing and recognition technologies are becoming increasingly important. Automatic construction methods for image transformation algorithms proposed to date approximate a...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
When foraging for information, users face a tradeoff between the accuracy and value of the acquired information and the time spent collecting it, a problem which also surfaces whe...