4272 search results - page 303 / 855 » A Case for Automatic System Evaluation |
166
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
213
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
217
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
174
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present AgentSketch, an agentbased system for on-line recognition of hand-drawn diagrams. Agents are used for managing the activity of symbol recognizers and for ...
206
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...