3233 search results - page 157 / 647 » Validation Method for Intelligent Systems |
131
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
Autonomy requires robustness. The use of unmanned (autonomous) vehicles is appealing for tasks which are dangerous or dull. However, increased reliance on autonomous robots increa...
116
Voted
USENIX
2003
15 years 4 months ago
2003
Often, increased security comes at the expense of user convenience, performance, or compatibility with other systems. The right level of security depends on specific site and use...
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
120
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Several computer-based learning support systems and methods help learners to master metacognitive activity. Which systems and methods are designed to eliminate which difficulties a...
107
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...