3663 search results - page 431 / 733 » Problems in the ontology of computer programs |
169
click to vote
STOC
2010
ACM
16 years 4 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...
153
click to vote
EUROGP
2009
Springer
16 years 1 months ago
2009
Springer
This paper analyses the efficiency of the Cartesian Genetic Programming (CGP) methodology in the image operator design problem at the functional level. The CGP algorithm is compare...
196
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
158
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
158
click to vote
DSOM
2004
Springer
16 years 4 days ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...