406 search results - page 41 / 82 » Exploring Legacy Systems using Types |
124
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
103
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
249
Voted
PROPOR
2012
Springer
13 years 9 months ago
2012
Springer
Fill-in-the-blank questions are one of the main assessment devices in REAP.PT tutoring system. The problem of automatically generating the stems, i.e. the sentences that serve as b...
117
click to vote
TYPES
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
116
Voted
ISCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...