1479 search results - page 184 / 296 » Management without (Detailed) Models |
131
Voted
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—As computing capabilities have increased, the coupling of computational models has become an increasingly viable and therefore important way of improving the physical ï¬...
142
click to vote
WSC
2008
15 years 7 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...
117
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
The measurement of the 3-D "average propagator", P(r), from diffusion-weighted (DW) NMR or MRI data has been a "holy grail" in materials science and biomedicin...
157
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
136
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...