1207 search results - page 120 / 242 » Modelling and improving human decision making with simulatio... |
120
click to vote
ICASSP
2008
IEEE
16 years 5 days ago
2008
IEEE
Abstract— In this paper we propose a method for joint optimization of transceivers with fractionally spaced equalization (FSE). We use the effective single-input multiple-output ...
150
click to vote
GRID
2007
Springer
15 years 12 months ago
2007
Springer
— Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wid...
162
click to vote
ACSD
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
151
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
144
click to vote
IKE
2003
15 years 7 months ago
2003
Traditional knowledge management mechanism focused on the re-usage of knowledge library. However, it lacks the ability of knowledge innovation and co-creation. Meanwhile, employee...