714 search results - page 67 / 143 » Formal Verification of Cognitive Models |
123
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
120
click to vote
FMSD
2008
15 years 1 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
134
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
106
click to vote
FLAIRS
2000
15 years 3 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
106
click to vote
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...