549 search results - page 65 / 110 » Verification condition generation for conditional informatio... |
108
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
107
Voted
ICDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
Learning classifiers has been studied extensively the last two decades. Recently, various approaches based on patterns (e.g., association rules) that hold within labeled data hav...
104
click to vote
DAC
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
89
Voted
ICIC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
100
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...