10156 search results - page 1791 / 2032 » Step by Step to Histories |
195
click to vote
GECCO
2004
Springer
16 years 24 days ago
2004
Springer
We discuss the computational complexity of random 2D Ising spin glasses, which represent an interesting class of constraint satisfaction problems for black box optimization. Two ex...
184
click to vote
ICCS
2004
Springer
16 years 23 days ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
188
click to vote
ICCS
2004
Springer
16 years 23 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
241
click to vote
ICIAR
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...
199
click to vote
ICTAC
2004
Springer
16 years 23 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...