160 search results - page 20 / 32 » Definition and Complexity of Some Basic Metareasoning Proble... |
CORR
2012
Springer
12 years 3 months ago
2012
Springer
All previous work on “candidate-control” manipulation of elections has been in the model of full-information, simultaneous voting. This is a problem, since in quite a few real...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
SERP
2003
13 years 8 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
AES
2007
Springer
13 years 7 months ago
2007
Springer
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In this paper we describe a procedure to reduce the size of the input feature vector. A complex pattern recognition problem like face recognition involves huge dimension of input ...