8828 search results - page 338 / 1766 » Formal methods in practice |
176
click to vote
PRL
2006
15 years 6 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
194
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
203
click to vote
EUPROJECTS
2005
Springer
16 years 8 days ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
180
click to vote
AI
2004
Springer
16 years 5 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
196
click to vote
MEMOCODE
2003
IEEE
16 years 22 hour ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...