3804 search results - page 206 / 761 » From Here to There |
189
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
160
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The process of design search and optimisation is characterised by its computationally intensive operations, which produce a problem well suited to Grid computing. Here we present a...
174
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
We propose a simple method to map a generic threshold model, namely the Spike Response Model, to artificial data of neuronal activity using a minimal amount of a priori informatio...
136
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...
149
click to vote
IS4TH
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...