6608 search results - page 931 / 1322 » On the Completeness of Model Checking |
127
Voted
ECIS
2001
15 years 8 months ago
2001
The Internet can be used as an instrument to serve the market for management education. Depending on the educational demands of customers, the usage of the Internet varies. In the...
216
Voted
HIS
2003
15 years 8 months ago
2003
– Probabilistic Inference Networks are becoming increasingly popular for modeling and reasoning in uncertain domains. In the past few years, many efforts have been made in learni...
174
click to vote
WSC
2001
15 years 8 months ago
2001
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
204
click to vote
AAAI
1990
15 years 8 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
194
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...