3233 search results - page 191 / 647 » Validation Method for Intelligent Systems |
144
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
116
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
We investigate the automatic construction of visual scenes via a hybrid evolutionary/hill-climbing approach using a correlationbased fitness function. This forms part of The Painti...
125
Voted
KI
2002
Springer
15 years 3 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
133
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
142
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Lay people discussing machine translation systems often perform a round trip translation, that is translating a text into a foreign language and back, to measure the qual...