651 search results - page 75 / 131 » Decisions in thesaurus construction and use |
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
114
click to vote
DBSEC
2006
15 years 1 months ago
2006
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
JKM
2007
14 years 11 months ago
2007
Purpose – The purpose of this paper is twofold: to understand how recent developments in systems thinking and social construction can influence understanding of knowledge trans...
IV
2008
IEEE
15 years 6 months ago
2008
IEEE
With the increased usage of the Web and its availability of data, various scholarly information is now available on the Web. Extraction, aggregation, and visualization of such inf...
ECML
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Tree induction methods and linear models are popular techniques for supervised learning tasks, both for the prediction of nominal classes and continuous numeric values. F...