448 search results - page 63 / 90 » A Meta-Method for Formal Method Integration |
135
Voted
ALT
2004
Springer
15 years 11 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
136
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
88
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
131
Voted
ICDT
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
111
Voted
GLVLSI
2006
IEEE
15 years 8 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...