4810 search results - page 185 / 962 » Modeling Value Speculation |
172
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
184
click to vote
CORR
2008
Springer
15 years 6 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...
166
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
The banking industry regularly mounts campaigns to improve customer value by offering new products to existing customers. In recent years this approach has gained significant mome...
205
click to vote
APCCM
2006
15 years 7 months ago
2006
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
154
click to vote
EDM
2008
15 years 8 months ago
2008
Bayesian graphical models are commonly used to build student models from data. A number of standard algorithms are available to train Bayesian models from student skills assessment...