4738 search results - page 256 / 948 » Past, Present, and Future |
170
click to vote
AMC
2006
15 years 6 months ago
2006
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...
161
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
It is known that many subspace algorithms give biased estimates for closed-loop data due to the existence of feedback. In this paper we present a new subspace identification metho...
149
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
197
click to vote
IANDC
2006
15 years 6 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
133
click to vote
IJWBC
2006
15 years 6 months ago
2006
: The experiences with the new ICTP website, aiming to satisfy the need for a modern and appealing image, as well as provide tailored online information and services to its scienti...