2702 search results - page 277 / 541 » Practically Applicable Formal Methods |
155
Voted
GFKL
2007
Springer
15 years 6 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
NIPS
2007
15 years 4 months ago
2007
Many formal models of cognition implicitly use subjective probability distributions to capture the assumptions of human learners. Most applications of these models determine these...
121
Voted
LOBJET
2000
15 years 2 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
111
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
114
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...