2663 search results - page 216 / 533 » How to Choose a Timing Model |
107
click to vote
FS
2010
15 years 3 months ago
2010
Abstract Consider discrete time observations (X δ)1≤ ≤n+1 of the process X satisfying dXt = √ VtdBt, with Vt a one-dimensional positive diffusion process independent of the...
114
click to vote
AI
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
144
click to vote
ISPASS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
129
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
138
click to vote
ESA
2000
Springer
15 years 8 months ago
2000
Springer
The p-center problem is to locate p facilities on a network so as to minimize the largest distance from a demand point to its nearest facility. The p-median problem is to locate p ...