714 search results - page 57 / 143 » Formal Verification of Cognitive Models |
129
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
126
Voted
ENTCS
2008
15 years 1 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
128
Voted
IWCMC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
124
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
105
click to vote
COSIT
1997
Springer
15 years 6 months ago
1997
Springer
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...