5550 search results - page 1070 / 1110 » Different Approaches to Proof Systems |
OSDI
1994
ACM
14 years 11 months ago
1994
ACM
Parallel processing has been proposed as a means of improving network protocol throughput. Several different strategies have been taken towards parallelizing protocols. A relative...
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
CLEF
2009
Springer
14 years 11 months ago
2009
Springer
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...
87
Voted
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This contribution studies speciation from the standpoint of evolutionary robotics (ER). A common approach to ER is to design a robot’s control system using neuro-evolut...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
Capability planning problems are pervasive throughout many areas of human interest with prominent examples found in defense and security. Planning provides a unique context for op...