3233 search results - page 301 / 647 » Validation Method for Intelligent Systems |
153
Voted
SAS
1999
Springer
15 years 8 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
125
Voted
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
ADT
2010
15 years 4 months ago
2010
Abstract A wide range of wireless system developments require knowledge of the distribution of electromagnetic fields from various sources in humans. As experimental assessment is ...
124
click to vote
JIRS
2006
15 years 4 months ago
2006
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...
101
click to vote
TEC
2002
15 years 4 months ago
2002
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...