1036 search results - page 170 / 208 » Incompleteness of Behavioral Logics |
166
Voted
TIME
2008
IEEE
16 years 16 days ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
160
Voted
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
165
Voted
ISPASS
2007
IEEE
16 years 13 days ago
2007
IEEE
Address re-mapping techniques in so-called active memory systems have been shown to dramatically increase the performance of applications with poor cache and/or communication beha...
182
Voted
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
150
Voted
AIED
2007
Springer
16 years 10 days ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...