572 search results - page 45 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
FMICS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
IJAIT
2000
13 years 8 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Two approaches have been used to perform approximate inference in Bayesian networks for which exact inference is infeasible: employing an approximation algorithm, or appr...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
EVOW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...