5171 search results - page 683 / 1035 » Deterministic Parallel Processing |
149
click to vote
CSC
2006
15 years 6 months ago
2006
Genetic algorithms are heuristic search algorithm used in science, engineering and many other areas. They are powerful but slow because of their evolutionary nature that mimics th...
132
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Particle Image Velocimetry (PIV) is a method of imaging and analysing fields of flows. The PIV techniques compute and display all the motion vectors of the field in a resulting im...
138
Voted
AIR
2006
15 years 5 months ago
2006
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...
150
click to vote
JLP
2007
15 years 5 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
120
click to vote
ENTCS
2000
15 years 4 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...