653 search results - page 88 / 131 » Implications of a Data Structure Consistency Checking System |
162
click to vote
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
160
click to vote
DAGSTUHL
1997
15 years 5 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
172
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
136
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents an indoor localization system for the visually impaired. The basis of our system is an Extended Kalman Filter (EKF) for six degree-of-freedom (d.o.f.) posit...
160
click to vote
TSMC
2008
15 years 4 months ago
2008
This paper proposes a type-2 self-organizing neural fuzzy system (T2SONFS) and its hardware implementation. The antecedent parts in each T2SONFS fuzzy rule are interval type-2 fuzz...