3233 search results - page 222 / 647 » Validation Method for Intelligent Systems |
142
Voted
TSP
2012
13 years 11 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
116
click to vote
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...
282
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
118
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
130
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...