3233 search results - page 191 / 647 » Validation Method for Intelligent Systems |
190
click to vote
TABLEAUX
2009
Springer
16 years 1 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...
152
click to vote
EVOW
2008
Springer
15 years 8 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...
162
click to vote
KI
2002
Springer
15 years 6 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...
173
click to vote
ACSAC
2005
IEEE
16 years 2 days 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...
179
click to vote
AUSAI
2006
Springer
15 years 10 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...