913 search results - page 56 / 183 » Toward Formalizing Structured Analysis |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
IANDC
2007
13 years 9 months ago
2007
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
14 years 3 months ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...