3233 search results - page 181 / 647 » Validation Method for Intelligent Systems |
152
Voted
EWCBR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
146
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
129
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
141
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
125
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...