10493 search results - page 1684 / 2099 » Dynamic Word Problems |
148
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
117
Voted
CPHYSICS
2008
15 years 3 months ago
2008
We present a Fortran program to compute the distribution of dipole moments of free particles for use in analyzing molecular beams experiments that measure moments by deflection in...
157
Voted
COMGEO
2006
ACM
15 years 3 months ago
2006
ACM
The ray shooting problem arises in many different contexts and is a bottleneck of ray tracing in computer graphics. Unfortunately, theoretical solutions to the problem are not ver...
152
Voted
COMGEO
2006
ACM
15 years 3 months ago
2006
ACM
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applica...
140
Voted
CPHYSICS
2006
15 years 3 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...