677 search results - page 80 / 136 » Rigorous Object-Oriented Analysis |
METRICS
2003
IEEE
15 years 6 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
92
Voted
CAIP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we propose a heterogeneous committee machine for face processing including face detection and recognition. Our proposed system consists of two components, ...
103
Voted
ICSOC
2003
Springer
15 years 6 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
120
click to vote
ECAL
2001
Springer
15 years 5 months ago
2001
Springer
Reinforcement learning (RL) is a fundamental process by which organisms learn to achieve a goal from interactions with the environment. Using Artificial Life techniques we derive ...
92
Voted
ISRR
2001
Springer
15 years 5 months ago
2001
Springer
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...