2989 search results - page 208 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
147
click to vote
STEP
2003
IEEE
15 years 7 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
132
click to vote
COMPSAC
2007
IEEE
15 years 2 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
113
click to vote
JSS
1998
15 years 2 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
149
Voted
CORR
2012
Springer
13 years 10 months ago
2012
Springer
Bayesian priors offer a compact yet general means of incorporating domain knowledge into many learning tasks. The correctness of the Bayesian analysis and inference, however, lar...
114
click to vote
AAAI
2008
15 years 4 months ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...