2149 search results - page 88 / 430 » Form over Substance |
131
click to vote
AMC
2006
15 years 4 months ago
2006
An inverse problem arising from recovery of wavespeed for a one-dimensional problem in a medium with constant background wavespeed in the presence of damping is discussed. Our met...
123
click to vote
EOR
2008
15 years 4 months ago
2008
This paper deals with an extension of the concept of correlated strategies to Markov stopping games. The Nash equilibrium approach to solving nonzero-sum stopping games may give m...
134
click to vote
ENTCS
2000
15 years 4 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
117
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
110
click to vote
IJISEC
2002
15 years 4 months ago
2002
Using a random deal of cards to players and a computationally unlimited eavesdropper, all players wish to share a one-bit secret key which is informationtheoretically secure from t...