3690 search results - page 550 / 738 » Computation with classical sequents |
158
click to vote
DEXA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
140
click to vote
DIS
2007
Springer
15 years 11 months ago
2007
Springer
As mentioned in French secondary school official texts, teaching science implies teaching scientific process. This poses the problem of how to teach epistemology, as traditional sc...
147
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
145
Voted
EVOW
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...
141
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In the classical binary genetic algorithm, although crossover within a building block (BB) does not always cause a decrease in fitness, any decrease in fitness results from the ...