3047 search results - page 477 / 610 » On the Meaning of Logical Completeness |
WETICE
2008
IEEE
15 years 4 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...