3073 search results - page 310 / 615 » Real World Verification |
180
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...
144
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an extensive experimental study of the state-of-the-art of XML compression tools. The study reports the behavior of nine XML compressors using a large corpus o...
174
click to vote
ENDM
2010
15 years 6 months ago
2010
We consider a generalization of the Prize Collecting Steiner Tree Problem on a graph with special redundancy requirements on a subset of the customer nodes suitable to model a rea...