1419 search results - page 80 / 284 » Notes on Formalizing Context |
111
Voted
ML
2006
ACM
15 years 18 days ago
2006
ACM
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...
111
click to vote
AAAI
2011
14 years 20 days ago
2011
Automated feature discovery is a fundamental problem in machine learning. Although classical feature discovery methods do not guarantee optimal solutions in general, it has been r...
106
Voted
TSE
2008
15 years 16 days ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
116
click to vote
KI
1990
Springer
15 years 4 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
85
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...