886 search results - page 86 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
124
click to vote
JMLR
2006
15 years 1 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
122
click to vote
SIGSOFT
1996
ACM
15 years 5 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
111
click to vote
NIPS
2007
15 years 2 months ago
2007
We demonstrate that log-linear grammars with latent variables can be practically trained using discriminative methods. Central to efficient discriminative training is a hierarchi...
123
click to vote
SPLC
2010
14 years 12 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
112
click to vote
AAAI
2008
15 years 3 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...